Sökning: "safety interfaces"

Visar resultat 1 - 5 av 53 avhandlingar innehållade orden safety interfaces.

1. 1. Components, Safety Interfaces, and Compositional Analysis

   Författare :Jonas Elmquist; Simin Nadjm-Tehrani; Linköpings universitet; []
   Nyckelord :Component-based system development; safety-critical systems; safety interfaces; compositional analysis; modelbased development; TECHNOLOGY; TEKNIKVETENSKAP;

   Sammanfattning : Component-based software development has emerged as a promising approach for developing complex software systems by composing smaller independently developed components into larger component assemblies. This approach offers means to increase software reuse, achieve higher flexibility and shorter time-to-market by the use of off-the-shelf components (COTS). LÄS MER

3. 2. Role, Identity and Work : Extending the design and development agenda

   Författare :David Dinka; James M. Nyce; Toomas Timpka; Sture Hägglund; Bengt Sandblad; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Role; Identity; Usability; Safety; User-centred design; Medical Informatics; Informatics; Informatik;

   Sammanfattning : In order to make technology easier to handle for its users, the field of HCI (Human- Computer Interaction) has recently often turned the environment and the context of use. In this thesis the focus is on the relation between the user and the technology. LÄS MER

4. 3. Formal Specification and Verification of Safety-Critical Software

   Författare :Daniel Larsson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fault injection; fault tolerance; safety-critical; dependability; formal verification; Formal specification;

   Sammanfattning : This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. LÄS MER

5. 4. On the interaction between driver assistance systems and drivers in situations of system failure

   Författare :Josef Nilsson; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; adaptive cruise control; Chalmers driving simulator; automotive safety; controllability; driver assistance systems; functional safety; dependability; brake failure; fault injection;

   Sammanfattning : The level of automation is increasing in road vehicles as driver assistance systems take control of both speed and steering. Benefits of this development are expected in the form of improved safety, driver comfort, traffic efficiency, etc. LÄS MER

7. 5. Designing for Safe Maritime Navigation. Studying Control Processes for Bridge Teams

   Författare :Victor Fernando Placido da Conceicao; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; safety; Socio-technical Systems; navigation control; joint cognitive systems; e-Navigation; human factors; pilotage;

   Sammanfattning : Several technological advances have been seen the maritime domain to achieve higher operational efficiency and to address the generally recognised causes of most maritime accidents. The International Maritime Organization (IMO) endorses the use of best available technology to “drive continuous improvement and innovation in the facilitation of maritime traffic” in line with the goal of sustainable development. LÄS MER