Behaviour-Preserving Transformations in SHE A Formal Approach to Architecture Design

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1996, Pages 19-27

  Voeten, J P M ^a   van der Putten, P H A ^a   Stevens, M P J ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; OBJECT ORIENTED PROGRAMMING; SPECIFICATION LANGUAGES;

ANALYSIS METHOD; ARCHITECTURE DESIGNS; FORMAL APPROACH; HARDWARE ENGINEERING; OBJECT-ORIENTED ANALYSIS; OBJECT-ORIENTED DESIGN; OBJECT-ORIENTED SPECIFICATIONS; SOFTWARE/HARDWARE; SPECIFICATION AND DESIGNS; SYSTEMS STRUCTURE;

DESIGN;

EID: 33746809764     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.1996.546361     Document Type: Conference Paper

References (25)

1. A.J. Ten Berg and T. Krol. Formal transformational design of hardware architectures. In M.E. Kavanaugh (ed), Proceedings of Euromicro’95. Los Alamitos: IEEE Computer Society Press, 1995, pp. 110–117.
2. T. Bolognesi. Catalogue of LOTOS correctness-preserving transformations. Technical report, LotoSphere Task 1.2 deliverable Lo/WP1/T1.2/ N0045/V03, 1992.
3. E. Brinksma, G. Scollo, and C. Steenbergen. LOTOS specifications, their implementations and their tests. In G. Van Bochmann and B. Sarikaya (eds), Proceedings of IFIP 6.1. Amsterdam: North-Holland, 1987, pp. 349–360.
4. R. Campasano. Behaviour-preserving transformations for high-level synthesis. In M. Leeser and G. Brown (eds), Proceedings of the Mathematical Sciences Institute Workshop. Berlin: Springer, 1989, pp. 106–128.
5. M.S. Feather. A survey and classification of some program transformation approaches and techniques. In L.G.L.T. Meertens (ed), Proceedings of IFIP TC2 Working Conference on Program Specification and Transformation. Amsterdam: North-Holland, 1987, pp. 165–196.
6. D. Gajski and F. Vahid. Specification and design of embedded hardware-software systems. IEEE Design and Test of Computers, Vol. 12, no. 1, 1995, pp. 53–67.
7. A. Goldberg and D. Robson. Smalltalk-80: The Language. Reading, Massachusetts: Addison-Wesley, 1989.
8. M. Hennessy and G.D. Plotkin. Full Abstraction for a simple Parallel Programming Language. In J. Becvar (ed), Proceedings of MFCS’79. LNCS 74, 1979, pp. 108–120.
9. C.A.R. Hoare. Communicating Sequential Processes. Englewood Cliffs: Prentice-Hall, 1985.
10. B. Meyer. Object-oriented Software Construction. Engewood Cliffs: Prentice-Hall, 1988.
11. A.J.R.G. Milner. Calculi for Synchrony and Asynchrony. Journal of Theoretical Computer Science, Vol. 25, 1983, pp.267–310.
12. R. Milner. A Calculus of Communicating Systems. LNCS 92. Berlin: Springer, 1980.
13. R. Milner. Communication and Concurrency. Englewood Cliffs: Prentice-Hall, 1989.
14. D.M.R. Park. Concurrency and Automata on Infinite Sequences. LNCS 104. Berlin: Springer, 1981.
15. L. Ferreira Pires. The LotoSphere methodology - I: Basic concepts. Technical report, LotoSphere, Task 1.1 Deliverable Lo/WP1/T1.1/N0045/V03, 1992.
16. K. O’Brien T. Ismail and A.A. Jerraya. Interactive system-level partitioning with PARTIF. In Proceedings of the European Design Automation Conference. Brussels: IEEE Computer Society Press, 1994, pp. 464–468.
17. P.H.A. Putten van der, J.P.M. Voeten and M.P.J. Stevens. Object-oriented co-design for hardware/software systems. In M.E. Kavanaugh (ed), Proceedings of Euromicro’95. Los Alamitos: IEEE Computer Society Press, 1995, pp. 718–726.
18. A.C. Verschueren. An Object-Oriented Modelling Technique for Analysis and Design of Complex (Real-Time) Systems. PhD thesis. Eindhoven: Eindhoven University of Technology, 1992.
19. J.P.M. Voeten. POOSL: A Parallel Object-Oriented Specification Language. In P.H. Hartel (ed), Proceedings of the Eight Workshop Computer Systems, Amsterdam: University of Amsterdam, 1994, pp. 25–45.
20. J.P.M. Voeten. Behaviour-Preserving Transformations in the SHEmethod: A Formal Approach to Architecture Design.Will be published as technical report. Eindhoven: Eindhoven University of Technology.
21. J.P.M. Voeten. POOSL: An object-oriented language for the analysis and design of hardware/software Systems. Technical report. Eindhoven: Eindhoven University of Technology, 1995.
22. J.P.M. Voeten. Semantics of POOSL: An Object-Oriented Specification Language for the Analysis and Design of Hardware/Software Systems. Technical report. Eindhoven: Eindhoven University of Technology 1995.
23. D.J. Walker. Bisimulations and divergence. In Proceedings of the 3th Annual Symposium on Logic in Computer Science. Washington: Computer Society Press, Washington, 1988, pp. 186–192.
24. R. Walker and D. Thomas. Behavioural transformations for algorithmic level IC design. IEEE Transactions on Computer-Aided Design, Vol.8, No.10, 1989, pp. 1115–1128.
25. E. Yourdon. Modern Structured Analysis. London: Prentice Hall, 1989.