Stepwise Development of Simulink Models Using the Refinement Calculus Framework

Pontus Boström, Lionel Morel, Marina Walden

Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

Abstrakti

Simulink is a popular tool for model-based development of control systems. However, due to the complexity caused by the increasing demand for sophisticated controllers, validation of Simulink models is becoming a more difficult task. To ensure correctness and reliability of large models, it is important to be able to reason about model parts and their interactions. This paper provides a definition of contracts and refinement using the action systems formalism. Contracts enable abstract specifications of model parts, while refinement offers a framework to reason about correctness of implementation of contracts, as well as composition of model parts. An example is provided to illustrate system development using contracts and refinement.
AlkuperäiskieliEnglanti
KustantajaTurku Centre for Computer Science (TUCS)
ISBN (painettu)978-952-12-1905-4
TilaJulkaistu - 2007
OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Julkaisusarja

NimiTUCS Technical Report
Vuosikerta821

Sormenjälki

Sukella tutkimusaiheisiin 'Stepwise Development of Simulink Models Using the Refinement Calculus Framework'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot