| Files: | Description | File size | Format | Browse |
| Fulltext | 0.83 MB | PDF (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 5/24/2013) |
|
Ph.D., Lic. Theses
