Search for dissertations about: "Safety critical applications"

Showing result 1 - 5 of 128 swedish dissertations containing the words Safety critical applications.

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

    Author : Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
    Keywords : 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;

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

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

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

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

  3. 3. Safety Reviews of Technical System Modifications in the Nuclear Industry

    Author : Thomas Falk; Sven-Ove Hansson; Teemu Reiman; KTH; []
    Keywords : safety; safety review; nuclear; nuclear power plant; process; process improvement; action research; experience feedback;

    Abstract : The function of safety reviews (here understood as expert judgements on proposals for design modifications and redesign of technical systems in commercial Nuclear Power Plants, supported by formalised safety review processes) plays a fundamental role for safety in nuclear installations. The primary aims of the presented case studies includes: critically examining and identifying the main areas for improvement of the existing technical safety review process as it is conducted at a Swedish nuclear power plant, developing a new process, and evaluating whether any improvements were accomplished. READ MORE

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

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

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

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

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

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