Model-Based Design of Complex Integrated Systems for Synchronous Architectures

Development and verification of systems for internal aircraft networks include multiple software layers. These layers are mainly the application-specific components, communication layers, redundancy management and other system services. Verification of these system layers in the early stages of the design process, before a physical network is available, and during the design process has become a critical need in order to reduce design costs and project risks. Time-Triggered Architectures (TTA) and SCADE are both well-established technologies and tools for building safety-critical embedded systems. Both are based on the synchronous paradigm; TTA for the communication infrastructure and distributed embedded computing, and SCADE for simulating and generating code for the application components. This paper describes a methodology to integrate a model-based SCADE design into a Time-Triggered Architecture (TTA) when physical distribution of fault-tolerant applications onto several electronic control units (ECUs) is required.