Peter van den Bosch Océ Technologies B.V. (2008)
Gerrit Muller, Marcel Verhoef, Oana Florescu
high-tech systems
Reusing Real-Time Systems Design Experience Through Modelling Patterns ∗ (2008)
Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the concepts of the POOSL...
Abstract. The authors are very often confronted with the general existing belief that formal methods are still a risky way to produce results in an industrial environment. Therefore, introduction of...
Formal specification of an auctioning system using VDM++ and UML (1999)
Selecting the proper method and tools for designing a real-time embedded and distributed application is a difficult job. Evaluation of practical experiences is probably the most important means to...
Added entries UNIVERSITY OF NEWCASTLE UPON TYNE (1020)
Z. Andrews, J. Fitzgerald, M. Verhoef, Zoe Andrews, John Fitzgerald, Marcel Verhoef, ...
We propose an approach to discrete event and continuous time co-simulation that permits the analysis of alternative fault-tolerance strategies in formal models of embedded systems at early design...