Software synthesis in the ESL methodology for multicore embedded systems

2011 ◽  
Author(s):  
Soonhoi Ha ◽  
Hyunok Oh
Keyword(s):  
Embedded Systems ◽  
Software Synthesis ◽  
Esl Methodology

scholarly journals Hardware-dependent Software synthesis for many-core embedded systems

2009 ◽  
Author(s):  
Samar Abdi ◽  
Gunar Schirner ◽  
Ines Viskic ◽  
Hansu Cho ◽  
Yonghyun Hwang ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Software Synthesis ◽  
Many Core

Software synthesis for hard real-time embedded systems with multiple processors

2007 ◽  
Vol 32 (2) ◽  
pp. 1-10 ◽  
Author(s):  
Eduardo Tavares ◽  
Raimundo Barreto ◽  
Paulo Maciel ◽  
Meuse Oliveira ◽  
Leonardo Amorim ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Real Time ◽  
Software Synthesis ◽  
Multiple Processors ◽  
Hard Real Time

Dataflow Model–based Software Synthesis Framework for Parallel and Distributed Embedded Systems

2021 ◽  
Vol 26 (5) ◽  
pp. 1-38
Author(s):  
Eunjin Jeong ◽  
Dowhan Jeong ◽  
Soonhoi Ha
Keyword(s):  
Embedded Systems ◽  
Software Development ◽  
Synthesis Method ◽  
Real Life ◽  
Task Graph ◽  
Software Synthesis ◽  
Distributed Embedded Systems ◽  
Hardware Platform ◽  
Processing Elements ◽  
Model Based

Existing software development methodologies mostly assume that an application runs on a single device without concern about the non-functional requirements of an embedded system such as latency and resource consumption. Besides, embedded software is usually developed after the hardware platform is determined, since a non-negligible portion of the code depends on the hardware platform. In this article, we present a novel model-based software synthesis framework for parallel and distributed embedded systems. An application is specified as a set of tasks with the given rules for execution and communication. Having such rules enables us to perform static analysis to check some software errors at compile-time to reduce the verification difficulty. Platform-specific programs are synthesized automatically after the mapping of tasks onto processing elements is determined. The proposed framework is expandable to support new hardware platforms easily. The proposed communication code synthesis method is extensible and flexible to support various communication methods between devices. In addition, the fault-tolerant feature can be added by modifying the task graph automatically according to the selected fault-tolerance configurations by the user. The viability of the proposed software development methodology is evaluated with a real-life surveillance application that runs on six processing elements.

Sign in / Sign up

Export Citation Format

Share Document