Sökning: "safety-critical"

Visar resultat 21 - 25 av 195 avhandlingar innehållade ordet safety-critical.

1. 21. Assurance Aware Contract-based Design for Safety-critical Systems

   Författare :Irfan Sljivo; Hans Hansson; Barbara Gallina; Jan Carlson; Mario Trapp; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Sammanfattning : Safety-critical systems are those systems whose malfunctioning can result in harm or loss of human life, or damage to property or the environment. Such systems usually need to comply with a domain-specific safety standard, which often require a safety case in form of an explained argument supported by evidence to show that the system is acceptably safe to operate in a given context. LÄS MER

3. 22. 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

4. 23. Optimal Braking Patterns and Forces in Autonomous Safety-Critical Maneuvers

   Författare :Victor Fors; Lars Nielsen; Björn Olofsson; Jan Åslund; Mathias Lidberg; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : The trend of more advanced driver-assistance features and the development toward autonomous vehicles enable new possibilities in the area of active safety. With more information available in the vehicle about the surrounding traffic and the road ahead, there is the possibility of improved active-safety systems that make use of this information for stability control in safety-critical maneuvers. LÄS MER

5. 24. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

   Författare :Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; hard real-time; concurrency; model of computation; safety-critical; safety; security; industrial automation; RTFM; real-time for the masses; Embedded Systems; Inbyggda system;

   Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER

7. 25. Timing Predictability in Future Multi-Core Avionics Systems

   Författare :Andreas Löfwenmark; Simin Nadjm-Tehrani; Risat Pathan; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Timing Predictability; WCET; WCRT; Fault Tolerance; Safety Critical; Avionics;

   Sammanfattning : With more functionality added to safety-critical avionics systems, new platforms are required to offer the computational capacity needed. Multi-core platforms offer a potential that is now being explored, but they pose significant challenges with respect to predictability due to shared resources (such as memory) being accessed from several cores in parallel. LÄS MER