Sökning: "Safety-critical software"

Visar resultat 1 - 5 av 73 uppsatser innehållade orden Safety-critical software.

  1. 1. Challenges in Specifying Safety-Critical Systems with AI-Components

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Iswarya Malleswaran; Shruthi Dinakaran; [2023-09-26]
    Nyckelord :Software engineering; Requirement engineering; Specification; Safety; Computer Science; Engineering; Machine learning; Deep learning; Runtime monitor; Data Selection; Data Collection;

    Sammanfattning : Safety is an important feature in automotive industry. Safety critical system such as Advanced Driver Assistance System (ADAS) and Autonomous Driving (AD) follows certain processes and procedures in order to perform the desired function safely. LÄS MER

  3. 2. Improving Software Development Process Through Industry 4.0 Technologies : A focus on Railway Embedded Software

    Master-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Julia Eriksson; Victor Busck; [2023]
    Nyckelord :Safety-critical software development; Industry 4.0; Artificial Intelligence;

    Sammanfattning : Date: 4th June 2023 Level: Master thesis in Product- and Process Development, advanced level, 30 credits Institution: School of Innovation, Design and Engineering at Mälardalen University Authors: Victor Busck Julia Eriksson Title: Improving Software Development Process Through Industry 4.0 Methodologies - A focus on Railway Embedded Software Supervisor: Yuji Yamamoto - Mälardalens University, Raluca Marinescu - Alstom, Ian Bird-Radolovic - Alstom Keywords: Safety-critical software development; Software development;Industry 4. LÄS MER

  4. 3. Requirement Validation - A multi-case study to identifyfailure factors in safety critical software development

    Kandidat-uppsats, Jönköping University/JTH, Avdelningen för datateknik och informatik

    Författare :Kyrollos Ceriacous; Jakoob Ishak; [2023]
    Nyckelord :Requirements; Requirement Validation; Requirement Engineering; Safety-critical; Software Development; Failure Factors; Multiple Case Study.;

    Sammanfattning : In software development, customer trust hinges on a product performing as expectedand ensuring appropriate steps are taken to prevent incidents due to faulty systems. Oneway of achieving this lies within in requirement validation – the process of validatingthe requirements set on the software. LÄS MER

  5. 4. Syntax-Based Dependency Discovery : Extracting Dependencies Between Integration Test Cases for Passive Testing

    M1-uppsats, KTH/Hälsoinformatik och logistik

    Författare :David Halldoff; Martin Sten; [2023]
    Nyckelord :Software testing; passive testing; integration testing; test case; dependency discovery; guarded assertion; automotive; safety-critical; Mjukvarutestning; passiv testning; integrationstestning; testfall; beroendeupptäckt; fordon; säkerhetskritisk;

    Sammanfattning : Modern-day vehicles consist of numerous electronic computing devices with accompanying software. Since vehicles are generally classified as safety-critical systems, rigorous testing strategies have to be deployed to ensure correct operation of the embedded software. LÄS MER

  7. 5. Combining proprietary real-time Ethernet protocols with Time-Sensitive Networking for avionics : A simulation study in OMNeT++ with INET 4.4

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Fredrik Ekstedt Karpers; [2023]
    Nyckelord :Ethernet; Time-sensitivenetworking; Real-timenetworks; IEEE802.1Q; Aeronautics; OMNeT ; Ethernet; Time-sensitive networking; Realtidsnätverk; IEEE 802.1Q; Aeronautik; OMNeT ;

    Sammanfattning : Robust real-time communication is crucial in many safety-critical systems, such as air-crafts. One example of real-time communication within an aircraft is the Ethernet-based protocol called Proprietary Real-Time Ethernet (PRTE), used for sensor data and other hard real-time information exchange. LÄS MER