Sökning: "safety-critical software"

Visar resultat 16 - 20 av 60 avhandlingar innehållade orden safety-critical software.

1. 16. On Fault Injection-Based Assessment of Safety-Critical Systems

   Författare :Daniel Skarin; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Transient Faults; Fault Injection; Error Detection and Recovery; Fault Tolerance; Embedded Control Systems;

   Sammanfattning : This thesis deals with techniques for designing and evaluating error detection and recovery mechanisms for computer systems. For the assessment of such systems, we describe a comprehensive fault injection tool that is capable of emulating the effects of hardware errors in microprocessors. LÄS MER

3. 17. Testing Safety-Critical Systems using Fault Injection and Property-Based Testing

   Författare :Benjamin Vedder; Magnus Jonsson; Andreas Johansson; Högskolan i Halmstad; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fault Injection; FaultCheck; Property-Based Testing; Simulation; Fault Model; Quadcopter; E2E;

   Sammanfattning : Testing software-intensive systems can be challenging, especially when safety requirements are involved. Property-Based Testing (PBT) is a software testing technique where properties about software are specified and thousands of test cases with a wide range of inputs are automatically generated based on these properties. LÄS MER

4. 18. On the Design of Electrical Architectures for Safety-Critical Automotive Systems

   Författare :Per Johannessen; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; distributed systems; system-safety; model-based development; hazard analysis; dependable systems; drive-by-wire; electrical architecture; time-triggered communication;

   Sammanfattning : Increasing demands in the automotive industry in areas such as safety, driving pleasure and environmental care require new complex functionality to be implemented in cars. This evolution will to a large extent depend on the introduction of drive-by-wire systems in cars. LÄS MER

5. 19. Critical Scenario Identification for Testing of Autonomous Driving Systems

   Författare :Qunying Song; Programvarusystem; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software testing; Critical scenario identification; Autonomous systems; Autonomous driving systems;

   Sammanfattning : Background: Autonomous systems have received considerable attention from academia and are adopted by various industrial domains, such as automotive, avionics, etc. As many of them are considered safety-critical, testing is indispensable to verify their reliability and safety. LÄS MER

7. 20. From Bugs to Decision Support – Leveraging Historical Issue Reports in Software Evolution

   Författare :Markus Borg; Institutionen för datavetenskap; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; empirical software engineering; issue management; mining software repositories; machine learning; information retrieval; software traceability; change impact analysis;

   Sammanfattning : Software developers in large projects work in complex information landscapes and staying on top of all relevant software artifacts is an acknowledged challenge. As software systems often evolve over many years, a large number of issue reports is typically managed during the lifetime of a system, representing the units of work needed for its improvement, e. LÄS MER