Modeling and Analysis of Mixed Synchronous/Asynchronous Systems

摘要: Practical safety-critical distributed systems must integrate safety critical and non-critical data in a common platform. Safety almost always consist of isochronous components that have synchronous or asynchronous interface with other components. Many these also support mix interfaces. This report presents study on the modeling analysis asynchronous, synchronous, mixed synchronous/asynchronous systems. We build SAE Architecture Analysis Design Language (AADL) to capture architectures for analysis. present preliminary work targeted low- high-criticality data, as well real-time properties Model Computation (MoC). An abstract, but representative, test specimen system was created be modeled.