Essays about: "Correct-by-Construction"

Showing result 1 - 5 of 6 essays containing the word Correct-by-Construction.

  1. 1. A Specification for Time-Predictable Communication on TDM-based MPSoC Platforms

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

    Author : Kelun Liu; [2021]
    Keywords : Communication; Time-Predictability; Network-on-Chip; Software Specification; Worst-Case Communication Time; Kommunikation; Tid Förutsägbarhet; Nätverk-på-Chip; MjukvaruSpecifikation; Kommunikationstid i Värsta Fall;

    Abstract : Formal System Design (ForSyDe) aims to bring the design of multiprocessor systems-on-chip (MPSoCs) to a higher level of abstraction and bridge the abstraction gap by transformational design refinement. The current research is focused on a correct-by-construction design flow, which requires design space exploration including formal models of computation and timepredictable platforms. READ MORE

  3. 2. 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

  4. 3. 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

  5. 4. Robust Model Predictive Control of Linear Systems under Signal Temporal Logic specifications

    University essay from KTH/Skolan för elektro- och systemteknik (EES)

    Author : Lindemann Lars; [2016]
    Keywords : ;

    Abstract : Correct-by-construction control systems that fulfill formal specifications are an active research area, especially for motion and task planning of multi-agent systems. Recent methods suffer from state explosion problems which make them inconvenient to use in practice. READ MORE

  6. 5. Enhancing the Monitoring of Real-Time Performance in Linux

    University essay from Akademin för innovation, design och teknik

    Author : Nima Asadi; [2014]
    Keywords : ;

    Abstract : There is a growing trend in applying Linux operating system in the domain of embeddedsystems. This is due to the important features that Linux benets from, such as beingopen source, its light weight compared to other major operating systems, its adaptabilityto dierent platforms, and its more stable performance speed. READ MORE