The design of real-time systems requires modeling and analysis techniques to ensure their correct and timely operation. A Real-time Architectural Specification (RAS) is a practical and scalable formal method to support the design and development of highly reliable real-time distributed systems. This paper proposes an adaptive mediation framework that provides an easily extensible, decentralized environment for sharing data from heterogeneous databases. We demonstrate how to integrate a system's timing requirements and how to propagate the requirements into the process of architectural modeling and design. This paper also presents how to incrementally verify timing properties of the mediation frameworks, thus helping to reduce the complexity of analysis both at a given design level and across different design levels.
展开▼
