Practical Experiences in Using Model-Driven Engineering to Develop Trustworthy Computing Systems
SUTC '06 Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing -Vol 1 (SUTC'06) - Volume 01
The Challenges of Building Advanced Mechatronic Systems
FOSE '07 2007 Future of Software Engineering
MARTE: Also an UML Profile for Modeling AADL Applications
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Systems Engineering with SysML/UML: Modeling, Analysis, Design
Systems Engineering with SysML/UML: Modeling, Analysis, Design
Research-based innovation: a tale of three projects in model-driven engineering
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
Recent years have seen a proliferation of languages for describing embedded systems. Some of these languages have emerged from domain-specific frameworks, and some are adaptions or extensions of more general-purpose languages. In this paper, we focus on two widelyused standard languages: the Architecture Analysis and Design Language (AADL) and the Systems Modeling Language (SysML). AADL was born as an avionics-focused domain-specific language and later on has been revised to represent and support a more general category of embedded realtime systems. SysML is an extension of the Unified Modeling Language (UML) intended to support system engineering and modeling. We propose the ExSAM profile that extends SysML by adding AADL concepts to it with the goal of exploiting the key advantages of both languages in a seamless way. More precisely, by using ExSAM and any SysML modeling environment, we will be able to both model system engineering concepts and use AADL analysis tools where needed. We describe the ExSAM profile through several examples and compare it with existing alternatives. We have implemented ExSAM using IBM Rational Rhapsody and evaluated its completeness and usefulness through two case studies.