Sökning: "safety-critical systems"

Visar resultat 6 - 10 av 163 avhandlingar innehållade orden safety-critical systems.

1. 6. 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

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

4. 8. !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

5. 9. On Security in Safety-Critical Process Control

   Författare :Johan Åkerberg; Mats Björkman; Maria Lindén; Bengt Ahlgren; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap; Computer Science; datavetenskap;

   Sammanfattning : This Licentiate thesis is about security in automation networks with emphasis on fieldbus communication. In the process industry, network and system security have become even more important since the introduction of Ethernet-based fieldbus protocols. LÄS MER

7. 10. 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