Modeling and Analysis of Mixed Synchronous/Asynchronous SystemsPractical safety-critical distributed systems must integrate safety critical and non-critical data in a common platform. Safety critical systems almost always consist of isochronous components that have synchronous or asynchronous interface with other components. Many of these systems also support a mix of synchronous and asynchronous interfaces. This report presents a study on the modeling and analysis of asynchronous, synchronous, and mixed synchronous/asynchronous systems. We build on the SAE Architecture Analysis and Design Language (AADL) to capture architectures for analysis. We present preliminary work targeted to capture mixed low- and high-criticality data, as well as real-time properties in a common Model of Computation (MoC). An abstract, but representative, test specimen system was created as the system to be modeled.
Document ID
20120014281
Acquisition Source
Langley Research Center
Document Type
Contractor Report (CR)
Authors
Driscoll, Kevin R. (Honeywell International, Inc. Golden Valley, MN, United States)
Madl. Gabor (Honeywell International, Inc. Golden Valley, MN, United States)
Hall, Brendan (Honeywell International, Inc. Golden Valley, MN, United States)