Formal synthesis and code generation of embedded real-time software

Hardware/Software Codesign - Proceedings of the International Workshop

Volumn , Issue , 2001, Pages 208-213

  Hsiung, P A ^a  

^a NATIONAL CHUNG CHENG UNIVERSITY   (Taiwan)

Author keywords

Code generation; Embedded real time software; Petri Nets; Scheduling

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE; CONSTRAINT THEORY; DATA STORAGE EQUIPMENT; EMBEDDED SYSTEMS; LARGE SCALE SYSTEMS; PETRI NETS;

REAL-TIME SOFTWARE;

REAL TIME SYSTEMS;

EID: 0034821461     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/371636.371729     Document Type: Conference Paper

References (17)

1. A framework for scheduler synthesis
2. Software synthesis for complex reactive embedded systems
3. Hardware-software timing coverification of distributed embedded systems
4. Timing coverificafion of concurrent embedded real-time systems
5. CMAPS: A cosynthesis methodology for application-oriented parallel systems
6. Embedded software verification in hardware-software codesign
7. Hardware-software timing coverification of concurrent embedded real-time systems
8. Synthesis of parametric embedded real-time systems
9. POSE: A parallel object-oriented synthesis environment
10. Software synthesis of process-based concurrent programs
11. Scheduling algorithms for multiprogramming in a hard-real-time environment
12. On the synthesis of discrete controllers for timed systems
13. On the construction of submodule specifications and communication protocols
14. Recoverability of communication protocols - Implication of a theoretical study
15. Synthesis of embedded software using free-choice petri nets
16. Compositional software synthesis of communicating processes