Automatic SDL to Embedded C Code Generation Considering μC/OS-II OS Environment

Jeong-Gun Lee; 곽상훈

Journal of The Korea Society of Computer and Information

Abbr : JKSCI
2008, 13(3), pp.45-56
Publisher : The Korean Society Of Computer And Information
Research Area : Computer Science

Jeong-Gun Lee ¹ , 곽상훈 ²

¹ 한림대학교
² 서울대학교

ABSTRACT

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.
KEYWORDS

임베디드 시스템(embedded system) , 코드 자동 생성(Automatic Code Generation) , SDL (Specification and Description Language)
REFERENCES (17)

[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)

KJC Korea
Journal Central

Statistics

Tools