TY - GEN
T1 - Model based architecting and construction of embedded systems (ACES-MB 2011)
AU - Van Baelen, Stefan
AU - Gérard, Sébastien
AU - Ober, Ileana
AU - Weigert, Thomas
AU - Espinoza, Huascar
AU - Ober, Iulian
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84860630512&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-29645-1_25
DO - 10.1007/978-3-642-29645-1_25
M3 - Conference contribution
AN - SCOPUS:84860630512
SN - 9783642296444
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 257
EP - 261
BT - Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers
T2 - Workshops and Symposia on Models in Software Engineering, MODELS 2011
Y2 - 16 October 2011 through 21 October 2011
ER -