Automatic generation and targeting of application-specific operating systems and embedded systems software

Gauthier, Lovic; Yoo, Sungjoo; Jerraya, Ahmed

doi:10.1109/43.959858

Cited by 56 publications

(43 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This RTOS template is used to realize the subset of the API that is actually used in the application program. Finally, Gauthier et al [2001] have proposed an environment for RTOS generation similar to the previous approaches. Here a library of RTOS components that are parameterized is used to synthesize the target RTOS given a system level description of the application program.…”

Section: Related Workmentioning

confidence: 99%

Synthesis of time-constrained multitasking embedded software

Nácul

Givargis

2006

ACM Trans. Des. Autom. Electron. Syst.

View full text Add to dashboard Cite

In modern embedded systems, software development plays a vital role. Many key functions are being migrated to software, aiming at a shorter time to market and easier upgrades. Multitasking is increasingly common in embedded software, and many of these tasks incorporate real-time constraints. Although multitasking simplifies coding, it demands an operating system and imposes significant overhead on the system. The use of serializing compilers, such as the Phantom compiler, allows the synthesis of a monolithic code from a multitasking C application, eliminating the need for an operating system. In this article, we introduce the synthesis of multitasking applications that execute in a timely manner. We incorporate the notion of timing constraints into the Phantom compiler, and show that our approach is effective in meeting such constraints, allowing fine-grained concurrency among the tasks. As an additional case study, we present the implementation of a software-based modem and show that real-time applications such as the modem have guaranteed performance in the serialized code generated by the Phantom compiler.

show abstract

Section: Related Workmentioning

confidence: 99%

Synthesis of time-constrained multitasking embedded software

Nácul

Givargis

2006

ACM Trans. Des. Autom. Electron. Syst.

View full text Add to dashboard Cite

show abstract

“…In [8], a method for automatic generation of application-specific operating systems and corresponding application software for a target processor is given. In [6], a way of combining static task scheduling and dynamic scheduling in software synthesis is proposed.…”

Section: Related Workmentioning

confidence: 99%

RTOS Modeling for System Level Design

Gerstlauer¹,

Yu²,

Gajski³

2008

Design, Automation, and Test in Europe

View full text Add to dashboard Cite

show abstract

“…The key features of the specified RTOS are refined from high abstraction level to implementation. Gauthier et al [2001] proposed the framework that generates a customized RTOS for the target application automatically from a high-level specification. For automatic generation of a customized RTOS, the required OS services are selected from the OS library and combined into a single image.…”

Section: Related Workmentioning

confidence: 99%

Serialized parallel code generation framework for MPSoC

Kwon

2010

ACM Trans. Des. Autom. Electron. Syst.

View full text Add to dashboard Cite

The models of computations that express concurrency naturally are preferred for initial specification of MPSoC system, since popular programming languages such as C and C++ are designed for sequential execution. In our previous work, we proposed a design framework where two models are used for the initial specification of the system behavior; task model at the top level and dataflow model inside each task. After the partition and mapping process is performed with each architecture candidate, the target code is automatically generated for both Design-Space Exploration (DSE) and final implementation. In this article, we focus on parallel code generation for MPSoC, proposing two main techniques. The first is to express functional and data parallelism differently following the partition and mapping decision. In the proposed technique, the generated code consists of multiple tasks running concurrently, which achieves functional parallelism. On the other hand, we use OpenMP directives to express data parallelism inside a task. Second is to adopt the code serialization technique to execute a multitasking application without OS scheduler, aiming to generate the highly portable code on various platforms for an efficient DSE process. We extend the previous code serialization techniques to multiprocessor systems and utilize the formal properties of the dataflow model for efficient code generation. The experiments including H.263 codec example show the viability of the proposed technique and the efficiency of the generated code.

show abstract

Automatic generation and targeting of application-specific operating systems and embedded systems software

Cited by 56 publications

References 10 publications

Synthesis of time-constrained multitasking embedded software

Synthesis of time-constrained multitasking embedded software

RTOS Modeling for System Level Design

Serialized parallel code generation framework for MPSoC

Contact Info

Product

Resources

About