Search for dissertations about: "safety logic"

Showing result 16 - 20 of 52 swedish dissertations containing the words safety logic.

  2. 16. Creating clarity and managing complexity through co-operation and communication : The case of Swedish icebreaker operations

    Author : Magnus Boström; Jesper Andreasson; Cecilia Österman; Carl Hult; Johan Karltun; Linnéuniversitetet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; maritime safety; organization; human factors; closed-loop communication; Standard Marine Communication Phrases; misunderstanding; other-initiated repair; Sjöfartsvetenskap; Maritime Science;

    Abstract : Sea transportation is vital for the global economy, and the amount of seaborne trade is expected to increase in the future. In some areas, icebreakers are necessary for maintaining open shipping lanes all-year round and ensuring safe navigation. READ MORE

  4. 17. Formal Development of Safe and Secure Java Card Applets

    Author : Wojciech Mostowski; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; object-oriented design; Java Card; formal verification; formal specification; dynamic logic;

    Abstract : This thesis is concerned with formal development of Java Card applets. Java Card is a technology that provides a means to program smart cards with (a subset of) the Java language. In recent years Java Card technology gained great interest in the formal verification community. There are two reasons for this. READ MORE

  5. 18. Dependability and safety evaluation of railway signalling systems based on field data

    Author : Amparo Morant; Patrik Hilber; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Drift och underhållsteknik; Operation and Maintenance Engineering;

    Abstract : Railway signalling systems can be considered a group of complex systems that together provide control, supervision and protection of railway operation. When a failure occurs in the railway signalling system, other safety mitigation measures are put into place to continue railway operation, e.g. READ MORE

  6. 19. Planning and Control of Multi-Agent Systems under Signal Temporal Logic Specifications

    Author : Lars Lindemann; Dimos V. Dimarogonas; Antoine Girard; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Engineered systems are becoming more connected due to the availability of affordable and mobile communication and computation devices and form, already today, interacting and dependent complex networks. Examples of such systems range from multi-robot systems, e.g., fleets of drones or autonomous cars, over smart grids and smart home technologies. READ MORE

  7. 20. Compile-time Safety and Runtime Performance in Programming Frameworks for Distributed Systems

    Author : Lars Kroll; Seif Haridi; Jim Dowling; Peter Van Roy; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; distributed systems; distributed computing; programming systems; programming languages; computer science; domain specific languages; message-passing; actor model; component model; Informations- och kommunikationsteknik; Information and Communication Technology;

    Abstract : Distributed Systems, that is systems that must tolerate partial failures while exploiting parallelism, are a fundamental part of the software landscape today. Yet, their development and design still pose many challenges to developers when it comes to reliability and performance, and these challenges often have a negative impact on developer productivity. READ MORE