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

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Résumé

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.

langue originale	Anglais
Pages (de - à)	389-395
Nombre de pages	7
journal	International Journal of Software Engineering and Knowledge Engineering
Volume	15
Numéro de publication	2
Les DOIs	https://doi.org/10.1142/S0218194005002300
état	Publié - 1 avr. 2005
Modification externe	Oui

Accès au document

10.1142/S0218194005002300

Contient cette citation

@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

Résumé

Accès au document

Empreinte digitale

Contient cette citation