Essays about: "safety-critical"

Showing result 21 - 25 of 176 essays containing the word safety-critical.

  1. 21. Application of Discrete Time High Order Control Barrier Functions for a prototype multi-spacecraft inspection of the ISS

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Gregorio Marchesini; [2023]
    Keywords : Space Robotics; Control Barrier Functions; Autonomous systems; Multi-agent systems;

    Abstract : In the past few years, the application of Control Barrier Functions (CBF) and High Order Control Barrier Functions (HOCBF) as a suitable framework to ensure safety for autonomous systems has attracted increasing interest. In particular, autonomous space systems are frequently subject to safety-critical constraints due to the high costs involved in manufacturing and launching. READ MORE

  3. 22. Test Maintenance for Machine Learning Systems: A Case Study in the Automotive Industry

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : TIM GRUBE; LUKAS BERGLUND; [2022-10-10]
    Keywords : Testing; Test maintenance; Test maintenance factors; ML systems; Software testing; Software engineering; Case study; Thesis;

    Abstract : Machine Learning (ML) is widely used nowadays, including safety-critical systems in the automotive industry. Consequently, testing is essential to ensure the quality of these systems. READ MORE

  4. 23. Implementing and evaluating variations of the Blackhole attack on RPL

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Adam Pettersson; [2022]
    Keywords : ;

    Abstract : The IPv6 Routing Protocol for Low-power and Lossy Networks (RPL) is the most used routing protocol for resource constrained Internet-of-Things (IoT) networks. With the massive increase in number of Internet-connected IoT devices and the fact that they are becoming more common in safety-critical environments such as in health-care and in the industry, security in these networks are of a big concern. READ MORE

  5. 24. Reliability Based Classification of Transitions in Complex Semi-Markov Models

    University essay from KTH/Matematisk statistik

    Author : Francesco Fenoaltea; [2022]
    Keywords : Semi-Markov process; reliability engineering; stochastic process; autonomous vehicles; semi-markovprocessen; tillförlitlighetsteknik; stokastisk process; autonoma fordon;

    Abstract : Markov processes have a long history of being used to model safety critical systems. However, with the development of autonomous vehicles and their increased complexity, Markov processes have been shown to not be sufficiently precise for reliability calculations. READ MORE

  6. 25. Using Safety Analysis Techniques To Derive Safety Properties For Formal Verification Of Safety-Critical Systems

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

    Author : Ermia Hassanpour; [2022]
    Keywords : ;

    Abstract : .... READ MORE