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

Hardware/Software Codesign - Proceedings of the International Workshop

Volumn , Issue , 2002, Pages 211-216

  Su, Feng Shi ^a   Hsiung, Pao Ann ^a  

^a NATIONAL CHUNG CHENG UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; PETRI NETS; SCHEDULING; SYSTEMS ANALYSIS;

CODE GENERATION; COMPLEX-CHOICE PETRI NETS; EXTENDED QUASI-STATIC SCHEDULING;

EMBEDDED SYSTEMS;

EID: 0036045888     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/774789.774832     Document Type: Conference Paper

References (14)

1. A framework for scheduler synthesis
2. Hardware-software timing coverification of distributed embedded systems
3. BASEMENT: A distributed real-time architecture for vehicle applications
4. Timing coverification of concurrent embedded real-time systems
5. Embedded software verification in hardware-software codesign
6. Hardware-software timing coverification of concurrent embedded real-time systems
7. Synthesis of parametric embedded real-time systems
8. Formal synthesis and code generation of embedded real-time software
9. Efficient compilation of process-based concurrent programs without run-time scheduling
10. Software synthesis of process-based concurrent programs
11. On the synthesis of discrete controllers for timed systems
12. On the construction of submodule specifications and communication protocols
13. Synthesis of embedded software using free-choice petri nets