Integrated architectural modeling and analysis for high-assurance command and control system design |
| |
Authors: | Yi Deng Jiacun Wang |
| |
Affiliation: | (1) School of Computer Science, Florida International University, Miami, FL 33199, USA |
| |
Abstract: | A Real-Time Architectural Specification (RAS) approach and its application to command and control (C2) systems are presented.
Our objective is to establish a formal foundation that will enable us to integrate existing rich but fragmented formal techniques
for system specification and verification into a practical and scaleable formal engineering method to support the design and
development of highly reliable real-time distributed systems. The contribution of RAS is twofold: First, it provides a formal
system that integrates system's timing requirements and requirements propagation into the process of architectural modeling
and design in such a way that allows us to systematically enforce that the requirements are met in every step of the design
process. Second, it offers an incremental and more scaleable approach for design modeling. These two features together make
RAS a suitable model for the design of C2 systems. We further present an incremental method for verifying timing properties
of an RAS model that helps to reduce the complexity of analysis both at a given design level and across different design levels.
This revised version was published online in June 2006 with corrections to the Cover Date. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|