Sökning: "Kommunikationstid i Värsta Fall"

Hittade 1 uppsats innehållade orden Kommunikationstid i Värsta Fall.

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

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Kelun Liu; [2021]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER