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 article
http://dx.doi.org/10.3384/ecp12076385Published in: Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany
Linköping Electronic Conference Proceedings 76:40, p. 385-392
Published: 2012-11-19
ISBN: 978-91-7519-826-2
ISSN: 1650-3686 (print), 1650-3740 (online)
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.
[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.
