SOL: A Verifiable Synchronous Language for Reactive Systems

2002 ◽  
Author(s):  
Ramesh Bharadwaj
Keyword(s):  
Reactive Systems ◽  
Synchronous Language

LANGUAGES FOR REACTIVE SPECIFICATIONS: SYNCHRONY VS ASYNCHRONY

2000 ◽  
Vol 11 (02) ◽  
pp. 283-314
Author(s):  
R. K. SHYAMASUNDAR ◽  
S. RAMESH
Keyword(s):  
State Transition ◽  
Reactive Systems ◽  
Exception Handling ◽  
Synchronous Languages ◽  
Transition Systems ◽  
Synchronous Language ◽  
Finite State ◽  
Distinguishing Features ◽  
State Transition Systems

Asynchronous and Synchronous languages have been in use for the specification of reactive systems. One of the main distinguishing features of these two classes lies in the way nondeterminism is used for the specification of programs. From this viewpoint, we analyze CSP (a typical asynchronous language) and ESTEREL (a synchronous language). The synchronous language Esterel is based on the notions of determinism, input nondeterminacy and parallelism whereas CSP is built on the notions of nondeterminism, concurrency and distribution. The main objectives of the study are to assess: • The role of nondeterminism in the specification of the behaviour and realization of programs: A clear distinction between local and global nondeterminism enables us to distinguish between implementational nondeterminism and environmental/input nondeterminism. The results in this direction would enable one to achieve observable determinism where the implementational choices can be hidden and thus, analyze the program behaviour with reference to the real environmental nondeterminism in the specification. This leads to a proper refinement of specifications and aids in deriving distributed implementations of finite state transition systems that are not necessarily deterministic. • The implementability of asynchronous languages through synchronous languages. The implementability of asynchronous languages in synchronous languages not only provides a realistic implementation but also provides higher level abstractions (such as multi-process interactions) for reactive specifications using features such as broadcast, interrupts, exception handling mechanisms etc.

Analyzing Event-Based Scheduling in Concurrent Reactive Systems

2015 ◽  
Vol 14 (4) ◽  
pp. 1-27 ◽  
Author(s):  
Jian-Min Jiang ◽  
Huibiao Zhu ◽  
Qin Li ◽  
Yongxin Zhao ◽  
Lin Zhao ◽  
...  
Keyword(s):  
Reactive Systems ◽  
Event Based

scholarly journals Mechanized semantics and verified compilation for a dataflow synchronous language with reset

2020 ◽  
Vol 4 (POPL) ◽  
pp. 1-29
Author(s):  
Timothy Bourke ◽  
Lélio Brun ◽  
Marc Pouzet
Keyword(s):  
Synchronous Language

scholarly journals Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

2009 ◽  
Vol 410 (41) ◽  
pp. 4044-4066 ◽  
Author(s):  
Filippo Bonchi ◽  
Ugo Montanari
Keyword(s):  
Reactive Systems
Sign in / Sign up

Export Citation Format

Share Document