Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems

This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. This work exploits the idea of separation of concerns at the specification and design level, and it establishes a robust theoretical basis that allows rigid analysis and verification of (timed) designs.

• Type: Conference
• Year: 2003
• Where: ACSD
• Authors: Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
• Keywords: ACSD 2003, Formal Framework, Hardware, Real-time Shared Data-space, Robust Theoretical Basis