Download:
|
by Filip Thoen, Gert Goossens, Jan Van, Der Steen, Hugo De Man
http://www.imec.be/vsdm/projects/sw_synthesis/../../ftp/pub/sw_synthesis/SASIMI96.ps
Add To MetaCart
Abstract:
Abstract--- Software synthesis is a new approachwhich focuses on the support of real-time embedded software systems without the use of operating-systems. Our software synthesis methodology starts from a concurrent process system specification and tries to automate the mapping of this description onto a single processor. The internal system-level model which captures the embedded software and which is the backbone of our software synthesis methodology, is presented. The model is suited for the encapsulation of fine-grain behavior, support of multiple threads of control (concurrency), synchronization, data communication, hierarchy and timing constraints. Additionally, it is shown how the model is used to address the software scheduling sub-task within our software synthesis methodology. I.
Citations
|
994
|
Petri nets: Properties, analysis and applications
– Murata
- 1989
|
|
196
|
J.Gong, Specification and design of embedded systems
– Gajski, Narayan
- 1994
|
|
110
|
Co-Synthesis of Hardware and Software for Digital Embedded Systems
– Gupta
- 1995
|
|
47
|
Boriello: Software Scheduling in the Co-Synthesis of Reactive Real-Time
– Chou, G
- 1994
|
|
43
|
CHESS: Retargetable Code Generation for Embedded DSP Processors. chapter 5
– Lanneer, Praet, et al.
|
|
29
|
The Concurrent C Programming Language
– Gehani, Roome
- 1989
|
|
6
|
Design Models and Data-Path Mapping for Signal Processing Architectures
– Lanneer
- 1993
|
|
5
|
et al., "Hardware-software co-design of embedded systems
– Chiodo
- 1994
|
|
2
|
et al.,"A Survey of Real-Time Operating Systems
– Ghosh
- 1994
|
|
1
|
et al.,"The synchronousapproach to reactive and real-time systems
– Benveniste
- 1991
|
|
1
|
et al., "Software synthesis for real-time information processing systems
– Cornero
- 1995
|
|
1
|
et al., "Internal representation of system behavior for software synthesis from VHDL," CHIPS project (ESPRIT-BRA9138) deliverable DC3
– Cuaratelli
- 1995
|
|
1
|
et al., "Programmable chips in consumer electronics and telecommunications - architectures and design technology
– Goosens
- 1996
|
|
1
|
et al. "Relative scheduling under timing constraints
– Ku
- 1990
|
|
1
|
et al.,"Real-time multi-tasking in software synthesis for information processing systems
– Thoen
- 1995
|
