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 :
بازگشت