Essays about: "EN 50128"

Found 2 essays containing the words EN 50128.

1. 1. 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

3. 2. The effect of the update of the European standard EN 50128 : - The management of the safety of the software applications for railway applications

   University essay from Uppsala universitet/Signaler och System

   Author : Åsa Nordström; [2017]
   Keywords : EN 50128; Safety Standards; Safety related Software; EN 50657; tool classification; SIL; CENELEC; TC 9X;

   Abstract : The European standard EN 50128 "Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems" is one of the European standards for European Railway systems. It is intended for software aspects, specifying procedures and technical requirements for the development of programmable Electronic systems, which are used in railway control and protection applications. READ MORE