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.
