Abstract:
We propose a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...Show MoreMetadata
Abstract:
We propose 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.
Published in: Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.
Date of Conference: 20-20 June 2003
Date Added to IEEE Xplore: 09 July 2003
Print ISBN:0-7695-1887-7