Search for dissertations about: "safety systems"

Showing result 1 - 5 of 1018 swedish dissertations containing the words safety systems.

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

4. 2. Safety Analysis of Systems-of-Systems

   Author : Stephan Baumgart; Joakim Fröberg; Sasikumar Punnekkat; Iain Bate; Mälardalens universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; System-of-Systems; Safety Analysis; Hazard Analysis; Model-based Development; Computer Science; datavetenskap;

   Abstract : Safety-critical systems may fail dangerously with severe consequences to the health of the involved humans, costly equipment, the environment, or other valuable assets of a stakeholder. For these classes of systems, the developers are obliged to analyze each potentially hazardous situation thoroughly. READ MORE

5. 3. Tool Integration and Safety : A Foundation for Analysing the Impact of Tool Integrationon Non-functional Properties

   Author : Fredrik Asplund; Martin Törngren; Jad El-khoury; Jakob Axelsson; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Tool Integration; Integrated Development Environments; Embedded Systems; Safety Standards; Certification; Qualification; Systems Thinking; System Safety; STAMP; STPA;

   Abstract : The increasing complexity of embedded systems development is becoming difficult to handle with development environments based on disjoint engineering tools. Support for interactions between various engineering tools, especially through automated means, has therefore received an increased amount of attention during the last few years. READ MORE

6. 4. Parameterized Systems : Generalizing and Simplifying Automatic Verification

   Author : Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

   Abstract : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. READ MORE

7. 5. Collaborative, Intelligent, and Adaptive Systems for the Low-Power Internet of Things

   Author : Valentin Poirot; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Adaptive Networking; Bluetooth Low Energy; Consensus; Low-Power Wireless Networks; TinyML; IoT; Internet of Things; synchronous transmissions;

   Abstract : With the emergence of the Internet of Things (IoT), more and more devices are getting equipped with communication capabilities, often via wireless radios. Their deployments pave the way for new and mission-critical applications: cars will communicate with nearby vehicles to coordinate at intersections; industrial wireless closed-loop systems will improve operational safety in factories; while swarms of drones will coordinate to plan collision-free trajectories. READ MORE