Hard ware-software timing co-verification of distributed embedded systems

IEICE Transactions on Information and Systems

Volumn E83-D, Issue 9, 2000, Pages 1731-1740

  Jih Ming, F U ^a   Lee Trong Yen, ^a   Hsiung, Pao Ann ^b   Chen, Sao Jie ^b  

^a NATIONAL TAIWAN UNIVERSITY   (Taiwan)

^b INSTITUTE OF INFORMATION SCIENCE   (Taiwan)

Author keywords

Coverification; Distributed embedded systems; Hard deadline; Hardware software codesign; Linear hybrid automata

Indexed keywords

COVERIFICATION METHOD; HARDWARE-SOFTWARE CODESIGN;

ALGORITHMS; AUTOMATA THEORY; COMPUTER HARDWARE; COMPUTER SOFTWARE; CONSTRAINT THEORY; DISTRIBUTED COMPUTER SYSTEMS;

EMBEDDED SYSTEMS;

EID: 0034272095     PISSN: 09168532     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (25)

1. G. De Micheli and R. Gupta, Hardware/software codesign, Proc. IEEE, vol.85, no.3, pp.349-365, March 1997.
2. T. Isniail and A. Jerraya, Synthesis steps and design models for codcsign, IEEE Computer, no.2, pp.44-52, Feb. 1995.
3. S. Antoniazzi, A. Balboni, \V. Fornaciari, and D. Sciuto, The role of VHDL within TOSCA co-design framework, Proc. Euro-VHDL, pp.C12-617, Sept. 1994.
4. M. Aiguier, J. Benzakki, G. Bernot, S. Berofe, D. Dupont, L. Freund, M. Israel, and F. Rousseau, EGOS: A generic codesign environment for the prototyping of real-time applications, in Hardware/Software Co-Design and CoVerification, eds. J.-M. Berge, O. Levia, and J. Rouillard, Kluwer Academic Publishers, 1997.
5. J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy: A framework for simulating and prototyping heterogeneous systems, International Journal of Computer Simulation, Special Issue on Simulation Software Development, vol.4, pp.155-182, 1994.
6. R. Gupta and G. De Micheli, Hardware-software cosynthesis for digital systems, IEEE Design and Test of Computers, vol.10, no.3, pp.29-11, Sept. 1993.
7. R. Ernst, J. Henkel, and T. Benner, Hardware-software cosynthesis for micro-controllers, IEEE Design and Test of Computers, vol.10, no.4, pp.64-75, Dec. 1993.
8. K. Buchcnrieder and C. Yeith, ''CODES: A practical concurrent design environment, Proc. International Workshop on Hardware-Software Co-Design, pp. 12-13, 1992.
9. K. Van Rompaey, D. Vcrkcst, I. Bolsens, and H. Do Man, CoWare -A design environment for heterogeneous hardware/software systems, Proc. Zuropcan Design Automation Conference, pp.252-257, 1996.
10. R. Alur, C. Courcoubetis, N. Halbwachs, T. Hcnzingcr, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, pp.3-34, 1995.
11. T. Henzinger, P.-H. Ho, and H. Wong-Toi A user guide to HyTech, Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNGS, vol.1019, pp.41-71, Springer Verlag, 1995.
12. W. Wolf, Hardware-software codesign of embedded systems, Proc. IEEE, vol.82, no.7, pp.967-989, July 1994.
13. T.-Y. Yen and W. Wolf, Hardware-software co-synthesis of distributed embedded systems, Kluwcr Academic Publishers, The Netherlands, 1996.
14. C. J. Hou and K. G. Shin, Allocation of periodic task modules with precedence and deadline constraints in distributed real-time system, Proc. Real-Time Systems Symposium, pp.146-155, 1992.
15. K. Ramamritham, Allocation and scheduling of complex periodic tasks, Proc. International Conference on distributed Computing Systems, pp.108-115, 1990.
16. D.-T. Peng and K. G. Shin, Static allocation of periodic tasks with precedence constraints in distributed real-time systems, Proc. International Conference on Distributed Computing Systems, pp.190-198, 1989.
17. S. Prakash and A. C. Parker, SOS: Synthesis of application-specific heterogeneous multiprocessor systems, Journal of Parallel and Distributed Computing, vol.16, pp.338-351, 1992
18. T.-Y. Yen and W. Wolf, Sensitivity-driven co-synthesis of distributed embedded systems, Proc. 8th International Symposium on System Synthesis, pp.4-9, 1995.
19. T.-Y. Yen and W. Wolf, Communication synthesis for distributed embedded systems, Proc. IEEE International Conference on Computer Design, pp.288-294, 1995
20. B.P. Dave, G. Lakshminarayana, and N.K. Jha, COSYN: Hardware-software co-synthesis of heterogeneous distributed embedded systems, IEEE Trans. VLSI Systems, vol.7, no.l, pp.92-104, March 1999.
21. J. G. D'Ambrosio and X. Hu, Configuration-level hardware/software partitioning for real-time embedded systems, Proc. International Whokshop Hardware-Software Co-Design, pp.34-41, Sept. 1994.
22. D. Kirovski and M. Potkonjak, System-level synthesis of low-power hard real-time systems, Proc. Design Automation Conference, pp.697-702, June 1997.
23. P.-A. Hsiung, Timing coverification of concurrent embedded real-time systems, Proc. 7th IEEE/ACM International Workshop on Hardware/Software Co-Design, pp. 110-114, ACM Press, New York, USA, May 1999.
24. J.-M. Fu and S.-J. Chen, Hardware-software coverification of distributed embedded systems, Proc. International Conference on Parallel and Distributed Processing Techniques and Applications, vol.G, pp.2995-3001, June 1999.
25. T. Henzinger, P.-H. Ho, and H. Wong-Toi HyTech: The next generation, Proc. 16th Real-Time Systems Symposium, IEEE Computer Society Press, pp.56-65, 1995.