Essays about: "Marcus Hanikat"

Found 2 essays containing the words Marcus Hanikat.

  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. Centralized log management for complex computer networks

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

    Author : Marcus Hanikat; [2018]
    Keywords : Logging ; Log management ; Computer networks ; Centralization ; Security; Loggning ; Log hantering; Datornätverk ; Centralisering ; Säkerhet;

    Abstract : In modern computer networks log messages produced on different devices throughout the network is collected and analyzed. The data from these log messages gives the network administrators an overview of the networks operation, allows them to detect problems with the network and block security breaches. READ MORE