Sökning: "safety-critical applications"

Visar resultat 1 - 5 av 70 avhandlingar innehållade orden safety-critical applications.

1. 1. Synthesis of Safety-Critical Real-Time Systems

   Författare :Yuanbin Zhou; Zebo Peng; Petru Ion Eles; Soheil Samii; Luis Almeida; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Safety-Critical Systems; Real-Time Systems; Time-Sensitive Networking; Mixed-Criticality Systems;

   Sammanfattning : Modern safety-critical real-time systems are becoming more and more complex, due to sophisticated applications such as advanced driving assistance, automated driving, advanced infotainment, and applications involving machine learning and deep learning. This has led to increased requirements for the communication infrastructures. LÄS MER

3. 2. Synchronization and Communication Results in Safety-Critical Real-Time Systems

   Författare :Henrik Lönn; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; scheduling; TDMA; fault tolerance; membership agreement; safety-critical; atomic broadcast; embedded systems; clock synchronization; distributed real-time systems;

   Sammanfattning : A growing number of industrial control applications employ computer control to provide enhanced functionality and reduced cost. Many of these applications are safety-critical and require fault-tolerant techniques to provide an adequate level of safety. LÄS MER

4. 3. On Improving Validity of Deep Neural Networks in Safety Critical Applications

   Författare :Jens Henriksson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; out-of-distribution; outlier detection; deep neural networks; Safety critical applications;

   Sammanfattning : Context: Deep learning has proven to be a valuable component in object detection and classification, as the technique has shown an increased performance throughput compared to traditional software algorithms. Deep learning refers to the process, in which an optimisation process learns an algorithm through a set of labeled data, where the researcher defines an architecture rather than the algorithm itself. LÄS MER

5. 4. 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. 5. Design of Assured and Efficient Safety-critical Systems

   Författare :Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

   Sammanfattning : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER