Time-triggered architectures (TTA) and SCADE are both well-established technologies and tools for building safety-critical embedded software. Both are based on the same time-triggered approach; TTA for the communication infrastructure and SCADE for the application components. This paper presents the integration of these two technologies and tools for the design of distributed systems 1. When completed, the breakthrough of this solution shows that it provides a single framework to: specify behavior, timing constraints, and mapping of tasks onto hardware; generate all the code needed to build communicating executables; simulate and perform formal verification of properties both for each individual task and also for the global model. Specification is accomplished with a graphical view that allows the definition of hardware nodes and mapping of any set of subsystems (a subsystem consists of several communicating tasks, all located on the same node) on these nodes. Replication is authorized and handled by the fault tolerant communication (FT-COM) layer. Code generation is supported by add-ons to the two toolsets: the complete architecture and timing information is generated from SCADE and passed to the TTP plan and TTP build functions that compute respectively the communication scheduling and the task scheduling for each node. The SCADE code generator generates certifiable C code for each task. TTP build generates the code for the scheduling of the tasks on each node. A simple wrapper code is generated to handle data transfer between the FT-COM layer and task interfaces. Simulation and formal verification are possible thanks to the same underlying paradigm for both technologies: as both the application tasks and the communication infrastructure are time-triggered, with complete determinism, a global system model can be represented and formally verified.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Model-based development for time-triggered architectures


    Contributors:
    Dion, B. (author) / Le Sergent, T. (author) / Martin, B. (author) / Griebel, H. (author)


    Publication date :

    2004-01-01


    Size :

    730347 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Model-Based Development for Time-Triggered Architectures

    Dion, B. / IEEE / AIAA | British Library Conference Proceedings | 2004


    Model-Based System Design of Time-Triggered Architectures - Avionics Case Study

    Fuhrmann, Hauke / Hanxleden, Reinhard / Rennhack, Jorn et al. | IEEE | 2006


    Schedule synthesis for time-triggered automotive architectures

    Sagstetter, Florian Richard / Technische Universität München | TIBKAT | 2016


    Concepts for the Usage of Real-Time Corba in Time-Triggered Architectures

    Barheine, O. / Muller-Glaser, K. D. | British Library Conference Proceedings | 2001


    A Comparative Study of Norm-Based and Norm-Free Event-Triggered Control Architectures

    Kurtoglu, Deniz / Yucelen, Tansel / Tran, Dzung et al. | AIAA | 2025