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.
Citation:
Peter H. Feiler, Dio de Niz, Chris Raistrick, Bruce A. Lewis, "From PIMs to PSMs," iceccs, pp.365-370, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007