A refinement-based compiler development for synchronous languages

2017 ◽  
Author(s):  
Jean-Paul Bodeveix ◽  
Mamoun Filali-Amine ◽  
Shuanglong Kan
Keyword(s):  
Synchronous Languages

Applying Techniques of Asynchronous Concurrency to Synchronous Languages

1999 ◽  
Vol 40 (2,3) ◽  
pp. 221-250 ◽  
Author(s):  
Andrea Maggiolo-Schettini ◽  
Simone Tini
Keyword(s):  
Synchronous Languages ◽  
Asynchronous Concurrency

Times Square – Marriage of Real-Time and Logical-Time in GALS and Synchronous Languages

2015 ◽  
Vol 84 (1) ◽  
pp. 163-180
Author(s):  
Heejong Park ◽  
Zhenmin Li ◽  
Avinash Malik ◽  
Zoran Salcic
Keyword(s):  
Real Time ◽  
Synchronous Languages ◽  
Times Square ◽  
Logical Time

scholarly journals A formal library of set relations and its application to synchronous languages

2011 ◽  
Vol 412 (37) ◽  
pp. 4853-4866 ◽  
Author(s):  
Camilo Rocha ◽  
César Muñoz ◽  
Gilles Dowek
Keyword(s):  
Synchronous Languages ◽  
Set Relations

FORMAL MODELS IN INDUSTRY STANDARD TOOLS: AN ARGOS BLOCK WITHIN SIMULINK

2005 ◽  
Vol 15 (02) ◽  
pp. 389-395 ◽  
Author(s):  
T. BOURKE ◽  
A. SOWMYA
Keyword(s):  
Reactive Systems ◽  
Formal Models ◽  
Synchronous Languages ◽  
Model Driven Development ◽  
Graphical Notation ◽  
Model Driven ◽  
Industry Standard

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.

Sign in / Sign up

Export Citation Format

Share Document