Search for dissertations about: "software safety"

Showing result 1 - 5 of 188 swedish dissertations containing the words software safety.

  2. 1. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

    Author : Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
    Keywords : 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;

    Abstract : 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. READ MORE

  4. 2. System Capability Feedback-Cycles in Automotive Software Development

    Author : Magnus Ågren; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Continuous Software Engineering; Automotive Systems Engineering; Requirements Engineering; Software Architecture;

    Abstract : Context: The automotive industry is currently going through rapid change, driven by new technology; for example, electrification, autonomous driving, and connected cars. This new technology is largely based on electronics and software, and vehicles are increasingly becoming software-intensive systems. READ MORE

  5. 3. Improving software traceability tools and processes

    Author : Salome Maro; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software Traceability; Traceability tools; Traceability processes;

    Abstract : Context: Development of large and complex software leads to a large number of interconnected artifacts such as requirements, design models, code and implementation. Traceability enables understanding and managing these artifacts as they evolve. However, establishing traceability is not trivial. READ MORE

  6. 4. Effective Engineering of Multi-Robot Software Applications

    Author : Sergio Garcia; Göteborgs universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Robotics; Multi-Robot; Autonomous Systems; Software Architecture; Empirical Research; Model-Driven Engineering; Domain-Specific Languages;

    Abstract : Context: Service robots support humans by performing useful, repetitive or dangerous tasks. The development of service robots comes with severe software engineering challenges, since they require high levels of robustness and autonomy to operate and interact with highly heterogeneous, unconstrained, and partially known environments, often populated by humans. READ MORE

  7. 5. Safety Critical Software - Test Coverage vs Remaining Faults

    Author : Johan Sundell; Kristina Lundqvist; Håkan Forsberg; Emelie Engström; Mälardalens universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; safety-critical software; software testing; Computer Science; datavetenskap;

    Abstract : Safety-critical software systems have traditionally been found in the aerospace-, nuclear- andmedical domains. As technology advances and software complexity increases, such systemscan be found in more and more applications, e.g. self driving cars. READ MORE