Software synthesis for real-time information processing systems

Authors:
Filip Thoen;Marco Cornero;Gert Goossens;Hugo De Man
Affiliations:
IMEC, Kapeldreef 75, B-3001 Leuven, Belgium;SGS-Thomson Microelectronics, Crolles, France;IMEC, Kapeldreef 75, B-3001 Leuven, Belgium;Professor at the Katholicke Universiteit Leuven
Venue:
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Year:
1995

Citing 10
Cited 3

Statecharts: A visual formalism for complex systems

Science of Computer Programming
The concurrent C programming language

The concurrent C programming language
ARTS: a distributed real-time kernel

ACM SIGOPS Operating Systems Review
Scheduling Processes with Release Times, Deadlines, Precedence and Exclusion Relations

IEEE Transactions on Software Engineering
Relative scheduling under timing constraints

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Co-synthesis of hardware and software for digital embedded systems

Co-synthesis of hardware and software for digital embedded systems
Software scheduling in the co-synthesis of reactive real-time systems

DAC '94 Proceedings of the 31st annual Design Automation Conference
Integration of medium-throughput signal processing algorithms on flexible instruction-set architectures

Journal of VLSI Signal Processing Systems - Special issue on design environments for DSP
Hardware-Software Cosynthesis for Digital Systems

IEEE Design & Test
Hardware-Software Codesign of Embedded Systems

IEEE Micro

Scheduling hardware/software systems using symbolic techniques

CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
A software synthesis tool for distributed embedded system design

Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes

SBCCI '05 Proceedings of the 18th annual symposium on Integrated circuits and system design

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software synthesis is a new approach which focuses on the support of embedded systems without the use of operating-systems. Compared to traditional design practices, a better utilization of the available time and hardware resources can be achieved with software synthesis, because the static information provided by the system specification is fully exploited and a application specific solution is automatically generated.In this paper on-going research on a software synthesis approach for real-time information processing systems is presented which starts from a concurrent process system specification and tries to automate the mapping of this description to a single processor. An internal representation model which is well suited for the support of concurrency and liming constraints is proposed, together with flexible execution models for multi-tasking with real-time constraints. The method is illustrated on a personal terminal receiver demodulator for mobile satellite communication.