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

M.R. Mousavi, M.A. Reniers, T. Basten, M.R.V. Chaudron, Proceedings of Third International Conference on Applications of Concurrency to System Design (ACSD'03), Guimar?es, Portugal, IEEE Computer Society Press, pp. 71-81, June 2003.

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.

@InProceedings{MousaviAcsd03,
    author = "Mousavi, MohammadReza and Reniers, Michel and  Basten, Twan and Chaudron, Michel",
    title = "Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems",
    booktitle = "Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD'03),",
    publisher = "IEEE Computer Society Press, Los Alamitos, CA, USA, 2003"
}