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.

(postscript / pdf version of the complete paper)

Back to the list of publications.