Modeling and validating distributed embedded real-time systems with VDM++

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4085 LNCS, Issue , 2006, Pages 147-162

  Verhoef, Marcel ^a   Larsen, Peter Gorm ^b   Hooman, Jozef ^c  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b AARHUS UNIVERSITY   (Denmark)

^c EMBEDDED SYSTEMS INSTITUTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; PROBLEM SOLVING; REAL TIME SYSTEMS; SEMANTICS;

DISTRIBUTED HARDWARE; OPERATIONAL SEMANTICS; VIENNA DEVELOPMENT METHOD (VDM);

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33749388236     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11813040_11     Document Type: Conference Paper

References (14)

1. 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. (1999) 85-93
2. Hörl, J., Aichernig, B.K.: Validating Voice Communication Requirements using Lightweight Formal Methods. IEEE Software 13-3 (2000) 21-27
3. Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object-oriented Systems. Springer (2005)
4. Kurita, T., Oota, T., Nakatsugawa, Y.: Formal Specification of an IC for Cellular Phones. In: Proceedings of Software Symposium 2005, Software Engineering Association of Japan (2005) 73-80 (in Japanese)
5. Verhoef, M.: On the Use of VDM++ for Specifying Real-time Systems. Proc. First Overture Workshop (2005)
6. Andrews, D. J., Larsen, P. G., Hansen, B. S., Brunn, H., Plat, N., Toetenel, H., Dawes, J., Parkin, G. and others: Vienna Development Method - Specification Language - Part 1: Base Language. ISO/IEC 13817-1 (1996)
7. 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)
8. Larsen, P.G., Lassen, P.B.: An Executable Subset of Meta-IV with Loose Specification. In: VDM '91: Formal Software Development Methods, Springer LNCS 551 (1991) 604-618
9. Lano, K.: Logic Specification of Reactive and Real-time Systems. Journal of Logic and Computation 8-5 (1998) 679-711
10. Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System Architecture Evaluation Using Modular Performance Analysis - A Case Study. Software Tools for Technology Transfer, Springer (2006) (to appear)
11. Hendriks, M., Verhoef, M.: Timed Automata Based Analysis of Embedded System Architectures. In: Proc. WPDRTS'06. IEEE (2006)
12. Hooman, J., van der Zwaag, M.: A Semantics of Communicating Reactive Objects with Timing. Software Tools for Technology Transfer 8-2 Springer (2006) 97-112
13. Reggio, G., Astesiano, E., Choppy, C., Hussmann, H.: Analysing UML Active Classes and Associated Statecharts - a Lightweight Formal Approach. In: Fundamental Approaches to Software Engineering, Springer LNCS 1783 (2000) 127-146
14. Bennet, A., Field, A.J., Woodside, M.C.: Experimental Evaluation of the UML Profile for Schedulability, Performance and Time. In: UML2004 - The Unified Modeling Language, Springer LNCS 3273 (2004) 143-157