1. Hooman, J., Mulyar, N., Posta, L.: Coupling Simulink and UML models. In: Schnieder, B., Tarnai, G. (eds.) FORMS/FORMATS 2004, pp. 304–311 (2004)

   Google Scholar 

2. The Mathworks: Matlab/Simulink (2008),http://www.mathworks.com/

3. Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System architecture evaluation using modular performance analysis: a case study. International Journal of Software Tools for Technology Transfer (STTT) 8(6), 649–667 (2006)

   Article  Google Scholar 

4. Verhoef, M.: On the use of VDM++ for specifying real-time systems. In: Fitzgerald, J., Larsen, P.G., Plat, N. (eds.) Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, June 2006. CS-TR 969, pp. 26–43. School of Computing Science, Newcastle University (2006)

   Google Scholar 

5. Verhoef, M., Larsen, P.G., Hooman, J.: Modeling and validating distributed embedded real-time systems with VDM++. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 147–162. Springer, Heidelberg (2006)

   Chapter  Google Scholar 

6. Verhoef, M., Visser, P., Hooman, J., Broenink, J.: Co-simulation of distributed embedded real-time control systems. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp. 639–658. Springer, Heidelberg (2007)

   Chapter  Google Scholar 

7. Owre, S., Rushby, J., Shankar, N.: PVS: A prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS (LNAI), vol. 607, pp. 748–752. Springer, Heidelberg (1992)

   Google Scholar 

8. SRI International: PVS (2008),http://pvs.csl.sri.com/

9. Controllab Products: 20-sim (2008),http://www.20sim.com/

10. Reggio, G., Astesiano, E., Choppy, C., Hussmann, H.: Analysing UML active classes and associated statecharts - a lightweight formal approach. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol. 1783, pp. 127–146. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

11. Hooman, J., van der Zwaag, M.: A semantics of communicating reactive objects with timing. International Journal of Software Tools for Technology Transfer (STTT) 8(4), 97–112 (2006)

    Article  Google Scholar 

12. Bennet, A., Field, A.J., Woodside, M.C.: Experimental Evaluation of the UML Profile for Schedulability, Performance and Time. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 143–157. Springer, Heidelberg (2004)

    Google Scholar 

13. Nicolescu, G., Boucheneb, H., Gheorghe, L., Bouchhima, F.: Methodology for efficient design of continuous/discrete-events co-simulation tools. In: Anderson, J., Huntsinger, R. (eds.) High Level Simulation Languages and Applications - HLSLA. SCS, pp. 172–179 (2007)

    Google Scholar 

14. Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.: Formal definitions of simulation interfaces in a continuous/discrete co-simulation tool. In: Proc. IEEE Workshop on Rapid System Prototyping, pp. 186–192. IEEE Computer Society, Los Alamitos (2006)

    Google Scholar 

15. Andrews, D., Larsen, P., Hansen, B., Brunn, H., Plat, N., Toetenel, H., Dawes, J., Parkin, G., et al.: Vienna Development Method Specification Language Part 1: Base Language (1996); ISO/IEC 13817-1

    Google Scholar 

16. CSK Systems Corporation:VdmTools. (2008) Free tool support can be obtained fromhttp://www.vdmtools.jp/en/

17. van den Berg, M., Verhoef, M., Wigmans, M.: Formal Specification of an Auctioning System Using VDM++ and UML – an Industrial Usage Report. In: Fitzgerald, J., Larsen, P.G. (eds.) VDM in Practice – proceedings of the VDM workshop at FM 1999, pp. 85–93 (1999)

    Google Scholar 

18. Hörl, J., Aichernig, B.K.: Validating voice communication requirements using lightweight formal methods. IEEE Software 13-3, 21–27 (2000)

    Google Scholar 

19. Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object-oriented Systems. Springer, New York (2005),http://www.vdmbook.com

    MATH  Google Scholar 

20. Larsen, P.G., Lassen, P.B.: An Executable Subset of Meta-IV with Loose Specification. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol. 551, pp. 604–618. Springer, Heidelberg (1991)

    Google Scholar 

21. Mukherjee, P., Bousquet, F., Delabre, J., Paynter, S., Larsen, P.G.: Exploring Timing Properties Using VDM++ on an Industrial Application. In: Bicarregui, J., Fitzgerald, J. (eds.) The Second VDM Workshop (2000)

    Google Scholar 

22. Clarke, D., Johnsen, E.B., Owe, O.: Concurrent objects à la carte. In: Dams, D., Hannemann, U., Steffen, M. (eds.) de Roever Festschrift. LNCS, vol. 5930. Springer, Heidelberg (2010)

    Google Scholar 

23. Verhoef, M.: Modeling and Validating Distributed Embedded Real-Time Control Systems. PhD thesis, Radboud University Nijmegen, The Netherlands (2008)

    Google Scholar 

Download references