Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011)

  • Stefan Van Baelen
  • Sébastien Gérard
  • Ileana Ober
  • Thomas Weigert
  • Huascar Espinoza
  • Iulian Ober
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7167)

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.

Keywords

Abstract Syntax Concrete Syntax Abstraction Layer CEUR Workshop Proceeding System Product Line 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)Google Scholar
  2. 2.
    Gomaa, H.: Towards integrated system and software modeling for embedded systems. In: [1], pp. 9–22Google Scholar
  3. 3.
    Slomka, F., Kollmann, S., Moser, S., Kempf, K.: A multidisciplinary design methodology for cyber-physical systems. In: [1], pp. 23–37Google Scholar
  4. 4.
    Sackmann, M., Ebraert, P., Janssens, D.: A model-driven approach for software parallelization. In: [1], pp. 39–53Google Scholar
  5. 5.
    Weber, R., Gezgin, T., Girod, M.: A refinement checking technique for contract-based architecture designs. In: [1], pp. 55–69Google Scholar
  6. 6.
    Adler, N., Graff, P., Müller-Glaser, K.D.: Model-based consistency checks of electric and electronic architectures against requirements. In: [1], pp. 71–83Google Scholar
  7. 7.
    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–98Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Stefan Van Baelen
    • 1
  • Sébastien Gérard
    • 2
  • Ileana Ober
    • 3
  • Thomas Weigert
    • 4
  • Huascar Espinoza
    • 5
  • Iulian Ober
    • 3
  1. 1.KU Leuven - DistriNetBelgium
  2. 2.CEA - LISTFrance
  3. 3.University of Toulouse - IRITFrance
  4. 4.Missouri University of Science and TechnologyUSA
  5. 5.TecnaliaSpain

Personalised recommendations