Loading [a11y]/accessibility-menu.js
Separation of concerns in the formal design of real-time shared data-space systems | IEEE Conference Publication | IEEE Xplore

Separation of concerns in the formal design of real-time shared data-space systems


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 More

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.
Date of Conference: 20-20 June 2003
Date Added to IEEE Xplore: 09 July 2003
Print ISBN:0-7695-1887-7
Conference Location: Guimaraes, Portugal

References

References is not available for this document.