Methods for Verification & Validation of time-triggered embedded systems

Johan Hedberg, Andreas Söderberg, Timo Malm, Maarit Kivipuro, Håkan Sivencrona

    Research output: Book/ReportReport


    This report gives an overview of safety considerations relating to distributed embedded systems. Some principles of safety-related distributed systems are shown, and the design process is described. The design process is related to the safety lifecycle introduced in IEC 61508. The most important phases in the process are risk assessment, design and safety validation. The report describes the difference in validation of systems built on time triggered systems compared to traditional communication such as CAN, Fieldbus etc and also gives examples of validation methods to handle the requirements on dependability and redundancy. The validation methods cover aspects from the bus level up to the system level. It presents the influence of the changing to time triggered paradigm and the partitioning of processors and communication mean. It also includes a check lists as an aid to decide about which communication concept to choose.
    Original languageEnglish
    Place of PublicationOslo
    PublisherNordic Innovation
    Number of pages71
    Publication statusPublished - 2006
    MoE publication typeD4 Published development or research report or study

    Publication series

    SeriesNordtest technical report
    NumberNT TR 600


    • safety
    • bus
    • time-triggered communication
    • embedded systems


    Dive into the research topics of 'Methods for Verification & Validation of time-triggered embedded systems'. Together they form a unique fingerprint.

    Cite this