UML-based specifications of an embedded system oriented to HW/SW partitioning - A case study

被引：0
|
作者：
Prevostini, M [1 ]
Balzarini, F [1 ]
Kostadinov, AN [1 ]
Mankan, S [1 ]
Martinola, A [1 ]
Minosi, A [1 ]
机构：
[1] Univ Lugano, ALaRI, Lugano, Switzerland
来源：
LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL'03 | 2004年
关键词：
system-level design; UML; HW/SW codesign;
D O I：
10.1007/1-4020-7991-5_5
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business and other non-software systems. The UML represents a collection of best engineering practices that succeeded in modelling large and complex systems; it is interesting to envision its extension for specification and modelling of hardware-software systems as well, starting with the first design phases, i.e. prior to hardware-software partitioning. This paper analyses the development of a solution able to define the hardware/software partitioning of an embedded system starting from its UML system specifications. The case study chosen is a Wireless Meter Reader (WMR) dedicated to the measurement of energy consumption. The designers evaluated the hardware/software partitioning solution in terms of cost, performance, size and consumption.
引用
收藏
页码：71 / 84
页数：14
相关论文
共 50 条
  • [41] Smart Camera Based on Embedded HW/SW Coprocessor
    Mosqueron, Romuald
    Dubois, Julien
    Mattavelli, Marco
    Mauvilet, David
    EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2008, (01)
  • [42] Formal verification and validation of embedded systems: the UML-based MADES approach
    Luciano Baresi
    Gundula Blohm
    Dimitrios S. Kolovos
    Nicholas Matragkas
    Alfredo Motta
    Richard F. Paige
    Alek Radjenovic
    Matteo Rossi
    Software & Systems Modeling, 2015, 14 : 343 - 363
  • [43] Study on UML-based manufacturing process modeling
    Guo, ZL
    Du, PA
    Wang, ZH
    Liang, SH
    CONCURRENT ENGINEERING: THE WORLDWIDE ENGINEERING GRID, PROCEEDINGS, 2004, : 775 - 779
  • [44] Slicing UML-based Models of Real-time Embedded Systems
    Ahmadi, Reza
    Posse, Ernesto
    Dingel, Juergen
    21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2018), 2018, : 346 - 356
  • [45] Functional verification for UML-based model driven design of embedded systems
    Kardos, M
    Fristacky, N
    FROM SPECIFICATION TO EMBEDDED SYSTEMS APPLICATION, 2005, 184 : 103 - 114
  • [46] A UML-based design methodology for real-time and embedded systems
    de Jong, G
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 776 - 779
  • [47] Formal verification and validation of embedded systems: the UML-based MADES approach
    Baresi, Luciano
    Blohm, Gundula
    Kolovos, Dimitrios S.
    Matragkas, Nicholas
    Motta, Alfredo
    Paige, Richard F.
    Radjenovic, Alek
    Rossi, Matteo
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (01): : 343 - 363
  • [48] UMLAUT: A framework for weaving UML-based aspect-oriented designs
    Ho, WM
    Pennaneac'h, F
    Plouzeau, N
    TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 324 - 334
  • [49] UML-based Modeling and Simulation of Environmental Effects in Networked Embedded Systems
    Ebeid, E.
    Fummi, F.
    Quaglia, D.
    16TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2013), 2013, : 787 - 794
  • [50] Parallel-genetic-algorithm-based HW/SW partitioning
    Farahani, Amin Farmahini
    Kamal, Mehdi
    Salmani-Jelodar, Mehdi
    PAR ELEC 2006: INTERNATIONAL SYMPOSIUM ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING, PROCEEDINGS, 2006, : 337 - +
12345