Sökning: "Safety requirements"

Visar resultat 1 - 5 av 355 avhandlingar innehållade orden Safety requirements.

1. 1. Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory

   Författare :Jonas Westman; Mattias Nyberg; Mats Heimdahl; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Contracts; Heterogeneous Systems; Safety; Architecture; Requirements; Specification; Elements; Compositional; IEC 61508; ISO 26262; Kontrakt; Heterogena System; Säkerhet; Arkitektur; Kravhantering; Specifiering; Element; Kompositionell; IEC 61508; ISO 26262; Machine Design; Maskinkonstruktion;

   Sammanfattning : Requirements engineering (RE) is a well-established practice that is also emphasized in safety standards such as IEC 61508 and ISO 26262. Safety standards advocate a particularly stringent RE where requirements must be structured in an hierarchical manner in accordance with the system architecture; at each level, requirements must be allocated to heterogeneous (SW, HW, mechanical, electrical, etc. LÄS MER

3. 2. Safety at Rail-Road Level Crossings

   Författare :Mohammad Shahriari; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; driver behaviour; risk analysis; traffic safety; rail road crossings; safety;

   Sammanfattning : Safety related to traffic at rail/road level crossings has long been a major issue for rail operators all over the world. Eliminating these level crossings entirely would be a desirable solution. However converting them into separate types is very expensive and not reasonable in many cases, e.g. LÄS MER

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

7. 5. An Ontological Approach to Safety Analysis of Safety-Critical Systems

   Författare :Jiale Zhou; Kristina Lundqvist; Ibrahim Habli; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; hazard analysis; ontologies; safety-critical systems; safety requirements elicitation; Computer Science; datavetenskap;

   Sammanfattning : Safety-critical systems (SCSs) have become an intrinsic part of human dailylife in multiple domains, such as automotive, avionics, and rail industries. Such systems are not only required to implement the functionality they should provide, but also have to satisfy a set of safety requirements in order to ensure the mitigation of hazardous consequences. LÄS MER