Multi-Domain Surety Modeling and Analysis for High Assurance Systems

Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which permits an engineer to qualitatively and quantitatively predict and assess the completeness and predictability of a design. Surety is a term often used in the Department of Defense (DoD) and Department of Energy (DOE) communities, which refers to the integration of safety, security, reliability and performance aspects of design. Current risk assessment technologies for analyzing complex systems fail to adequately describe the problem, thus making assessment fragmented and non-integrated. To address this problem, we have developed a methodology and extensible software toolset to address model integration and complexity for high consequence systems. The MultiGraph Architecture (MGA) facilitates multidomain, model-integrated modeling and analyses of complex, high-assurance systems. The MGA modeling environment allo...

• Type: Conference
• Year: 1999
• Where: ECBS
• Authors: James Davis, Jason Scott, Janos Sztipanovits, Marcus Martinez
• Keywords: ECBS 1999, Hardware, MGA Modeling Environment, Modeling Environment, Modeling Tool