DocumentCode
3042975
Title
Comprehensive platform and component modeling of heterogeneous interconnected systems
Author
Zimmermann, Jochen ; Bringmann, Oliver ; Gerlach, Joachim ; Schaefer, Florian ; Nageldinger, Ulrich
Author_Institution
FZI Karlsruhe, Karlsruhe
fYear
2008
fDate
23-25 Sept. 2008
Firstpage
227
Lastpage
232
Abstract
In this paper, we propose an approach for modeling distributed embedded systems in a holistic way starting from an abstract specification of system requirements. We use the unified modeling language (UML), which is very popular in software modeling and development, for describing both the target platform and the functionality, which has to be performed on that target platform, at a high abstraction level - even at system level. Therefore, we extended the existing UML profile MARTE to meet the requirements of distributed systems. These extensions enable to associate the elements of the model semantically and hence to use UML as a common underlying data model for system representation. Based on the holistic modeling approach an executable simulation model is generated in SystemC to facilitate exploration and verification of system behavior.
Keywords
Unified Modeling Language; distributed processing; embedded systems; formal specification; formal verification; MARTE; SystemC; abstract specification; component modeling; comprehensive platform; distributed embedded systems; heterogeneous interconnected systems; system behavior verification; unified modeling language; Data models; Embedded system; Hardware; Interconnected systems; Microelectronics; Power system interconnection; Radio frequency; Software performance; Telecommunication network reliability; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
Conference_Location
Stuttgart
Print_ISBN
978-1-4244-2264-7
Type
conf
DOI
10.1109/FDL.2008.4641450
Filename
4641450
Link To Document