Abstract
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 widely-used 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 real-time 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aadl model for the avionics case study, http://aadl.sei.cmu.edu/aadl/downloads/Models/IntegratedModel10292007.zip
Enterprise Architect Tool, http://www.sparxsystems.com/
FMC Technologies, Inc., http://www.fmctechnologies.com/
IBM Rational Rhapsody Architect for Systems Engineers, http://www-01.ibm.com/software/rational/products/rhapsody/sysarchitect/
MagicDraw SysML Plugin, http://www.magicdraw.com/sysml
OMG Object Constraint Language, http://www.omg.org/spec/OCL/2.2/
OMG Systems Modeling Language, http://www.omgsysml.org/
UML 2.0 Superstructure Specification (August 2005)
A UML profile for MARTE: Modeling and analysis of real-time embedded systems (May 2009)
Behjati, R., Yue, T., Nejati, S., Briand, L., Selic, B.: An AADL-based SysML profile for architecture level systems engineering: Approach, metamodels, and experiments. Technical Report 2011-03, Simula Research Laboratory (2011), http://vefur.simula.no/~raziehb/ExSAM-11.pdf
Espinoza, H., Cancila, D., Selic, B., Gérard, S.: Challenges in combining sysML and MARTE for model-based design of embedded systems. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 98–113. Springer, Heidelberg (2009)
Faugere, M., Bourbeau, T., de Simone, R., Gérard, S.: MARTE: Also an UML profile for modeling AADL applications. In: IEEE International Conference on Engineering of Complex Computer Systems, pp. 359–364 (2007)
Feiler, P.H., Gluch, D., Hudak, J.J., Lewis, B.A.: Embedded system architecture analysis using SAE AADL. Technical report, CMU/SEI (2004)
Feiler, P.H., Gluch, D.P., Hudak, J.J.: The Architecture Analysis & Design Language (AADL): An Introduction. Technical report, CMU/SEI (2006)
Nunes, N.J., Selic, B., da Silva, A.R., Álvarez, J.A.T. (eds.): UML Satellite Activities 2004. LNCS, vol. 3297. Springer, Heidelberg (2005)
Schafer, W., Wehrheim, H.: The challenges of building advanced mechatronic systems. In: FOSE 2007, pp. 72–84 (2007)
Weigert, T., Weil, F.: Practical experience in using model-driven engineering to develop trustworthy computing systems. In: IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, pp. 208–217 (2006)
Weilkiens, T.: Systems Engineering with SysML/UML: Modeling, Analysis, Design. Morgan Kaufmann Publishers Inc., San Francisco (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Behjati, R., Yue, T., Nejati, S., Briand, L., Selic, B. (2011). Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds) Modelling Foundations and Applications. ECMFA 2011. Lecture Notes in Computer Science, vol 6698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21470-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-21470-7_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21469-1
Online ISBN: 978-3-642-21470-7
eBook Packages: Computer ScienceComputer Science (R0)