Embedded Software for SoC - Grupo de Mecatrônica EESC/USP

68 Chapter 5
results with minimal overhead. Using a minimal number of system calls‚ the
model provides all key features found in any standard RTOS but not available
in current SLDLs. Based on this RTOS model‚ refinement of system
models to introduce dynamic scheduling is easy and can be done automatically.
Currently‚ the RTOS model is written in SpecC because of its simplicity.
However‚ the concepts can be applied to any SLDL (SystemC‚ Superlog) with
support for event handling and modeling of time.
Future work includes implementing the RTOS interface for a range of
custom and commercial RTOS targets‚ including the development of tools
for software synthesis from the architecture model down to target-specific
application code linked against the target RTOS libraries.
REFERENCES
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
QNX[online]. Available: http://www.qnx.com/.
VxWorks[online]. Available: http://www.vxworks.com/.
SpecC[online]. Available: http://www.specc.org/.
SystemC[online]. Available: http://www.systemc.org/.
G. C. Buttazzo. Hard Real-Time Computing Systems. Kluwer Academic Publishers‚ 1999.
J. Cortadella. “Task Generation and Compile Time Scheduling for Mixed Data-Control
Embedded Software.” In Proceedings of Design Automation Conference (DAC)‚ June 2000.
D. Desmet‚ D. Verkest‚ and H. De Man. “Operating System Based Software Generation
for System-on-Chip.” In Proceedings of Design Automation Conference (DAC)‚ June 2000.
R. Dömer‚ A. Gerstlauer‚ and D. D. Gajski. SpecC Language Reference Manual‚ Version
2.0. SpecC Technology Open Consortium‚ December 2002.
L. Gauthier‚ S. Yoo‚ and A. A. Jerraya. “Automatic Generation and Targeting of
Application-Specific Operating Systems and Embedded Systems Software.” IEEE
Transactions on CAD‚ November 2001.
A. Gerstlauer and D. D. Gajski. “System-Level Abstraction Semantics.” In Proceedings of
International Symposium on System Synthesis (ISSS)‚ October 2002.
A. Gerstlauer‚ R. Dömer‚ J. Peng‚ and D. D. Gajski. System Design: A Practical Guide
with SpecC. Kluwer Academic Publishers‚ 2001.
A. Gerstlauer‚ S. Zhao‚ D. D. Gajski‚ and A. Horak. “Design of a GSM Vocoder using
SpecC Methodology.” Technical Report ICS-TR-99-11‚ UC Irvine‚ February 1999.
T. Grötker‚ S. Liao‚ G. Martin‚ and S. Swan. System Design with SystemC. Kluwer Academic
Publishers‚ 2002.
D. Steppner‚ N. Rajan‚ and D. Hui. “Embedded Application Design Using a Real-Time OS.”
In Proceedings of Design Automation Conference (DAC)‚ June 1999.
H. Tomiyama‚ Y. Cao‚ and K. Murakami. “Modeling Fixed-Priority Preemptive Multi-Task
Systems in SpecC.” In Proceedings of Workshop on Synthesis and System Integration of
Mixed Technologies (SASIMI)‚ October 2001.
H. Yu‚ A. Gerstlauer‚ and D. D. Gajski. “RTOS Modeling in System Level Synthesis.”
Technical Report CECS-TR-02-25‚ UC Irvine‚ August 2002.