DocumentCode :
2362734
Title :
Integrated architectural modeling and analysis for high-assurance command and control system design
Author :
Deng, Yi ; Wang, Jiacun
Author_Institution :
Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA
fYear :
1998
fDate :
13-14 Nov 1998
Firstpage :
270
Lastpage :
278
Abstract :
A real-time architectural specification (RAS) approach and its application to command and control (C2) systems are presented. The 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 practical and scaleable formal engineering methods 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 the system´s timing requirements and the propagation of the requirements into the process of architectural modeling and design and provides a systematic way to enforce that the requirements are met in every step of the design process. Second, it offers an incremental and more scalable approach for design modeling. These two features together make RAS a suitable model for the design of C2 systems. Based on these features, we further present an incremental method for verifying timing properties of a RAS model that helps to reduce the complexity of analysis both at a given design level or across different design levels
Keywords :
command and control systems; distributed processing; formal specification; formal verification; real-time systems; software architecture; timing; design level; formal techniques; high-assurance command and control system design; highly reliable real-time distributed systems; integrated architectural modeling/analysis; real-time architectural specification; scalable formal engineering methods; system specification; system verification; timing requirements; Command and control systems; Control systems; Delay effects; Design engineering; Petri nets; Process design; Real time systems; Reliability engineering; System analysis and design; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-9221-9
Type :
conf
DOI :
10.1109/HASE.1998.731627
Filename :
731627
Link To Document :
بازگشت