Formal models in industry standard tools: An Argos block within Simulink
Authors
School of Computer Science and Engineering
University of New South Wales
Sydney 2052 Australia
NICTA, Sydney,
Australia
Abstract
Simulink is widely used within industry for simulation and model-driven development, and reactive behaviours are often modelled using an add-on called Stateflow. Argos is one of the synchronous languages that have been proposed for the specification, validation and implementation of reactive systems. It is a rigorously defined graphical notation which, although not as powerful as Stateflow, is much less complicated. This paper describes the implementation of an Argos block for Simulink.
BibTeX Entry
@inproceedings{Bourke_Sowmya_05,
publisher = {World Scientific},
title = {Formal Models in Industry Standard Tools: An {Argos} Block within {Simulink}},
booktitle = {International Journal on Software Engineering and Knowledge Engineering: Selected Papers from the
2005 International Conference on Embedded and Hybrid Systems},
author = {Timothy Bourke and Arcot Sowmya},
year = {2005},
month = {Apr},
volume = {15},
editor = {Francis E.H. Tay},
address = {Singapore},
pages = {389--395}
}