| タイトル | Modeling and Analysis of Mixed Synchronous/Asynchronous Systems |
| 本文（外部サイト） | http://hdl.handle.net/2060/20120014281 |
| 著者（英） | Madl. Gabor; Driscoll, Kevin R.; Hall, Brendan |
| 著者所属（英） | Honeywell International, Inc. |
| 発行日 | 2012-09-01 |
| 言語 | eng |
| 内容記述 | Practical 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. |
| NASA分類 | Computer Systems |
| レポートNO | NASA/CR-2012-217765
NF1676L-14953 |
| 権利 | Copyright, Distribution under U.S. Government purpose rights |
