The Library
Using simulink and stateflow for model checking of system models
Tools
Chakrapani Rao, Arun (2017) Using simulink and stateflow for model checking of system models. In: PICASSOS Formal Methods Seminar, British Motor Museum, Gaydon, 28 Feb 2017. Published in: Proceedings of the PICASSOS Formal Methods Seminar (Unpublished)
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
This presentation covers work done at WMG, within the collaborative R&D project PICASSOS, in the area of system-level verification utilising formal methods. It covers the translation of SysML models (including fault modelling and safety mechanisms) to Simulink/Stateflow and its subsequent use for formal verification of Technical Safety Requirements and Safety Goals.
Item Type: | Conference Item (Speech) | ||||||
---|---|---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software T Technology > TK Electrical engineering. Electronics Nuclear engineering T Technology > TL Motor vehicles. Aeronautics. Astronautics |
||||||
Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | ||||||
Journal or Publication Title: | Proceedings of the PICASSOS Formal Methods Seminar | ||||||
Publisher: | PICASSOS Consortium | ||||||
Official Date: | 31 January 2017 | ||||||
Dates: |
|
||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Unpublished | ||||||
Conference Paper Type: | Speech | ||||||
Title of Event: | PICASSOS Formal Methods Seminar | ||||||
Type of Event: | Other | ||||||
Location of Event: | British Motor Museum, Gaydon | ||||||
Date(s) of Event: | 28 Feb 2017 | ||||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |