Object-oriented modelling and specification using SHE

Computer Languages

Volumn 27, Issue 1-3, 2001, Pages 19-38

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

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Hardware software systems; Modelling and specification; Object orientation; System level languages

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; SEMANTICS;

SYSTEM-LEVEL LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 0035297948     PISSN: 00960551     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0096-0551(01)00014-5     Document Type: Article

References (25)

1. Voeten JPM, van der Putten PHA, Geilen MCW, Vranken HPE, Stevens MPJ. System level description of complex hybrid systems. Presentation at Barga System Level Design Workshop, Barga, Italy, July 8-10, 1997.
2. Gajski D, Vahid F, Narayan S, Gong J. Specification and design of embedded systems. Englewood Cliffs, NJ: Prentice-Hall, 1994.
3. van der Putten PHA, Voeten JPM. Specification of reactive hardware/software systems. Ph.D. thesis, Eindhoven University of Technology, Department of Electrical Engineering, 1997.
4. Selic B, Gullekson G, Ward P. Real-time object-oriented modeling. New York: Wiley, 1994.
5. van der Putten PHA, Voeten JPM, Stevens MPJ. Object-oriented co-design for hardware/software systems. In: Cavanaugh M, editor. Proceedings of Euromicro'95. Los Alamitos, CA: IEEE Computer Society Press, 1995. p. 718-26.
6. Geilen MCW. Real-time concepts for software/hardware engineering. Master's thesis, Faculty of Electrical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands, 1996.
7. Milner R. Communication and concurrency. Englewood Cliffs, NJ: Prentice-Hall, 1989.
8. Nicollin X, Sifakis J. An overview and synthesis on timed process algebras. In: Larsen K, Skou A, editors. Proceedings of the CAV'91 Third International Workshop Computer Aided Verification. Ålborg, Denmark, July 1991 (LNCS 575). Berlin: Springer, 1992. p. 376-98.
9. Geilen MCW, Voeten JPM. Real-time concepts for a formal specification language for software/hardware systems. Proceedings of ProRISC 1997. Utrecht: STW, Technology Foundation, 1997.
10. Turner K. Using formal description techniques. Chichester: Wiley, 1993.
11. Moreira A. Rigorous object-oriented analysis. Ph.D. thesis, University of Stirling, Scotland, 1994.
12. Narfelt K. SYSDAX: an object oriented design methodology based on SDL. In: Saracco R, Tilanus P, editors. Proceedings of SDL'87: State of the Art and Future Trends. Amsterdam: North-Holland, 1987. p. 247-54.
13. Leue S. Specifying real-time requirements for SDL specifications - a temporal logic-based approach. In: Dembiński P, Ś redniawa M, editors. Protocol specification, testing and verification XV. London: Chapman & Hall, 1997. p. 19-34.
14. Voeten JPM, van der Putten PHA, Stevens MPJ. Systematic development of industrial control systems using software/hardware engineering. In: Milligan P, Corr P, editors. Proceedings of EUROMICRO '97, Short Contributions. Los Alamitos, CA: IEEE Computer Society Press, 1998. p. 26-36.
15. van der Putten PHA, Voeten JPM, Geilen MCW, Stevens MPJ. Multidisciplinary scenarios in hardware/software engineering, object-oriented co-specification of complex systems. In: Veen J, editor. Proceedings of ProRISC/IEEE'97. Utrecht: STW, Technology Foundation, 1997.
16. Voeten JPM, Geilen MCW, van Bokhoven LJ, van der Putten PHA, Stevens MPJ. A probabilistic real-time calculus for performance evaluation. In: Horton G, Möller D, Rüde U, editors. Proceedings of the 11th European Simulation Symposium 1999, Erlangen, Germany. The Netherlands: Delft, 1999. SCS. p. 608-17.
17. Voeten JPM. Temporal rewards for performance evaluation. Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming, Geneva, Switzerland, Canada: Carleton Scientific, 2000. p. 511-22.
18. Geilen MCW, Dams DR, Voeten JPM. Applying verification methods to non-exhaustive verification of software/hardware systems. In: Veen J, editor. Proceedings of CSSP-98, Ninth Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing Mierlo, Netherlands, November 25-27, 1998, Utrecht, The Netherlands: STW, Technology Foundation, 1998. p. 177-83.
19. Canfield W, Emerson EA, Saha A. Checking formal specifications under simulation. Proceedings International Conference on Computer Design. VLSI in Computers and Processors. Los Alamitos, CA, USA: IEEE Computer Society Press, 1997. p. 455-60.
20. Schwiderski S, Hartmann T, Saake G. Monitoring temporal preconditions in a behaviour oriented object model. Technical Report Informatik Berichte 93-07, Technische Universitaet Braunschweig, November, 1993.
21. Geilen MCW. Non-exhaustive model-checking in component based systems. Journal of systems architecture: the EUROMICRO Journal, 2000, submitted for publication.
22. Geilen MCW, Dams DR. An on-the-Fly tableau construction for a real-time temporal logic. In: Joseph M, editor. Proceedings of the Sixth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT2000, 20-22 September 2000 Pune, India, Lecture Notes in Computer Science 1926. Berlin: Springer, 2000. p. 276-90.
23. van Bokhoven LJ, Voeten JPM, Geilen MCW. Software synthesis for system level design using process execution trees. Proceedings 25th Euromicro Conference, Milan, Italy, 1999. Los Alamitos, CA: IEEE Computer Society Press, 1999. p. 463-7.
24. Michielsen R, Voeten JPM. Implementation of POOSL in hardware. Proceedings of ProRISC'97. 1997.
25. Voeten JPM, van der Putten PHA, Stevens MPJ. Behaviour preserving transformations in SHE - a formal approach to architecture design. Proceedings of Euromicro'96. 1996.