Sökning: "safety-critical software"

Visar resultat 11 - 15 av 60 avhandlingar innehållade orden safety-critical software.

  1. 11. Software development and risk management in the safety critical medical device domain

    Författare :Christin Lindholm; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; risk management; Software development; medical device;

    Sammanfattning : The healthcare sector is one of the fastest growing economic sectors of today. The medical device domain is one part of that sector. An increasing part of functionality in medical devices and systems is implemented in software and many features should not be possible to implement without software. LÄS MER

  3. 12. Improving software traceability tools and processes

    Författare :Salome Maro; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software Traceability; Traceability tools; Traceability processes;

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

  4. 13. Software Risk Management in the Safety-critical Medical Device Domain - Involving a User Perspective

    Författare :Christin Lindholm; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Software development; Medical device development; User perspective; Risk management; Usability testing;

    Sammanfattning : There is a thin line between life and death. In the medical domain, risk management can be an instrument that helps the development organisations to develop safer medical devices. A medical device that fails can bring harm to both patients and medical staff. LÄS MER

  5. 14. Requirements Engineering Challenges of Supporting Agile Teams in System Development

    Författare :RASHIDA KASAULI; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Safety-critical System Development; Requirements Engineering; Scaled-Agile System Development; User Value;

    Sammanfattning : Context: Agile methods have attracted many companies due to their reported benefits of short time-to-market and improved quality outputs. In the systems development context, additional constraints apply e.g. as a result of scale or parallel development of hardware and software. LÄS MER

  7. 15. Formal Verification of Tree Ensembles in Safety-Critical Applications

    Författare :John Törnblom; Simin Nadjm-Tehrani; Ingemar Söderquist; Joao Marques-Silva; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Machine learning; Tree ensembles;

    Sammanfattning : In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of learning complicated pattern recognition tasks and sophisticated decision policies, two key capabilities in autonomous cyber-physical systems. LÄS MER