Formal synthesis and code generation of real-time embedded software using time-extended quasi-static scheduling

Ninth Asia-Pacific Software Engineering Conference, 2002. ◽

10.1109/apsec.2002.1183009 ◽

2003 ◽

Cited By ~ 4

Author(s):

Pao-Ann Hsiung ◽

Trong-Yen Lee ◽

Feng-Shi Su

Keyword(s):

Real Time ◽

Code Generation ◽

Embedded Software ◽

Formal Synthesis ◽

Static Scheduling

Download Full-text

Extended quasi-static scheduling for formal synthesis and code generation of embedded software

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1109/codes.2002.1003627 ◽

2003 ◽

Author(s):

Feng-Shi Su ◽

Pao-Ann Hsiung

Keyword(s):

Code Generation ◽

Embedded Software ◽

Formal Synthesis ◽

Static Scheduling

Download Full-text

Extended quasi-static scheduling for formal synthesis and code generation of embedded software

Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627) ◽

10.1145/774789.774832 ◽

2002 ◽

Cited By ~ 11

Author(s):

Feng-Shi Su ◽

Pao-Ann Hsiung

Keyword(s):

Code Generation ◽

Embedded Software ◽

Formal Synthesis ◽

Static Scheduling

Download Full-text

Formal synthesis and code generation of embedded real-time software

Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571) ◽

10.1109/hsc.2001.924677 ◽

2002 ◽

Author(s):

Pao-Ann Hsiung

Keyword(s):

Real Time ◽

Code Generation ◽

Formal Synthesis

Download Full-text

Synthesis of real-time embedded software by timed quasi-static scheduling

16th International Conference on VLSI Design, 2003. Proceedings. ◽

10.1109/icvd.2003.1183196 ◽

2003 ◽

Author(s):

Pao-Ann Hsiung ◽

Feng-Shi Su

Keyword(s):

Real Time ◽

Embedded Software ◽

Static Scheduling

Download Full-text

Formal synthesis and code generation of embedded real-time software

Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571) ◽

10.1145/371636.371729 ◽

2001 ◽

Cited By ~ 19

Author(s):

Pao-Ann Hsiung

Keyword(s):

Real Time ◽

Code Generation ◽

Formal Synthesis

Download Full-text

Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets1 1This work was partially supported by research project grant NSC-90-2215-E-194-009 from the National Science Council, Taiwan, ROC.

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80474-2 ◽

2002 ◽

Vol 65 (6) ◽

pp. 140-159 ◽

Cited By ~ 2

Author(s):

Pao-Ann Hsiung ◽

Chuen-Hau Gau

Keyword(s):

Real Time ◽

Embedded Software ◽

Research Project ◽

Formal Synthesis ◽

Memory Scheduling ◽

National Science ◽

National Science Council

Download Full-text

Platform dependent code generation of real-time embedded software

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13 ◽

10.1145/2502524.2502565 ◽

2013 ◽

Author(s):

BaekGyu Kim ◽

Insup Lee ◽

Linh T. X. Phan ◽

Oleg Sokolsky

Keyword(s):

Real Time ◽

Code Generation ◽

Embedded Software

Download Full-text

Real-time C Code Generation in Ptolemy II for the Giotto Model of Computation

10.21236/ada538394 ◽

2009 ◽

Author(s):

Shanna-Shaye Forbes

Keyword(s):

Real Time ◽

Code Generation ◽

Model Of Computation

Download Full-text

Design Patterns Reuse for Real Time Embedded Software Development

2009 Sixth International Conference on Information Technology: New Generations ◽

10.1109/itng.2009.171 ◽

2009 ◽

Author(s):

Gabriel de Souza Pereira Moreira ◽

Denis Ávila Montini ◽

Daniela América da Silva ◽

Felipe Rafael Motta Cardoso ◽

Luiz Alberto Vieira Dias ◽

...

Keyword(s):

Software Development ◽

Real Time ◽

Design Patterns ◽

Embedded Software

Download Full-text

Predictable Parallel Real-time Code Generation

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)49034-3 ◽

1993 ◽

Vol 26 (2) ◽

pp. 701-704

Author(s):

M.R. Webster ◽

D.C. Levy ◽

R.G. Harley ◽

D.R. Woodward ◽

M. vd Westhuizen ◽

...

Keyword(s):

Real Time ◽

Code Generation ◽

Time Code

Download Full-text