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
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;
Conference_Titel :
Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on
Conference_Location :
Naples
DOI :
10.1109/ISSREW.2014.83
