Abstract
The fourth ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for real-time embedded systems, with a particular focus on the use of models for architecture description and domain-specific design, and for capturing non-functional constraints. Six presenters proposed contributions on a systematic transition from systems modeling using SysML to software modeling using UML, verification of initial architecture models against requirements using consistency checking techniques, techniques to check the validity of refinement relation between abstraction levels, constructing rapid prototypes to assess the behavioral design characteristics, new abstraction layers to describe operating system and mixed-signal issues, and a model-driven approach for parallelizing software programs. In addition, a lively group discussion tackled these issues in further detail. This report presents an overview of the presentations and fruitful discussions that took place during the ACES-MB 2011 workshop.
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
Van Baelen, S., Gérard, S., Ober, I., Weigert, T., Espinoza, H., Ober, I. (eds.): Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems. CEUR Workshop Proceedings, vol. 795. CEUR, Aachen (2011)
Gomaa, H.: Towards integrated system and software modeling for embedded systems. In: [1], pp. 9–22
Slomka, F., Kollmann, S., Moser, S., Kempf, K.: A multidisciplinary design methodology for cyber-physical systems. In: [1], pp. 23–37
Sackmann, M., Ebraert, P., Janssens, D.: A model-driven approach for software parallelization. In: [1], pp. 39–53
Weber, R., Gezgin, T., Girod, M.: A refinement checking technique for contract-based architecture designs. In: [1], pp. 55–69
Adler, N., Graff, P., Müller-Glaser, K.D.: Model-based consistency checks of electric and electronic architectures against requirements. In: [1], pp. 71–83
Pettit IV, R.G., Gomaa, H., Fant, J.S.: Modeling and prototyping of real-time embedded software architectural designs with colored petri nets. In: [1], 85–98
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Van Baelen, S., Gérard, S., Ober, I., Weigert, T., Espinoza, H., Ober, I. (2012). Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011). In: Kienzle, J. (eds) Models in Software Engineering. MODELS 2011. Lecture Notes in Computer Science, vol 7167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29645-1_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-29645-1_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29644-4
Online ISBN: 978-3-642-29645-1
eBook Packages: Computer ScienceComputer Science (R0)