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
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;
Conference_Titel :
Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
Conference_Location :
Stuttgart
Print_ISBN :
978-1-4244-2264-7
DOI :
10.1109/FDL.2008.4641450