Sökning: "safety systems"
Visar resultat 1 - 5 av 1040 avhandlingar innehållade orden safety systems.
1. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems
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
2. Safety Analysis of Systems-of-Systems
Sammanfattning : 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. LÄS MER
3. Tool Integration and Safety : A Foundation for Analysing the Impact of Tool Integrationon Non-functional Properties
Sammanfattning : 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. LÄS MER
4. Parameterized Systems : Generalizing and Simplifying Automatic Verification
Sammanfattning : 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. LÄS MER
5. Collaborative, Intelligent, and Adaptive Systems for the Low-Power Internet of Things
Sammanfattning : 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. LÄS MER