Formal models in industry standard tools: An Argos block within simulink

T. Bourke; A. Sowmya

doi:10.1142/S0218194005002300

Formal models in industry standard tools: An Argos block within simulink

T. Bourke, A. Sowmya

University of New South Wales

Research output: Contribution to journal › Article › peer-review

Abstract

Simulink is widely used within the 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 not as powerful as Stateflow, is much less complicated. This paper describes the implementation of an Argos block for Simulink.

Original language	English
Pages (from-to)	389-395
Number of pages	7
Journal	International Journal of Software Engineering and Knowledge Engineering
Volume	15
Issue number	2
DOIs	https://doi.org/10.1142/S0218194005002300
Publication status	Published - 1 Apr 2005
Externally published	Yes

Keywords

Argos
Reactive systems
Simulink
Stateflow
Synchronous languages

Access to Document

10.1142/S0218194005002300

Cite this

@article{ab2a1b3002ef439688cac8a4dd5ad25c,

title = "Formal models in industry standard tools: An Argos block within simulink",

abstract = "Simulink is widely used within the 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 not as powerful as Stateflow, is much less complicated. This paper describes the implementation of an Argos block for Simulink.",

keywords = "Argos, Reactive systems, Simulink, Stateflow, Synchronous languages",

author = "T. Bourke and A. Sowmya",

year = "2005",

month = apr,

day = "1",

doi = "10.1142/S0218194005002300",

language = "English",

volume = "15",

pages = "389--395",

journal = "International Journal of Software Engineering and Knowledge Engineering",

issn = "0218-1940",

number = "2",

}

TY - JOUR

T1 - Formal models in industry standard tools

T2 - An Argos block within simulink

AU - Bourke, T.

AU - Sowmya, A.

PY - 2005/4/1

Y1 - 2005/4/1

N2 - Simulink is widely used within the 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 not as powerful as Stateflow, is much less complicated. This paper describes the implementation of an Argos block for Simulink.

AB - Simulink is widely used within the 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 not as powerful as Stateflow, is much less complicated. This paper describes the implementation of an Argos block for Simulink.

KW - Argos

KW - Reactive systems

KW - Simulink

KW - Stateflow

KW - Synchronous languages

U2 - 10.1142/S0218194005002300

DO - 10.1142/S0218194005002300

M3 - Article

AN - SCOPUS:21144434508

SN - 0218-1940

VL - 15

SP - 389

EP - 395

JO - International Journal of Software Engineering and Knowledge Engineering

JF - International Journal of Software Engineering and Knowledge Engineering

IS - 2

ER -

Formal models in industry standard tools: An Argos block within simulink

Abstract

Keywords

Access to Document

Fingerprint

Cite this