Browse Publications Technical Papers 2007-01-3826
2007-09-17

Model-Based Design of Complex Integrated Systems for Synchronous Architectures 2007-01-3826

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.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 18% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
TECHNICAL PAPER

Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain

2007-01-3827

View Details

TECHNICAL PAPER

Aerionics - A New Aero Industry for Flight Control

2007-01-3847

View Details

TECHNICAL PAPER

Automotive Electronics-A Challenge for Systems Engineering

2000-01-C048

View Details

X