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


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