Model-based Requirement Verification : A Case Study

Feng Liang; Wladimir Schamai; Olena Rogovchenko; Sara Sadeghi; Mattias Nyberg; Peter Fritzson

Title:

Author:

Feng Liang: PELAB - Programming Environment Lab, Dept. Computer Science, Linköping University, Linköping, Sweden Wladimir Schamai: EADS Innovation Works, Engineering, Architecture, Hamburg, Germany Olena Rogovchenko: PELAB - Programming Environment Lab, Dept. Computer Science, Linköping University, Linköping, Sweden Sara Sadeghi: Scania, Sweden/School of Information and Communication Technology, Royal Institute of Technology, Sweden Mattias Nyberg: Scania, Sweden Peter Fritzson: PELAB - Programming Environment Lab, Dept. Computer Science, Linköping University, Linköping, Sweden

DOI:

10.3384/ecp12076385

Download:

Full text (pdf)

Year:

2012

Conference:

Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany

Issue:

076

Article no.:

040

Pages:

385-392

No. of pages:

Publication type:

Abstract and Fulltext

Published:

2012-11-19

ISBN:

978-91-7519-826-2

Series:

Linköping Electronic Conference Proceedings

ISSN (print):

1650-3686

ISSN (online):

1650-3740

Publisher:

Linköping University Electronic Press; Linköpings universitet

Export in BibTex, RIS or text

This paper presents a complete case study that takes a real Fuel Display System element used in Scania Trucks and applies an unified process for modelling system requirements together with the system itself and verifying these requirements in a structured manner. In order to achieve this process the system is modeled in Modelica; and requirement verification scenarios are specified in ModelicaML and verified with the vVDR (Virtual Verification of Designs against Requirements) approach.

Keywords: system modeling; requirement verification; ModelicaML

Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany

Author:

Feng Liang, Wladimir Schamai, Olena Rogovchenko, Sara Sadeghi, Mattias Nyberg, Peter Fritzson

Title:

Model-based Requirement Verification : A Case Study

DOI:

http://dx.doi.org/10.3384/ecp12076385

References:

[1] Modelica Association: Modelica: A Unified Object- Oriented Language for Physical Systems Modeling: Language Specification Version 3.2. http://www.modelica.org.

[2] Object Management Group: OMG Unified Modeling Language TM (OMG UML). http://www.uml.org/.

[3] OpenModelica Project: ModelicaML - A UML Profile for Modelica. http://www.openmodelica.org/modelicaml.

[4] C. Erlandsson. Revising the user function requirements document of fuel level display for compliance with iso 26262 and literature. Master’s thesis; 2012.

[5] Martin Glinz. On non-functional requirements. In Requirements Engineering Conference; pages 21–26; 2007.

[6] L. Hans. The SESAMM concept. PD1422538; 2003.

[7] Wladimir Schamai; Peter Fritzson; Christiaan J. J. Paredis; and Philipp Helle. Modelicaml value bindings for automated model composition. In Proc. of Symposium on Theory of Modeling and Simulation (TMS/DEVS 2012); 2012.

[8] Wladimir Schamai; Philipp Helle; Peter Fritzson; and Christiaan J. J. Paredis. Virtual verification of system designs against system requirements. In MoDELS Workshops; pages 75–89; 2010.

Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany

Author:

Feng Liang, Wladimir Schamai, Olena Rogovchenko, Sara Sadeghi, Mattias Nyberg, Peter Fritzson

Title:

Model-based Requirement Verification : A Case Study

DOI:

https://doi.org10.3384/ecp12076385

Note: the following are taken directly from CrossRef

Citations:

Wladimir Schamai, Philipp Helle, Nicolas Albarello, Lena Buffon & Peter Fritzson (2016). Towards the Automation of Model-Based Design Verification. INCOSE International Symposium, 26(1): 585. DOI: 10.1002/j.2334-5837.2016.00180.x

Jonas Westma & Mattias Nyberg (2018). Conditions of contracts for separating responsibilities in heterogeneous systems. Formal Methods in System Design, 52(2): 147. DOI: 10.1007/s10703-017-0294-7

Wladimir Schamai, Nicolas Albarello, Philipp Helle, Lena Buffon & Peter Fritzson (2017). TOWARDS THE AUTOMATION OF MODEL-BASED DESIGN VERIFICATION. INSIGHT, 20(1): 42. DOI: 10.1002/inst.12143

Peter Fritzson, Adrian Pop, Karim Abdelhak, Adeel Ashgar, Bernhard Bachmann, Willi Braun, Daniel Bouskela, Robert Braun, Lena Buffoni, Francesco Casella, Rodrigo Castro, Rüdiger Franke, Dag Fritzson, Mahder Gebremedhin, Andreas Heuermann, Bernt Lie, Alachew Mengist, Lars Mikelsons, Kannan Moudgalya, Lennart Ochel, Arunkumar Palanisamy, Vitalij Ruge, Wladimir Schamai, Martin Sjölund, Bernhard Thiele, John Tinnerhol & Per Östlund (2020). The OpenModelica Integrated Environment for Modeling, Simulation, and Model-Based Development. Modeling, Identification and Control: A Norwegian Research Bulletin, 41(4): 241. DOI: 10.4173/mic.2020.4.1

Responsible for this page: Peter Berkesand
Last updated: 2019-11-06