DocumentCode
187284
Title
Proving Model Equivalence in Model Based Design
Author
Hocking, Ashlie B. ; Knight, Joseph ; Aiello, M. Anthony ; Shiraishi, Shinichi
Author_Institution
Dependable Comput. LLC, Charlottesville, VA, USA
fYear
2014
fDate
3-6 Nov. 2014
Firstpage
18
Lastpage
21
Abstract
We introduce the concept of constrained equivalence of models in model-based development and present a proof technology for establishing constrained equivalence for models documented in Math Works Simulink. We illustrate the approach using a simple model of an automobile anti-lock braking system.
Keywords
braking; equivalence classes; formal verification; theorem proving; MathWorks Simulink; automobile antilock braking system; formal verification; model based software development; model equivalence proving; Computational modeling; Software packages; Vehicles; Wheels; Formal verification; Simulink; equivalence proof; model-based design;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on
Conference_Location
Naples
Type
conf
DOI
10.1109/ISSREW.2014.83
Filename
6983791
Link To Document