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

Authors:
Mohammad Reza Mousavi;Michel Reniers;Twan Basten;Michel Chaudron
Affiliations:
-;-;-;-
Venue:
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Year:
2003

Citing 0
Cited 3

Developing Autonomic and Secure Virtual Organisations with Chemical Programming

SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Towards a real-time coordination model for mobile computing

Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems

ACM Transactions on Embedded Computing Systems (TECS)

Quantified Score

Hi-index	0.00

Visualization

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.