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

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 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 scaleable 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.

An approach for modeling and analysis of security system architectures

“…SAM provides a multiple leveled model and notation for describing different aspects of architecture level design such as structure, behavior, and constraints [12], [23], [40]. Its specification model can be characterized from several dimensions:…”

“…These two complementary notations are seamlessly integrated under the SAM framework. We have successfully applied SAM for the modeling and analysis of command and control systems [12], [40] and flexible manufacturing systems [13], [39]. The modeling framework of SAM is illustrated in Fig.…”