Essays about: "Safety-critical software development"

Showing result 1 - 5 of 36 essays containing the words Safety-critical software development.

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

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

    Author : Julia Eriksson; Victor Busck; [2023]
    Keywords : Safety-critical software development; Industry 4.0; Artificial Intelligence;

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

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

    University essay from Jönköping University/JTH, Avdelningen för datateknik och informatik

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

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

  4. 3. Application of formal verification and validation on modern multi-functional signalling system

    University essay from KTH/Transportplanering

    Author : Shamsul Arefin; [2022]
    Keywords : ;

    Abstract : Demand for rail transport is increasing day by day. Rail is popular in public transport due to punctuality, regularity, and safety. However, we hear daily that rail traffic still has many problems to solve about incidents, near misses, and signal errors. READ MORE

  5. 4. Towards a Correct-by-Construction design flow : A case-study from railway signaling systems

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

    Author : Marcus Hanikat; [2021]
    Keywords : Correct-by-Construction; Safety-critical; Formal modeling; ForSyDe; Simulink; Model-based design; EN 50128; Korrekt-vid-Konstruktion; Säkerhetskritiska system; Formell modelering; ForSyDe; Simulink; MATLAB; Modeleringsbaserat utvecklingsflöde; EN 50128;

    Abstract : As technological advancements and manufacturing techniques continues to bring us more complex and powerful hardware, software engineers struggle to keep up with this rapid progress and reap the benefits brought by this hardware. In the field of safety-critical system development, where a thorough understanding and deterministic nature of the hardware often is required, the cost of development closely relates to the complexity of the hardware used. READ MORE

  6. 5. Validation of theoretical cost model for Power and Reliability : Case study of a reliable Central Direct Memory Access system

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

    Author : Sonal Shrivastava; [2021]
    Keywords : Single event upsets; Extra-functional properties; System on Chip; Mean Time Between Failure; Power consumption; Enstaka händelse störs; Extra funktionella egenskaper; System på chip; Medeltid mellan misslyckande; Energiförbrukning;

    Abstract : Safety-critical applications employed in automotive, avionics and aerospace domains are placed under strict demands for performance, power efficiency and fault tolerance. Development of system hardware and software satisfying all criteria is challenging and time-consuming. READ MORE