Article | Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany | Model-based Requirement Verification : A Case Study Linköping University Electronic Press Conference Proceedings
Göm menyn

Title:
Model-based Requirement Verification : A Case Study
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:
8
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