“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.

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
[4] Wladimir Schamai, Philipp Helle, Nicolas Albarello, Lena Buffoni and Peter Fritzson (2016), doi:10.1002/j.2334-5837.2016.00180.x
[5] Peter Fritzson, Adrian Pop, Karim Abdelhak, Adeel Ashgar, Bernhard Bachmann, Willi Braun, Daniel Bouskela, Robert Braun, Lena Buffoni, Francesco Casella, Rodrigo Castro, Rudiger Franke, Dag Fritzson, (2020), doi:10.4173/mic.2020.4.1
References:
[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.


BibTeX:
@article{MIC-2014-2-2,
  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},
  volume={35},
  number={2},
  pages={79--91},
  year={2014},
  doi={10.4173/mic.2014.2.2},
  publisher={Norwegian Society of Automatic Control}
};