Sökning: "System Dependability"

Visar resultat 16 - 20 av 66 avhandlingar innehållade orden System Dependability.

  1. 16. Types for Crash Preventionn

    Författare :Lars Pareto; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; reliability; dependability; concurrent programming; denotational semantics; real-time systems and embedded systems; data-flow; dynamic storage management; applicative functional programming languages ; type systems;

    Sammanfattning : This thesis seeks to strengthen the capabilities of static polymorphic type-checking (as known from typed lambda calculus and functional programming) to allow a larger class of programming errors to be caught at compile time: the goal is to not only prevent illegal uses of data, but to also errors that lead to busy-loops, deadlocks, stack-overflows and heap-overflows. The thesis exploits that, for recursive programs, many correctness properties (including freedom from errors leading to busy-loops, etc. LÄS MER

  3. 17. Enhancing the Maintainability of Safety Cases Using Safety Contracts

    Författare :Omar Jaradat; Sasikumar Punnekkat; Iain Bate; Alexander Romanovsky; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Safety critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. These systems require high quality and dependability levels in them, where system safety is a major property that should be adequately assured to avoid any severe outcomes. LÄS MER

  4. 18. Dependable Path Planning for Autonomous Control

    Författare :LanAnh Trinh; Mikael Ekström; Baran Cürüklü; Federico Pecora; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; elektronik; Electronics;

    Sammanfattning : Changing from automatic to autonomous control has emerged as the main shift on the development of robots nowadays. The autonomous control allows robot to have more freedom as well as direct interactions with human and other robots. Having a dependable platform for autonomous control becomes crucial when building such a system. LÄS MER

  5. 19. Safety Critical Software - Test Coverage vs Remaining Faults

    Författare :Johan Sundell; Kristina Lundqvist; Håkan Forsberg; Emelie Engström; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; safety-critical software; software testing; Computer Science; datavetenskap;

    Sammanfattning : Safety-critical software systems have traditionally been found in the aerospace-, nuclear- andmedical domains. As technology advances and software complexity increases, such systemscan be found in more and more applications, e.g. self driving cars. LÄS MER

  7. 20. Dependability and maintenance analysis of railway signalling systems

    Författare :Amparo Morant; Peter Söderholm; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Drift och underhållsteknik; Operation and Maintenance Engineering;

    Sammanfattning : Railway signalling systems are composed of several different systems; each has its own purpose, but the main functionality of the overall system is determined by the interoperability between them. Railway signalling systems ensure the safe operation of the railway network, and their reliability and maintainability directly affect the capacity and availability of the railway network, in terms of both infrastructure and trains. LÄS MER