Modular Design of Reactive Systems

: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action systems. The traditional interleaving paradigm is completed with a barrier synchronization mechanism. This is achieved by introducing a new parallel composition operator, applicable to both discrete and hybrid models. While offering improvements with respect to control and modularity, the approach uses the correctness preserving mechanisms provided by the underlying reasoning environment.1 Key Words: Reactive systems, Action systems, Modular design, Concurrency

• Type: Conference
• Year: 2004
• Where: COMPSAC
• Authors: Cristina Cerschi Seceleanu, Tiberiu Seceleanu
• Keywords: Action Systems, Barrier Synchronization Mechanism, COMPSAC 2004, Software Engineering, Traditional Interleaving Paradigm