Formal Models in Industry Standard Tools: an Argos Block within Simulink

Abstract

Simulink is widely used within industry for simulation and model-driven development, and reactive behaviors are often modeled 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, though… (More)
DOI: 10.1142/S0218194005002300

3 Figures and Tables

Topics

  • Presentations referencing similar topics