Automatic SDL to Embedded C Code Generation Considering μC/OS-II OS Environment
2008, 13(3), pp.45-56
Publisher : The Korean Society Of Computer And Information
Research Area : Computer Science
-
Due to the increasing complexity of embedded system design, automatic code generation of embedded software and hardware-software co-design methodologies are gaining great interest from industries and academia. Such an automatic design methodologies are always demanding a formal system specification languages for defining designer's idea clearly and precisely. In this paper, we propose automatic embedded C code generation from SDL (Specification and Description Language, ITU-T recommended the SDL as a standard system description language) with considering a real-time uC/OS-II operating system. Our automatic embedded C code generator is expected to provide a fast specification, verification and performance evaluation platform for embedded software designs.
-
[book] Daniel D. Gajski / 1994 / Specification and Design of Embedded System / Prentice Hall
[book] J. Staunstrup / 1997 / Hardware/Software Co-Design:Principles and Pracitce / Kluwer Academic Publishers
[book] J. Ellsberger / 1997 / SDL : Formal Object-oriented Language for Communication Systems / Prentice Hall
[book] / 1997 / Telelogic Tau 3.2 User's Manual / Telelogic AB
[confproc] N. E. Zergainoh / 1998 / Using SDL for Hardware/Software Co-Design of an ATM Network Interface Card / Proceedings of 1st Workshop of the SDL Forum Society on SDL and MSC
[confproc] G. F. Marchiroro / 1998 / Transformational partitioning for codeign / IEE proceeding of Computers and Digital Techniques : 181~195
[confproc] Y. Huang / 1994 / Using SDL in embedded systems design:a tool for generating real-time OS pSOS based embedded systems applications software / Proc. of the 11th IEEE Workshop on Real-Time Operating Systems and Software : 39~43
[confproc] F. Slomka / 2001 / Generating Mixed Hardware/Software Synthesis from SDL Specificatoins / Proceedings of the Ninth International Symposium on Hardware/Software Codesign : 116~121
[confproc] J. M. Alvarez / 2001 / Deriving hard real-time embedded systems implementations directly from SDL specifications / Proc. of the 9th International Symposium on Hardware/Software Codesign : 128~133
[confproc] J. M. Alvarez / 2000 / Schedulability Analysis in Real-Time Embedded Systems Specified in SDL / Proceedings of 25 IFAC/IFIP Workshop on Real-Time Programming / Elsevier : 125~131
[confproc] Jose Maria Alvarez / 1999 / An Analyzable Execution Model for SDL for Embedded Real-Time Systems / In proceedings of 24 IFAC/IFIP Workshop on Real-Time Programming / Elsevier : 117~123
[confproc] J. M. Daveau / 1997 / VHDL genrations from SDL specifications / Proceedings f the IFIP conference on Hardware Description Languages and their Applications : 192~201
[confproc] O. Bringmann / 1999 / Mixed Abstraction Level Hardware Synthesis from SDL for Rapid-Prototyping / Proceedings of IEEE International Workshop on Rapid System Prototyping : 114~119
[confproc] C. Drosos / 2001 / Real-Time Communication Protocol Development Using SDL for an Embedded System On Chip Based on ARM MicroController / 13th Euromicro Conference on Real-Time Systems : 89~94
[book] J. Ellsberger / 1997 / SDL:Formal Object-Oriented Language for Communicating Systems / Prentice Hall
[book] Jean J. Labrosse / 1999 / MicroC/OS-II:The Real-Time Kernel / R&D Books
[book] Jean J.Labrosse / 2000 / Embedded System Building Blocks / &D Books
-
KCI Citation (0)
188 Viewed
Print this page
Download PDF