Essays about: "Modeleringsbaserat utvecklingsflöde"

Found 1 essay containing the words Modeleringsbaserat utvecklingsflöde.

  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