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

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

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.

Keywords

Embed System Software Product Line Test Case Generation Metaheuristic Search Software Synthesis 
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., 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)Google Scholar
  2. 2.
    Briand, L.C.: Using metaheuristic search for the analysis and verification of UML models. In: [1], p. 9Google Scholar
  3. 3.
    Turki, S., Senn, E., Blouin, D.: Mapping the MARTE UML profile to AADL. In: [1], pp. 11–20Google Scholar
  4. 4.
    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–35Google Scholar
  5. 5.
    Baresi, L., Morzenti, A., Motta, A., Rossi, M.: From interaction overview diagrams to temporal logic. In: [1], pp. 37–51Google Scholar
  6. 6.
    Schamai, W., Helle, P., Fritzson, P., Paredis, C.J.J.: Virtual verification of system designs against system requirements. In: [1], pp. 53–67Google Scholar
  7. 7.
    Weiss, G., Zeller, M., Eilers, D., Knorr, R.: Approach for iterative validation of automotive embedded systems. In: [1], pp. 65–83Google Scholar
  8. 8.
    Grosse-Rhode, M.: Model maturity levels for embedded systems development, or working with warnings. In: [1], pp. 85–99Google Scholar
  9. 9.
    Bagheri, H., Sullivan, K.: Towards a systematic approach for software synthesis. In: [1], pp. 101–105 (2010)Google Scholar
  10. 10.
    Neumann, S., Seibel, A.: Toward mega models for maintaining timing properties of automotive systems. In: [1], pp. 107–111Google Scholar
  11. 11.
    Axelsson, J.: A transformation-based model of evolutionary architecting for embedded system product lines. In: [1], pp. 113–117Google Scholar
  12. 12.
    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–123Google Scholar
  13. 13.
    Tokumoto, S.: Product line development using multiple domain specific languages in embedded systems. In: [1], pp. 125–129Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

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

Personalised recommendations