**Page description appears here**

“An Approach to Automated Model Composition Illustrated in the Context of Design Verification”

Authors: Wladimir Schamai, Lena Buffoni and Peter Fritzson,
Affiliation: Airbus and Linköping University
Reference: 2014, Vol 35, No 2, pp. 79-91.

     Valid XHTML 1.0 Strict

Keywords: Bindings, model composition, requirement formalization, design verification

Abstract: Building complex systems form models that were developed separately without modifying existing code is a challenging task faced on a regular basis in multiple contexts, for instance, in design verification. To address this issue, this paper presents a new approach for automating the dynamic system model composition. The presented approach aims to maximise information reuse, by defining the minimum set of information that is necessary to the composition process, to maximise decoupling by removing the need for explicit interfaces and to present a methodology with a modular and structured approach to composition. Moreover the presented approach is illustrated in the context of system design verification against requirements using a Modelica environment, and an approach for expressing the information necessary for automating the composition is formalized.

PDF PDF (1082 Kb)        DOI: 10.4173/mic.2014.2.2

DOI forward links to this article:
  [1] Alfredo Garro and Andrea Tundis (2015), doi:10.1109/SysEng.2015.7302777
  [2] Alfredo Garro, Andrea Tundis, Daniel Bouskela, Audrey Jardin, Nguyen Thuy, Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sjolund, Wladimir Schamai and Hans Olsson (2016), doi:10.1109/SysEng.2016.7753137
  [3] Wladimir Schamai, Nicolas Albarello, Philipp Helle, Lena Buffoni and Peter Fritzson (2017), doi:10.1002/inst.12143

[1] Gamma, E., Helm, R., Johnson, R., and Vlissides, J. (1995). Design Patterns: Elements of Reusable Object-oriented Software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
[2] Hull, E., Jackson, K., and Dick, J. (2005). Requirements Engineering, Springer.
[3] IEEE1220. (2005). Ieee standard for application and management of the systems engineering process, IEEE.
[4] Kapurch, S. (2010). NASA Systems Engineering Handbook, DIANE Publishing Company. http://books.google.se/books?id=2CDrawe5AvEC.
[5] Leucker, M. and Schallhart, C. (2009). A brief account of runtime verification, The Journal of Logic and Algebraic Programming. 78(5):293 -- 303. The 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’07). doi:10.1016/j.jlap.2008.08.004
[6] Modelica Association. (2013). Modelica 3, 2 revision 2 specification. 2013. www.modelica.org.
[7] NCOSE. (2006). Systems Engineering Handbook (Version 3 ed, ). INCOSE.
[8] OMG. (2013). Object Management Group (OMG), 2013. www.omg.org.
[9] Schamai, W. (2013). Model-Based Verification of Dynamic System Behavior against Requirements, Ph.D. thesis, Method, Language, and Tool Linkoping: Linkoping University Electronic, PressDissertations, 1547, 2013.
[10] Schamai, W. (2013). ModelicaML - UML Profile for Modelica, 2013. www.openmodelica.org/modelicaml.
[11] W3C. (2013). Extensible Markup Language (XML), 2013. www.w3.org/XML.

  title={{An Approach to Automated Model Composition Illustrated in the Context of Design Verification}},
  author={Schamai, Wladimir and Buffoni, Lena and Fritzson, Peter},
  journal={Modeling, Identification and Control},
  publisher={Norwegian Society of Automatic Control}


May 2016: MIC reaches 2000 DOI Forward Links. The first 1000 took 34 years, the next 1000 took 2.5 years.

July 2015: MIC's new impact factor is now 0.778. The number of papers published in 2014 was 21 compared to 15 in 2013, which partially explains the small decrease in impact factor.

Aug 2014: For the 3rd year in a row MIC's impact factor increases. It is now 0.826.

Dec 2013: New database-driven web-design enabling extended statistics. Article number 500 is published and MIC reaches 1000 DOI Forward Links.

Jan 2012: Follow MIC on your smartphone by using the RSS feed.


July 2011: MIC passes 1000 ISI Web of Science citations.

Mar 2010: MIC is now indexed by DOAJ and has received the Sparc Seal seal for open access journals.

Dec 2009: A MIC group is created at LinkedIn and Twitter.

Oct 2009: MIC is now fully updated in ISI Web of Knowledge.