Published Articles >> Table of Contents >> Abstract

Third International Conference on Application of Concurrency to System Design (ACSD'03)   p. 71
Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems
Mohammad Reza Mousavi, Eindhoven University of Technology
Michel Reniers, Eindhoven University of Technology
Twan Basten, Eindhoven University of Technology
Michel Chaudron, Eindhoven University of Technology

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207701
Send link to a friend

Abstract
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.
Back to Top Additional Information
Citation:  Mohammad Reza Mousavi, Michel Reniers, Twan Basten, Michel Chaudron, "Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems," acsd, p. 71,  Third International Conference on Application of Concurrency to System Design (ACSD'03),  2003