Model based Architecting and Construction of Embedded Systems (ACES-MB 2011)
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. © 2012 Springer-Verlag Berlin Heidelberg.
Recommended Citation
S. Van Baelen et al., "Model based Architecting and Construction of Embedded Systems (ACES-MB 2011)," Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7167 LNCS, pp. 257 - 261, Springer, May 2012.
The definitive version is available at https://doi.org/10.1007/978-3-642-29645-1_25
Department(s)
Computer Science
International Standard Book Number (ISBN)
978-364229644-4
International Standard Serial Number (ISSN)
1611-3349; 0302-9743
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2024 Springer, All rights reserved.
Publication Date
10 May 2012
