Alachew Mengist
PELAB – Programming Environment Lab, Department of Computer Science, Linköping University, Sweden
Adrian Pop
PELAB – Programming Environment Lab, Department of Computer Science, Linköping University, Sweden
Adeel Asghar
PELAB – Programming Environment Lab, Department of Computer Science, Linköping University, Sweden
Peter Fritzson
PELAB – Programming Environment Lab, Department of Computer Science, Linköping University, Sweden
Download article
http://dx.doi.org/10.3384/ecp17132823Published in: Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, May 15-17, 2017
Linköping Electronic Conference Proceedings 132:90, p. 823-830
A common situation in industry is that a system model is composed of several sub-models which may have been developed using different tools. The quality and effectiveness of large scale system modeling heavily depends on the underlying tools used for different phases of the development lifecycle. Available modeling and simulation tools support different operations on models, such as model creation, model simulation, FMU export, model checking, and code generation. Seamless tracing of the requirements and associating them with the models and the simulation results in the context of different modeling tools is becoming increasingly important. This can be used to support several activities such as impact analysis, component reuse, verification, and validation. However, due to the lack of interoperability between tools it is often difficult to use such tools in combination. Recently, the OSLC specification has emerged for integrating different lifecycle tools using linked data. In this paper we present new work on traceability support in OpenModelica where the traceability information is exchanged with other lifecycle tools through a standardized interface and format using OSLC. In particular, OpenModelica supports automatic recording and tracing of modeling activities such as creation, modification, and destruction of models, import model description XML, export of FMUs, and creation of simulation results.
OpenModelica, traceability, OSLC, tool interoperability, tool integration, model management, Modelica
Adeel Asghar, Sonia Tariq, Mohsen Torabzadeh-Tari, Peter Fritzson, Adrian Pop, Martin Sjölund, Parham Vasaiely, and Wladimir Schamai. An Open Source Modelica Graphic Editor Integrated with Electronic Notebooks and Interactive Simulation. In Proc. of the 8th International Modelica Conference 2011, pp. 739–747. Modelica Association, March 2011.Linköping University, Sweden, 2010.
Victor Bandur, Peter Gorm Larsen, Kenneth Lausdahl, Casper Thule, Anders Franz Terkelsen, Carl Gamble, Adrian Pop, Etienne Brosse, Jrg Brauer, Florian Lapschies, Marcel Groothuis, Christian Kleijn, and Luis Diogo Couto. INTO-CPS Tool Chain User Manual. Technical report, INTO-CPS Deliverable, D4.2a, December 2016.
Torsten Blochwitz et al. The Functional Mockup Interface for Tool independent Exchange of Simulation Models. In Proceedings of the 8th International Modelica Conference, Dresden, Mar. 2011. doi: https//doi.org/10.3384/ecp11063105.
Controllab Products B.V. Modelling and simulation software package for mechatronic systems http://www.20sim.com/, January 2013.
Maged Elaasar and Adam Neal. Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study, pages 154-169. Springer Berlin Heidelberg, Berlin, Heidelberg, 2013.
Jean-Marie Favre. Foundations of Model (Driven) (Reverse) Engineering: Models – Episode I: Stories of The Fidus Papyrus and of The Solarus. In Language Engineering for Model-Driven Software Development, March 2005.
John Fitzgerald, Carl Gamble, Richard Payne, and Ken Pierce.Methods Progress Report 1. Technical report, INTO-CPS Deliverable, D3.1b, December 2015.
FMI-Standard.org (2014). Functional Mock-up Interface for ModelExchange and Co-Simulation Version 2.0. https://www.fmi-standard.org/ (accessed: 10th of December 2016).
Peter Fritzson. Principles of Object Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach. 1250 pages. ISBN 9781-118-859124, Wiley IEEE Press, 2014.
Peter Fritzson, Peter Aronsson, Adrian Pop, Hakan Lundvall, Kaj Nyström, Levon Saldamli, David Broman, Anders Sandholm. OpenModelica – A Free Open-Source Environment for System Modeling, Simulation, and Teaching. Proceedings of the 2006 IEEE Conference on Computer Aided Control System Design, Munich, Germany, October 4–6, 2006.
Tom Heath and Christian Bizer (2011) Linked Data: Evolving the Web into a Global Data Space (1st edition). Synthesis Lectures on the Semantic Web: Theory and Technology, 1:1, 1-136. Morgan & Claypool, 2011. doi: https//doi.org/10.2200/S00334ED1V01Y201102WBE001.
into-cps.au.dk (2015). Integrated Tool Chain for Modelbased Design of Cyber-Physical Systems. http://intocps.au.dk/ (accessed: 10th of December 2016).
json.org. JavaScript Object Notation. http://www.json.org/ (accessed: 10th of December 2016).
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, John Fitzgerald, Kenneth Lausdahl, and Marcel Verhoef. The Overture Initiative – Integrating Tools for VDM. SIGSOFT Softw. Eng. Notes, 35(1):1–6, January 2010.
Kenneth Lausdahl, Peter Niermann , Jos Höll , Carl Gamble ,Oliver Möller , Etienne Brosse , Tom Bokhove , Luis Diogo Couto , Adrian Pop , and Christian König. INTOCPS Traceability Design. Technical report, INTO-CPS Deliverable, D4.2d, December 2016.
Frank Manola and Eric Miller, editors (2004). RDF Primer. W3C Recommendation. World Wide Web Consortium. https://www.w3.org/TR/2004/REC-rdf-primer-20040210/ (accessed: 10th of December 2016).
Modelica Association (2012). Modelica: A Unified Object Oriented Language for Physical Systems Modeling, Language Specification version 3.3. https://modelica.org/ (accessed: 10th of December 2016).
Luc Moreau, Paolo Missier, James Cheney and Stian Soiland-Reyes, editors and contributors (2013): An Overview of the PROV Family of Documents. https://www.w3.org/TR/prov-n/ (accessed: 10th of December 2016).
Neo Technology, Inc (2007). Neo4j Database. https://neo4j.com/ (accessed: 10th of December 2016).
Nokia Corporation (2011). Qt Project. https://www.qt.io/ (accessed: 10th of December 2016).
Open-services.net (2008): Open Services for Lifecycle Collaboration – Lifecycle Integration Inspired by the Web. http://open-services.net/ (accessed: 10th of December 2016).
Adrian Pop, Martin Sjölund, Adeel Ashgar, Peter Fritzson, and Francesco Casella. Integrated Debugging of Modelica Models. Modeling, Identification and Control, 35(2):93{107, 2014.
Leonard Richardson and Sam Ruby. RESTful Web Services (First ed.), O’Reilly, 2007.
Verified Systems International GmbH, Bremen, Germany. RTTester Model-Based Test Case and Test Data Generator – RTTMBT: User Manual, 2015. https://www.verified.de/products/model-based-testing/, Doc. Id. Verified-INT-003-2012.
