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.
- Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems
M.R. Mousavi, M.A. Reniers, T. Basten, and M.R.V. Chaudron.
In J. Lilius, F. Balarin, R.J. Machado, editors, Application of Concurrency to System Design, 3rd International Conference, ACSD 2003, Proceedings, pages 71-81. Guimarães,
Portugal, 18-20 June, 2003. IEEE Computer Society Press, Los Alamitos, CA, USA, 2003.(abstract, pdf,
ps)
|
