[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