Article | Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany | Model-based Requirement Verification : A Case Study

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:
http://dx.doi.org/10.3384/ecp12076385
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment