Essays about: "ForSyDe"

Showing result 1 - 5 of 17 essays containing the word ForSyDe.

1. 1. Design space exploration for co-mapping of periodic and streaming applications in a shared platform

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

   Author : Zhang Yuhan; [2023]
   Keywords : Design Space Exploration; Periodically activated tasks; Synchronous dataflow; IDeSyDe; Designutrymmesutforskning; Periodiskt aktiverade uppgifter; Synkron data-flöde; IDeSyDe;

   Abstract : As embedded systems advance, the complexity and multifaceted requirements of products have increased significantly. A trend in this domain is the selection of different types of application models and multiprocessors as the platform. READ MORE

3. 2. Software Synthesis of Synchronous Data Flow Models Using ForSyDe IO

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

   Author : Yihang Zhao; [2022]
   Keywords : Synchronous Data Flow; Software Synthesis; ForSyDe; ForSyDe IO; Synkront dataflöde; Mjukvarusyntes; ForSyDe; ForSyDe IO;

   Abstract : The implementation of embedded software applications is a complex process. The complexity arises from the intense time-to-market pressures; power and memory constraints. To deal with this complexity, an idea is to automatically construct the applications based on the high-level abstraction model. READ MORE

4. 3. Prototyping a formal system modeling workbench in the java ecosystem : A Domain Specific Language in Groovy

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

   Author : Joakim Savegren; Joar Edling; [2022]
   Keywords : ForSyDe; Models of Computation; Domain Specific Language DSL ; Data-flow; Embedded Software; Modeling; Programvara för inbyggda system; ForSyDe; Beräkningsmodeller; Domänspecifika språk; Data flöde; Modellering;

   Abstract : Modeling is a fundamental property in today’s development of embedded systems. Models of computation enable us to describe the functionality and characteristics of a system on a higher abstraction level which gives the designer great insight in the behavior of the final implemented system at a very early stage in the design process. READ MORE

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

6. 5. MATLAB/Simulink implementation of ForSyDe

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

   Author : Andrea Silvestro; [2021]
   Keywords : ;

   Abstract : Nowadays, it is possible to integrate an increasing number of functionalities on a single chip thanks to the state of the art technology in Electronic design automation. However, designing highly complex electronic systems quickly and reliably requires dealing with all such functionalities, which can be difficult as it requires a long and challenging design process because low-level details are necessary to obtain a functional implementation. READ MORE