Conference article

Model-based Requirement Verification : A Case Study

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

Download articlehttp://dx.doi.org/10.3384/ecp12076385

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

Linköping Electronic Conference Proceedings 76:40, p. 385-392

Show more +

Published: 2012-11-19

ISBN: 978-91-7519-826-2

ISSN: 1650-3686 (print), 1650-3740 (online)

Abstract

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

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.

Citations in Crossref