From PIMs to PSMs

被引：2

作者：

Feiler, Peter H. ^{[1
]}

de Niz, Dio ^{[1
]}

Raistrick, Chris ^{[2
]}

Lewis, Bruce A. ^{[3
]}

机构：

[1] Carnegie Mellon Univ, Inst Software Engn, Pittsburgh, PA 15213 USA

[2] Kennedy Carter, Guildford, Surrey, England

[3] US Army, AMRDEC, Redstone Arsenal, AL 35898 USA

来源：

12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS | 2007年

关键词：

D O I：

10.1109/ICECCS.2007.25

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：365 / +

页数：2