Formal verification of embedded real-time software in component-based application frameworks

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 2001, Pages 71-78

  Hsiung, Pao Ann ^a   See, Win Bin ^a   Lee, Trong Yen ^a   Fu, Jih Ming ^a   Chen, Sao Jie ^a  

^a NATIONAL CHUNG CHENG UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER SIMULATION; EMBEDDED SYSTEMS; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS;

AUTONOMOUS TIMED OBJECT; AUTONOMOUS TIMED PROCESS; COMPONENT BASED OBJECT ORIENTED APPLICATION FRAMEWORK; FORMAL OBJECT ORIENTED MODEL; MODEL CHECKING; SOFTWARE FORMAL VERIFICATION; STATE SPACE REDUCTION TECHNIQUE;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0035694088     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. A framework for scheduler synthesis
2. Modeling checking for real-time systems
3. A theory of timed automata
4. Controller synthesis for timed automata
5. Software synthesis for complex reactive embedded systems
6. Hardware-software co-design of embedded systems: The POLIS approach
7. Hardware-software timing coverification of distributed embedded systems
8. BASEMENT: A distributed real-time architecture for vehicle applications
9. Symbolic model checking for real-time systems
10. RTFrame: An object-oriented application framework for real-time applications
11. Timing coverification of concurrent embedded real-time systems
12. Embedded software verification in hardware-software codesign
13. Hardware-software timing coverification of concurrent embedded real-time systems
14. Formal synthesis and code generation of embedded real-time software
15. Formal synthesis and control of soft embedded real-time systems
16. Verifiable embedded real-time application framework
17. A state-graph manipulator tool for real-time system specification and verification
18. User-friendly verification
19. APIs for real-time distributed object programming
20. An object-oriented real-time framework and development environment
21. Software synthesis of process-based concurrent programs
22. On the construction of submodule specifications and communication protocols
23. High-level reuse in the design of an object-oriented real-time system framework
24. Object-oriented real-time system framework
25. Synthesis of embedded software using free-choice petri nets
26. Design of dynamically reconfigurable real-time software using port-based objects
27. Efficient and user-friendly verification
28. Automatic verification on the large