Software synthesis for system level design using process execution trees

Conference Proceedings of the EUROMICRO

Volumn 1, Issue , 1999, Pages 463-467

  Van Bokhoven, L J ^a   Voeten, J P M ^a   Geilen, M C W ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC CODE GENERATIONS; CONCURRENT PROCESS; OBJECT-ORIENTED SPECIFICATIONS; OPERATIONAL SEMANTICS; REAL TIME OPERATING SYSTEM; REAL-TIME GARBAGE COLLECTION; SYSTEM LEVEL DESIGN; SYSTEM LEVEL DESIGN LANGUAGES;

ALGEBRA; COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; FORESTRY; INFORMATION SCIENCE; PRODUCT DESIGN; SYSTEMS ANALYSIS; VERIFICATION;

APPLICATION PROGRAMS;

EID: 84889047696     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.1999.794510     Document Type: Conference Paper

References (19)

1. J.A. Mañas, T. de Miguel, "From LOTOS to C", The Formal Description Technique LOTOS, p.79-84, ed. K.J. Turner,Elsevier Science Publishers B.V.(North Holland), 1989.
2. C. Lee, M. Potkonjak, W. Wolf, "System-Level Synthesis of Application Specific Systems using A Search and Generalized Force-Directed Heuristics", Proceedings 9th International Symposium On System Synthesis, p2-7, IEEE Comp. Soc. Press, Los Alamitos, CA, USA, 1996.
3. C. Groza, "An Experiment in Implementing Process Algebra Specifications in a Procedural Language", Workshop in computing, Algebra of Communication Processes, Utrecht, ed. A. Ponse, C. Verhoef, S.F.M. van Vlijmen, Springer Verlag, London, 1994.
4. F. Thoen, M. Cornero, G. Goossens, H. De Man, "Real-Time Multi-Tasking in Software Synthesis for Information Processing Systems", Proceedings of the Eighth International Symposium on System Synthesis, Sept. 13-15, Cannes, France, p.48-53, IEEE Computer Society Press, Los Alamitos, California, 1995.
5. P. Chou, G. Borriello, "Software Scheduling in Co-Synthesis of Reactive Real-Time Systems", Proc. DAC-94, June, 1994.
6. B. Lin, "Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling", Proceedings. Design, Automation and Test in Europe, p.211-217, IEEE Comput. Soc., Los Alamitos, CA, USA, 1998.
7. R. Gotzhein, J. Bredereke, W. Effelsberg, S. Fischer, T. Held, H. König, "Improving the efficiency of automated protocol implementation using Estelle", Computer Communications, Vol. 19, Iss. 14, p. 1226-1235, Elsevier Science B.V., 1996.
8. T. Braun, I. Chrisment, C. Diot, F. Gagnon, L. Gautier, "ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications", Proceedings of the Fifth IEEE International Symposium on High Performance Distributed Computing (HPDC-5), p.450-459, 1996.
9. V. Carchiolo, M. Malgeri, G. Mangioni, "An Approach to the Synthesis of HW and SW in Codesign", Proceedings of the Fifth International Workshop on Hardware/Software Codesign (CODES/CASHE'97), p.173-177, 1997.
10. S. Fischer, J. Wytrbowicz, S. Budkowski, "Hardware/ Software Co-Design of Communication Protocols", Proceedings of the 22nd EUROMICRO Conference Euromicro 96. Beyond 2000: Hardware and Software Design Strategies, p. 476-483, 1996.
11. X. Jia, S. Skevoulis, "Code Synthesis based on Object-Oriented Design models and Formal Specifications", Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (COMPSAC'98) p.393-398, 1998.
12. C. Passerone, R. Passerone, C. Sansoè, J. Martin, A. Sangiovanni-Vincentelli, R. McGeer, "Modeling Reactive Systems in Java", Proc. of the Sixth International Workshop on Hardware/Software Codesign, March 15-18, Seattle, Washington, USA CODES/CASHE '98, 1998.
13. Y. Li, M. Potkonjak, W. Wolf, "Real-Time Operating Systems for Embedded Computing", IEEE International Conference on Computer Design VLSI in Computers and Processors p. 388-392, 1997.
14. P.H.A. van der Putten, J.P.M. Voeten, "Specification of Reactive Hardware / Software Systems", Ph.D. thesis, Department of Electrical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands, 1997.
15. R. Milner, "A Calculus of Communicating Systems", Lecture notes in Computer Science 92. Springer-Verlag, Berlin, 1980.
16. R. Milner, "Communication and Concurrency", Prentice-Hall, Englewood Cliffs, New Jersey, 1989.
17. P.R. Wilson, "Uniprocessor Garbage Collection Techniques", Proceedings Memory Management. International Workshop IWMM 92. St. Malo, France. 17-19 Sept. 1992. Ed. by Y.Bekkers and J.Cohen. Berlin, Germany: Springer-Verlag, 1992, pp.1-42. http://docs.dcs.napier.ac.uk/DOCS/GET/ wilson96a/document.html.
18. L.J. van Bokhoven, J.P.M. Voeten, M.C.W. Geilen, "Realtime Simulation Using Process Execution Trees", Proc. CSSP-98, 9th Annual ProRisc/IEEE Workshop on Circuits, Systems and Signal Processing, Mierlo, Netherlands, 26-27 November 1998, ed. J.P. Veen, STW, Technology Foundation, Utrecht, Netherlands, ISBN: 90-73461-15-4.
19. M.C.W. Geilen, "Real-time Concepts for Software/ Hardware Engineering", Master's thesis, Eindhoven University of Technology, Departement of Electrical Engineering, Eindhoven, 1996.