Hardware-software coverification of concurrent embedded real-time systems

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1999, Pages 216-223

  Hsiung, Pao Ann ^a  

^a INSTITUTE OF INFORMATION SCIENCE   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN ALTERNATIVES; EMBEDDED HARDWARE; EMBEDDED REAL TIME SYSTEMS; HARDWARE SOFTWARE CODESIGN; LINEAR HYBRID AUTOMATA; STATE-SPACE EXPLOSION; SUPPORT VALIDATIONS; SYSTEM SPECIFICATION;

AUTOMATA THEORY; HARDWARE; SPECIFICATIONS;

REAL TIME SYSTEMS;

EID: 60649114943     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMRTS.1999.777468     Document Type: Conference Paper

References (24)

1. M. Aiguier, J. Benzakki, G. Bernot, S. Beroff, D. Dupont, L. Freund, M. Israel, and F. Rousseau. ECOS: A generic codesign environment for the prototyping of real-time applications. In J.-M. Berge, O. Levia, and J. Rouillard, editors, Hardware/Software Co-Design and Co-Verification. Kluwer Academic Publishers, 1997.
2. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
3. R. Alur and D. Dill. Automata for modeling real-time systems. Theoretical Computer Science, 126(2):183-236, Apr. 1994.
4. S. Antoniazzi, A. Balboni, W. Fornaciari, and D. Sciuto. The role of VHDL within TOSCA co-design framework. In Procs. Euro-VHDL, Grenoble, France, Sept. 1994.
5. F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara. Hardware-Software Co-Design of Embedded Systems: The Polis Approach. Kluwer Academic Publishers, 1997.
6. F. Balarin, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli. Formal verification of embedded systems based on CFSM networks. In Proceedings of the Design Automation Conference, 1996.
7. J. Bengtsson, K. Larsen, F. Larsson, P. Petterson, Y. Wang, and C. Weise. New generation of UPPAAL. In Procs. of the International Workshop on Software Tools for Technology Transfer (STTT'98), July 1998.
8. K. Buchenrieder and C. Veith. CODES: A practical concurrent design environment. In Procs. International Workshop on Hardware-Software Co-Design, 1992.
9. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli. Synthesis of software programs from CFSM specifications. Technical Report UCB/ERL M94/87, U.C. Berkeley, 1994.
10. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli. Synthesis of software programs from CFSM specifications. In Proceedings of the Design Automation Conference, June 1995.
11. P. Chou, R. Ortega, and G. Borriello. The CHINOOK hardware-software co-synthesis system. In Procs. International Symposium on System Synthesis, 1995.
12. J. Daveau, G. Marchioro, T. Ben-Ismail, and A. Jerraya. COSMOS: An SDL based hardware/software codesign environment. In J.-M. Berge, O. Levia, and J. Rouillard, editors, Hardware/Software Co-Design and Co-Verification. Kluwer Academic Publishers, 1997.
13. R. Ernst, J. Henkel, and T. Benner. Hardware-software cosynthesis for micro-controllers. IEEE Design and Test of Computers, 10(4), Dec. 1993.
14. D. Gajski, F. Vahid, and S. Narayan. A design methodology for system specification refinement. In Procs. European Design Automation Conference, Feb. 1994.
15. R. Gupta and G. De Micheli. Hardware-software cosynthesis for digital systems. IEEE Design and Test of Computers, 10(3), Sept. 1993.
16. T. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: The next generation. In Procs. 16th Real-Time Systems Symposium, pages 56-65. IEEE Computer Society Press, 1995.
17. T. Henzinger, P.-H. Ho, and H. Wong-Toi. A user guide to HyTech. In Procs. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS, volume 1019, pages 41-71. Springer Verlag, 1995.
18. J. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley Publishing Company, 1979.
19. P.-A. Hsiung. CMAPS: A cosynthesis methodology for application-oriented parallel systems. ACM Trans. on Design Automation of Electronic Systems, 5(2), April 2000.
20. P.-A. Hsiung and F. Wang. A state-graph manipulator tool for real-time system specification and verification. In Proc. 5th. IEEE International Conference on Real-Time Computing Systems and Applications (RTCSA'98), Oct. 1998.
21. O. Kupferman and M. Vardi. On the complexity of branching modular model checking. In Procs. 6th International Conference on Concurrency Theory, LNCS, volume 962, Aug. 1995.
22. L. Sanchez, M. L. Lopez, N. Martinez, C. Carreras, J. Lopez, C. Delgado-Kloos, A. Royo, and P. Breuer. Co-design at work: The ethernet bridge case study. In J.-M. Berge, O. Levia, and J. Rouillard, editors, Hardware/Software Co-Design and Co-Verification. Kluwer Academic Publishers, 1997.
23. C. Vial and B. Rouzeyre. Hardware-software co-synthesis: Modelling and synthesis of interfaces using interpreted petri nets. In J.-M. Berge, O. Levia, and J. Rouillard, editors, Hardware/Software Co-Design and Co-Verification. Kluwer Academic Publishers, 1997.
24. F. Wang and P.-A. Hsiung. Automatic verification on the large. In Proc. 3rd IEEE High-Assurance Systems Engineering Symposium (HASE'98), pages 134-141, Nov. 1998.