Model-Based Design of Complex Integrated Systems for Synchronous Architectures
2007-01-3826
09/17/2007
- Event
- Content
- 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.
- Pages
- 9
- Citation
- Griebel, H., Dion, B., Le Sergent, T., and Martin, B., "Model-Based Design of Complex Integrated Systems for Synchronous Architectures," SAE Technical Paper 2007-01-3826, 2007, https://doi.org/10.4271/2007-01-3826.