Abstract
The third 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. Twelve presenters proposed contributions on metaheuristic search techniques for UML, modelling languages and mappings, model based verification and validation, software synthesis, and embedded systems product lines. 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 2010 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., Ober, I., Espinoza, H., Weigert, T., Ober, I., Gérard, S. (eds.): Third International Workshop on Model Based Architecting and Construction of Embedded Systems. CEUR Workshop Proceedings Vol.644, CEUR, Aachen, Germany (2010)
Briand, L.C.: Using metaheuristic search for the analysis and verification of UML models. In: [1], p. 9
Turki, S., Senn, E., Blouin, D.: Mapping the MARTE UML profile to AADL. In: [1], pp. 11–20
Eidson, J.C., Lee, E.A., Matic, S., Seshia, S.A., Zou, J.: A time-centric model for cyber-physical applications. In: [1], pp. 21–35
Baresi, L., Morzenti, A., Motta, A., Rossi, M.: From interaction overview diagrams to temporal logic. In: [1], pp. 37–51
Schamai, W., Helle, P., Fritzson, P., Paredis, C.J.J.: Virtual verification of system designs against system requirements. In: [1], pp. 53–67
Weiss, G., Zeller, M., Eilers, D., Knorr, R.: Approach for iterative validation of automotive embedded systems. In: [1], pp. 65–83
Grosse-Rhode, M.: Model maturity levels for embedded systems development, or working with warnings. In: [1], pp. 85–99
Bagheri, H., Sullivan, K.: Towards a systematic approach for software synthesis. In: [1], pp. 101–105 (2010)
Neumann, S., Seibel, A.: Toward mega models for maintaining timing properties of automotive systems. In: [1], pp. 107–111
Axelsson, J.: A transformation-based model of evolutionary architecting for embedded system product lines. In: [1], pp. 113–117
Durelli, R.S., Conrado, D.B.F., Ramos, R.A., Pastor, O.L., de Camargo, V.V., Penteado, R.A.D.: Identifying features for ground vehicles software product lines by means of annotated models. In: [1], pp. 119–123
Tokumoto, S.: Product line development using multiple domain specific languages in embedded systems. In: [1], pp. 125–129
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
Van Baelen, S., Ober, I., Espinoza, H., Weigert, T., Ober, I., Gérard, S. (2011). Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010). In: Dingel, J., Solberg, A. (eds) Models in Software Engineering. MODELS 2010. Lecture Notes in Computer Science, vol 6627. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21210-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-21210-9_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21209-3
Online ISBN: 978-3-642-21210-9
eBook Packages: Computer ScienceComputer Science (R0)