Sökning: "safety-critical"

Visar resultat 16 - 20 av 194 avhandlingar innehållade ordet safety-critical.

  1. 16. Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory

    Författare :Jonas Westman; Mattias Nyberg; Mats Heimdahl; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Contracts; Heterogeneous Systems; Safety; Architecture; Requirements; Specification; Elements; Compositional; IEC 61508; ISO 26262; Kontrakt; Heterogena System; Säkerhet; Arkitektur; Kravhantering; Specifiering; Element; Kompositionell; IEC 61508; ISO 26262; Machine Design; Maskinkonstruktion;

    Sammanfattning : Requirements engineering (RE) is a well-established practice that is also emphasized in safety standards such as IEC 61508 and ISO 26262. Safety standards advocate a particularly stringent RE where requirements must be structured in an hierarchical manner in accordance with the system architecture; at each level, requirements must be allocated to heterogeneous (SW, HW, mechanical, electrical, etc. LÄS MER

  3. 17. Automated Deductive Verification of Safety-Critical Embedded Software

    Författare :Christian Lidström; Dilian Gurov; Musard Balliu; Bernhard Beckert; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software sontracts; contract-based design; formal verification; deductive verification; contract inference; program instrumentation; embedded software; embedded systems; Frama-C; Datalogi; Computer Science;

    Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER

  4. 18. Communication in safety-critical distributed real-time systems

    Författare :Henrik Lönn; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; protocols; dependability; atomic broadcast; distributed real-time systems; membership agreement; clock synchronisation;

    Sammanfattning : .... LÄS MER

  5. 19. Model-based System Testing of Safety-Critical Embedded Software

    Författare :Muhammad Nouman Zafar; Wasif Afzal; Eduard Paul Enoiu; Cyrille Artho; Mälardalens universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : System-level testing of safety-critical embedded systems is complex and costly. MBT has shown promising results in terms of fault detection effectiveness and efficiency of test generation and execution. However, the industrial adoption of MBT approaches is slow and limited to specific industries and domains. LÄS MER

  7. 20. Formal Verification of Tree Ensembles in Safety-Critical Applications

    Författare :John Törnblom; Simin Nadjm-Tehrani; Ingemar Söderquist; Joao Marques-Silva; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Machine learning; Tree ensembles;

    Sammanfattning : In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of learning complicated pattern recognition tasks and sophisticated decision policies, two key capabilities in autonomous cyber-physical systems. LÄS MER