Auckland, New Zealand
July 11, 2007 to July 14, 2007
Peter H. Feiler , Carnegie Mellon University
Dio de Niz , Carnegie Mellon University
Chris Raistrick , Kennedy-Carter
Bruce A. Lewis , US Army, AMRDEC
The development of embedded systems through models requires the creation of both a platform independent model (PIM) and a platform specific model (PSM). xUML is an extension to UML that adds precise execution semantics to models enabling a full description of platform independent models and the generation of code from them. However, to achieve different non-functional properties, a platform specific model is needed. Architecture Analysis and Design Language (AADL) enables the creation and exploration of PSMs and the analysis of its non-functional properties. In this work we present the integration of xUML and AADL in a development process. This includes the translation of the xUML concurrency model into AADL and the exploration of concurrency variations in AADL.
Peter H. Feiler, Dio de Niz, Chris Raistrick, Bruce A. Lewis, "From PIMs to PSMs", ICECCS, 2007, Engineering of Complex Computer Systems, IEEE International Conference on, Engineering of Complex Computer Systems, IEEE International Conference on 2007, pp. 365-370, doi:10.1109/ICECCS.2007.25