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 8/21/2014)