Sökning: "system safety"

Visar resultat 1 - 5 av 1105 avhandlingar innehållade orden system safety.

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

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

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

   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. 3. Safety Reviews of Technical System Modifications in the Nuclear Industry

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

   Sammanfattning : 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. LÄS MER

5. 4. Facilitating Automated Compliance Checking of Processes against Safety Standards

   Författare :Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz UL Muram; Rory O'Connor; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Compliance Checking; Safety-critical Systems; Safety Standards Formalization; Safety Processes; Computer Science; datavetenskap;

   Sammanfattning : A system is safety-critical if its malfunctioning could have catastrophic consequences for people, property or the environment, e.g., the failure in a car's braking system could be potentially tragic. To produce such type of systems, special procedures, and strategies, that permit their safer deployment into society, should be used. LÄS MER

7. 5. Safety Analysis of Systems-of-Systems

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

   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