Search for dissertations about: "Avionics"

Showing result 11 - 15 of 26 swedish dissertations containing the word Avionics.

  2. 11. Fault-Tolerance Strategies and Probabilistic Guarantees for Real-Time Systems

    Author : Hüseyin Aysan; Sasikumar Punnekkat; Radu Dobrin; Hans Hansson; Petru Eles; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; real-time systems; fault tolerant design; real-time analysis; dependability analysis; Computer engineering; Datorteknik; Computer Science; datavetenskap;

    Abstract : Ubiquitous deployment of embedded systems is having a substantial impact on our society, since they interact with our lives in many critical real-time applications. Typically, embedded systems used in safety or mission critical applications (e.g. READ MORE

  4. 12. Enhancing the Maintainability of Safety Cases Using Safety Contracts

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

    Abstract : 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. READ MORE

  5. 13. From Machine Arithmetic to Approximations and back again : Improved SMT Methods for Numeric Data Types

    Author : Aleksandar Zeljic; Philipp Ruemmer; Christoph M. Wintersteiger; Yi Wang; Armin Biere; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; SMT; Model construction; Approximations; floating-point arithmetic; machine arithmetic; bit-vectors; Computer Science; Datavetenskap;

    Abstract : Safety-critical systems, especially those found in avionics and automotive industries, rely on machine arithmetic to perform their tasks: integer arithmetic, fixed-point arithmetic or floating-point arithmetic (FPA). Machine arithmetic exhibits subtle differences in behavior compared to the ideal mathematical arithmetic, due to fixed-size representation in memory. READ MORE

  6. 14. Multi-Layer Fault Tolerance for Distributed Real-Time Systems

    Author : Raul Barbosa; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis addresses issues in building fault-tolerant distributed real-time systems. Such systems are increasingly deployed in automotive and avionics applications. We focus on the design and validation of fault tolerance mechanisms. From the design viewpoint, we develop the notion of multi-layer fault tolerance. READ MORE

  7. 15. Designing safe and adaptive time-critical fog-based systems

    Author : Nitin Desai; Sasikumar Punnekkat; Hans Hansson; Radu Dobrin; Paulo Pedreiras; Mälardalens universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Safety-critical systems in industrial automation, avionics, or automotive domains demand correct, timely and predictable performance under all(including faulty) operating conditions. Fault-tolerance plays an important role in ensuring seamless system function even in the presence of failures. READ MORE