System level modelling for hardware/software systems

Proceedings - 24th EUROMICRO Conference, EURMIC 1998

Volumn 1, Issue , 1998, Pages 154-161

  Voeten, J P M ^a   Van Der Putten, P H A ^a   Geilen, M C W ^a   Stevens, M P J ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; EMBEDDED SYSTEMS; HARDWARE; MODELING LANGUAGES; SEMANTICS; TOPOLOGY;

COMPLEX HARDWARE; HARDWARE/SOFTWARE SYSTEMS; MATHEMATICAL SEMANTICS; PERFORMANCE PARAMETERS; PROCESS ALGEBRAS; SPECIFICATION AND DESIGNS; SYSTEM-LEVEL LANGUAGE; SYSTEM-LEVEL MODELLING;

OBJECT ORIENTED PROGRAMMING;

EID: 33645678984     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.1998.711790     Document Type: Conference Paper

References (17)

1. P. V. der Putten and J. Voeten. Specification of Reactive Hardware/Sofiare Systems. PhD thesis, Department of Electrical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands, 1997.
2. D. Gajski, F. Vahid, S. Narayan, and J. Gong. Specijication andDesign ofEmbeddedSystems. Prentice-Hall, Englewood Cliffs, 1994.
3. M. Geilen. Real-Time Concepts for SoftwareiHardware Engineering. Master's thesis, Faculty of Electrical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands, 1996.
4. M. Geilen and J. Voeten. Real-Time Concepts for a Formal Specification Language for SoftwareiHardware Systems. In J. Veen, editor, Proceedings of ProRISC/IEEE'97. Utrecht : STR Technology Foundation, 1997.
5. J.P.M. Voeten, P.H.A. van der Putten, M.C. W. Geilen, H.P.E. Vranken and M.P.J. Stevens. System Level Description of Complex Hybrid Systems. Presentation at Barga System Level Design Workshop, Barga, Italy, July 8-10 1997. Proceedings of workshop are available on the web: http:llwww.ecsi.orglecsilecsi.html
6. S. Leue. Specifying Real-Time Requirements for SDL Specifications - A Temporal Logic-Based Approach. In P. Dembinski and M. Sredniawa, editors, Protocol Specification, Testing and Verijication XV, pages 19-34, London, 1997. Chapman & Hall.
7. R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, New Jersey, 1989.
8. R. Michielsen and J. Voeten, Implementation of POOSL in Hardware, in Proceedings of ProRISC/IEEE'97. Utrecht : STR Technology Foundation, J.P. Veen, Ed., 1991.
9. A. Moreira. Rigorous Object-OrientedAnalysis. PhD thesis, University of Stirling, Scotland, 1994.
10. K. Narfelt. SYSDAX : An Object Oriented Design Methodology Based on SDL. In R. Saracco and P. Tilanus, editors, Proceedings ofSDL'87: State of the Art and Future Trends, pages 247-254, Amsterdam, 1987. North-Holland.
11. P. van der Putten, J. Voeten, M. Geilen and M. Stevens. Multidisciplinary scenarios in hardwarelsoftware engineering, object-oriented co-specification of complex systems. In J. Veen, editor, Proceedings ofProRISUIEEE'97. Utrecht : STK Technology Foundation, 1997.
12. B. Selic, G. Gullekson, and P. Ward. Real-Time Object- Oriented Modeling. Wiley & Sons, New York, 1994.
13. A. Tanenbaum. Computer Networks 3rd ed. Prentice-Hall. Englewood Cliffs, 1996.
14. K. Turner. Using Formal Description Techniques. Wiley & Sons, Chichester, 1993.
15. P. van der Putten, J. Voeten, and M. Stevens. Object-Oriented CO-Design for Hardwareisoftware Systems. In M. Cavanaugh, editor, Proceedings of EUROMICR0'9.5, pages 71 8-726, Los Alamitos, Califomia, 1995. IEEE Computer Society Press.
16. J. Voeten, P. van der Putten, and M. Stevens, Behaviour- Preserving Transformations in SHE : A Formal Approach to Architecture Design, in Proceedings of EUROMICRO '96, P. Milligan and K. Kuchcinski, Eds., Los Alamitos, California, 1996, pp. 19-27, IEEE Computer Society Press.
17. J. Voeten, P. van der Putten, and M. Stevens. Systematic Development of Industrial Control Systems using SoftwarelHardware Engineering. In P. Milligan and P. Con, editors, Proceedings ofE UROMICRO '97, Short Contributions, pages 26-36, Los Alamitos, California, 1998. IEEE Computer Society Press.