Support for cross-domain composition of embedded systems using MARTE models
Abstract
Embedded systems have evolved from tailormade systems developed by specialists to artefacts built from complex software/hardware components with many extra-functional concerns. Ubiquity of embedded devices demands other facets such as security and safety to be brought to the forefront. At the same time, cost efficiency dictates building systems from reusable building blocks. However, integration of extra-functional building blocks comes with a certain resource overhead that must be taken into consideration while designing resource-constrained embedded systems. This paper builds on the premise that functional models can be extended with platform modelling to help the application engineers to select the right extra-functional building blocks while accounting for performance implications of their integration. We define a UML profile relating it to relevant parts of the MARTE profile in order to capture the performance analysis results for a reusable building block, and a generic notion of model-based compatibility analysis for platform models. Additionally, our approach rests on creation of ontologies to store MARTE descriptions of hardware components, and is supported by a MagicDraw plugin developed for capturing the analysis results and performing the compatibility analysis.
References
[1]
SecFutur: Design of Secure and Energy-efficient Embedded Systems for Future Internet Application. http://www.secfutur.eu, visited May 2012.
[2]
E. Bondarev, M. Chaudron, and P. H. N. de With. CARAT: a Toolkit for Design and Performance Analysis of Component-Based Embedded Systems. In The Conference on Design, Automation and Test in Europe, EDA Consortium, 2007.
[3]
B. Chandrasekaran, J. R. Josephson, and V. R. Benjamins. What are ontologies and why do we need them? IEEE Intelligent Systems, 1999.
[4]
F. Ciccozzi, A. Cicchetti, and M. Sjödin. Round-trip support for extra-functional property management in model-driven engineering of embedded systems. Information and Software Technology, Elsevier, 2012.
[5]
H. Dibowski and K. Kabitzsch. Ontology-Based Device Descriptions and Device Repository for Building Automation Devices. EURASIP Journal on Embedded Systems, 2011.
[6]
D. Gasevic, D. Djuric, and V. Devedzic. Model Driven Engineering and Ontology Development. Springer Publishing Company, 2009.
[7]
M. Horridge and S. Bechhofer. The OWL API: A Java API for OWL ontologies. Semant. web, IOS Press, 2011.
[8]
M. Z. Iqbal, S. Ali, T. Yue, and L. Briand. Experiences of Applying UML/MARTE on Three Industrial Projects. In Model Driven Engineering Languages and Systems, Springer, 2012.
[9]
J. Jürjens. Secure System Development with UML. Springer-Verlag, 2005.
[10]
R. Kamal. Embedded Systems: Architecture, Programming and Design. Tata McGraw-Hill, 2009.
[11]
S. Kelly and J.-P. Tolvannen. Domain-Specific Modeling: Enabling Full Code Generation. John Wiley & Sons, 2008.
[12]
T. Lodderstedt, D. Basin, and J. Doser. SecureUML: A UML-Based Modeling Language for Model-Driven Security. In International Conference on The Unified Modeling Language, Springer-Verlag, 2002.
[13]
B. Motik, P. F. Patel-Schneider, and B. Parsia. OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. http://www.w3.org/TR/owl2-syntax/, 2012.
[14]
Object Management Group. Ontology Definition Metamodel, version 1.0, May 2009. Document number: formal/2009-05-01.
[15]
Object Management Group. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, version 1.1, 2011.
[16]
G. Pedroza, L. Apvrille, and D. Knorreck. AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties. In IEEE International Conference on New Technologies of Distributed Systems, 2011.
[17]
D. C. Petriu. Software model-based performance analysis. book chapter in Model Driven Engineering for distributed Real-Time Systems: MARTE modelling, model transformations and their usages, 2010.
[18]
R. S. Preissig. Data Encryption Standard (DES) Implementation on the TMS320C6000. Application Report, 2000.
[19]
E. Prud'hommeaux and A. Seaborne. SPARQL query language for RDF. http://www.w3.org/TR/rdf-sparql-query/, 2008.
[20]
S. Ravi, A. Raghunathan, P. Kocher, and S. Hattangady. Security in Embedded Systems: Design Challenges. ACM Transactions on Embedded Computing Systems, 2004.
[21]
A. Seaborne. SPARQL 1.1 Property Paths. http://www.w3.org/TR/sparql11-property-paths/, 2010.
[22]
B. Tang, J. Yi, Y. Cheng, and C. Gu. A Reconfigurable Design Method of Embedded Control System based on Ontology. In IEEE International Conference on E-Product E-Service and E-Entertainment, 2010.
[23]
B. Tekinerdoğan, S. Bilir, and C. Abatlevi. Integrating platform selection rules in the model driven architecture approach. In Conference on Model Driven Architecture: Foundations and Applications, Springer, 2003.
[24]
P. Tetlow, J. Z. Pan, D. Oberle, E. Wallace, M. Uschold, and E. Kendall. Ontology Driven Architectures and Potential Uses of the Semantic Web in Systems and Software Engineering. http://www.w3.org/2001/sw/BestPractices/SE/ODA/, 2006.
[25]
M. Vasilevskaya, L. A. Gunawan, S. Nadjm-Tehrani, and P. Herrmann. Security Asset Elicitation for Collaborative Models. In Model-Driven Security Workshop at MoDELS, ACM, 2012.
[26]
M. Vasilevskaya, L. A. Gunawan, S. Nadjm-Tehrani, and P. Herrmann. Integrating security mechanisms into embedded systems by domain-specific modelling. Security and Communication Networks, John Wiley & Sons, 2013.
[27]
D. Wagelaar. Platform Ontologies for the Model-Driven Architecture. PhD thesis, 2010.
[28]
T. Walter, F. S. Parreiras, and S. Staab. An ontology-based framework for domain-specific modeling. In Software & Systems Modeling, Springer-Verlag, 2012.
[29]
M. Woodside, D. C. Petriu, D. B. Petriu, J. Xu, T. Israr, G. Georg, R. France, J. M. Bieman, S. H. Houmb, and J. Jürjens. Performance Analysis of Security Aspects by Weaving Scenarios Extracted from UML models. Journal of Systems and Software, Elsevier Science Inc., 2009.
[30]
Z. Xu, Y. Ni, W. He, L. Lin, and Q. Yan. Automatic extraction of OWL ontologies from UML class diagrams. World Wide Web, Springer US, 2012.
Index Terms
- Support for cross-domain composition of embedded systems using MARTE models
Recommendations
An Execution Framework for MARTE-Based Models
ICECCS '08: Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer SystemsThe UML is now the most widespread language for systems modeling. However, this language has been designed as a general purpose modeling language that may lack for modeling constructs for specific domain, as for the real-time embedded (RTE) domain. In ...
Automatic synthesis from UML/MARTE models using channel semantics
ACES-MB '12: Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded SystemsModel-driven design is very common nowadays. In this context, the UML/MARTE profile is a well-known solution for real-time, embedded system modeling. This profile enables the functional and non-functional details of the system to be modeled together. ...
Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software
SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied ComputingAnalysis of timing constraints is an essential part in developing real-time embedded software. Performing the timing analysis during the early development phases prevents timing violations and enhances software quality. In the development of real-time ...
Comments
Information & Contributors
Information
Published In
February 2015
57 pages
Copyright © 2015 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 27 March 2015
Published in SIGBED Volume 12, Issue 1
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 63Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Oct 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in