Search for dissertations about: "safety logic"

Showing result 1 - 5 of 45 swedish dissertations containing the words safety logic.

  1. 1. Demanding Certainty : A Critical Examination of Swedish Spatial Planning for Safety

    Author : Lina Berglund Snodgrass; Karl Bergman; Ylva Stubbergaard; Mattias Kärrholm; Blekinge Tekniska Högskola; []
    Keywords : SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; safety; fear; public life; spatial planning; Sweden; agonistic theory; knowledge; gender; trygghet; rädsla; offentligt liv; fysisk planering; Sverige; agonistisk teori; kunskap; genus;

    Abstract : This dissertation constitutes a critical examination of Swedish spatial planning for safety. Spatial planning for safety rests on a number of assumptions about the desired order of the world. These assumptions appear as given and unproblematic, making the formulation of alternatives appear unnecessary. READ MORE

  2. 2. Human Vehicle Interaction Drivers’ Body and Visual Behaviour and Tools and Process for Analysis

    Author : Lars Hanson; Ergonomi och aerosolteknologi; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Working process; Vision; Safety; Reach; Posture; Neural network; Fuzzy logic; Ergonomics; Driver behaviour; Documentation; Digital human modelling; Comfort; Button location; Car interior; Technology of other products; Produktteknik allmän ;

    Abstract : Vehicle design is characterized by a high number of compromises. The special role of human factors in the process is to ensure that the compromises do not occur at the expense of the driver and passengers. READ MORE

  3. 3. Towards the safe-IOCOS relation -- On testing and correction of errors in an implementation to ensure safety

    Author : Adnan Khan; Chalmers University of Technology; []
    Keywords : Safety; Supervisory control theory; Model-based testing; PLC; Input-output conformance simulation relation;

    Abstract : The technological advancement that has occurred at a blistering pace in the past decades has enabled manufacturing companies to conceive innovative products. However, to meet growing demands of consumers, manufacturing companies are expected to maintain a steady production rate without compromising product quality. READ MORE

  4. 4. A Safety-centered Planning-time Framework for Automated Process Compliance Checking

    Author : Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz UL Muram; Ricardo Colomo Palacios; Mälardalens högskola; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Automated Compliance Checking; Safety-critical Systems; Process Reference Models; Industry Standards; Formal Contract Logic; SPEM 2.0.; Computer Science; datavetenskap;

    Abstract : Safety-critical systems, whose failure could lead to catastrophic consequences, are everywhere. Not only environments with high-risk functions, e.g., nuclear power plants, are safety-critical systems. READ MORE

  5. 5. Contracts-Based Maintenance of Safety Cases

    Author : Omar Jaradat; Sasikumar Punnekkat; Mark Nicholson; Mälardalens högskola; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Safety critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. System safety is a major property that shall be adequately assured to avoid any severe outcomes in safety critical systems. READ MORE