Sökning: "safety logic"

Visar resultat 1 - 5 av 54 avhandlingar innehållade orden safety logic.

  1. 1. On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development

    Författare :Oscar Ljungkrantz; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; safety logic; function block; IEC 61131; software requirements and specification; formal verification; reusable automation component RAC ; temporal logic; manufacturing automation software; programmable logic controller PLC ; model checking;

    Sammanfattning : Developing a control system for an automated manufacturing system is a challenging task. In addition to controlling and coordinating the machines and robots used in the production, the safety of the operators must be assured. LÄS MER

  3. 2. Performance of programmable logic controllers in industrial environment

    Författare :Kurt Johnsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; industrial adaptation; fault tolerance; human element; PLC; fail safety; fault detection; safety systems; ESD;

    Sammanfattning : .... LÄS MER

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

    Författare :Lina Berglund Snodgrass; Karl Bergman; Ylva Stubbergaard; Mattias Kärrholm; Blekinge Tekniska Högskola; []
    Nyckelord :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;

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

  5. 4. Cooperative Automated Driving for Enhanced Safety and Ethical Decision-Making

    Författare :Galina Sidorenko; Alexey Vinel; Johan Thunberg; Jérôme Härri; Högskolan i Halmstad; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Cooperative Intelligent Transportation System C-ITS ; cooperative vehicles; Vehicle-to-Vehicle V2V communication; V2X communications; automated driving; platooning; emergency braking; road safety; vehicular safety; ITS-G5; IEEE 802.11p; ethical dilemmas; ethical decision-making; autonomous driving ethics;

    Sammanfattning : Advances in technologies for vehicular communication enable new applications for Cooperative Intelligent Transportation Systems (C-ITS). Communicating vehicles share information and cooperate, which allows for improved safety, fuel economy, and traffic efficiency. LÄS MER

  7. 5. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION

    Författare :Mona Noori-Hosseini; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Temporal logic; Anonymity; Opacity; Discrete event systems.; Automation; Formal verification; Fault diagnosability; Incremental abstraction;

    Sammanfattning : Dynamical systems can be classified into two groups. One group is continuoustime systems that describe the physical system behavior, and therefore are typically modeled by differential equations. The other group is discrete event systems (DES)s that represent the sequential and logical behavior of a system. LÄS MER