Object-oriented modelling and specification using SHE

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. Gajski, 1994 van der Putten PHA, Voeten JPM. Specification of reactive hardware/software systems. Ph.D. thesis, Eindhoven University of Technology, Department of Electrical Engineering, 1997. Selic, 1994 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. Geilen MCW. Real-time concepts for software/hardware engineering. Master's thesis, Faculty of Electrical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands, 1996. Milner, 1989 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. 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. Turner, 1993 Moreira A. Rigorous object-oriented analysis. Ph.D. thesis, University of Stirling, Scotland, 1994. 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. 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. 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. van der Putten, 1997, Multidisciplinary scenarios in hardware/software engineering, object-oriented co-specification of complex systems. 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. 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. 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. 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. 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. Geilen MCW. Non-exhaustive model-checking in component based systems. Journal of systems architecture: the EUROMICRO Journal, 2000, submitted for publication. 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. 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. Michielsen R, Voeten JPM. Implementation of POOSL in hardware. Proceedings of ProRISC’97. 1997. Voeten JPM, van der Putten PHA, Stevens MPJ. Behaviour preserving transformations in SHE—a formal approach to architecture design. Proceedings of Euromicro’96. 1996.