Essays about: "Kelun Liu"

Found 1 essay containing the words Kelun Liu.

  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