By Topic

Integrated architectural modeling and analysis for high-assurance command and control system design

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Yi Deng ; Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA ; Jiacun Wang

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

Published in:

High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International

Date of Conference:

13-14 Nov 1998