Files:DescriptionFile size FormatBrowse
Fulltext0.83 MBPDF (requires Acrobat Reader)Previous | Next
  
Authors: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
Publication title:Model-based Requirement Verification : A Case Study
Conference:Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany
Publication type: Abstract and Fulltext
Issue:076
Article No.:040
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.
Language:English
Keywords:system modeling; requirement verification; ModelicaML
Year:2012
No. of pages:8
Pages:385-392
ISBN:978-91-7519-826-2
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/076/040/ecp12076040.pdf
Available:2012-11-19
Publisher:Linköping University Electronic Press; Linköpings universitet

REFERENCE TO THIS PAGE
Feng Liang, Wladimir Schamai, Olena Rogovchenko, Sara Sadeghi, Mattias Nyberg, Peter Fritzson (2012). Model-based Requirement Verification : A Case Study, Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany http://dx.doi.org/10.3384/ecp12076385 (accessed 10/21/2014)