Lessons from the application of formal methods to the design of a storm surge barrier control system

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

Volumn 1709, Issue , 1999, Pages 1511-1526

  Chaudron, Michel ^a   Tretmans, Jan ^b   Wijbrans, Klaas ^a  

^a Division Advanced Technology   (Netherlands)

^b UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DEVELOPMENT PROCESS; FORMAL TECHNIQUES; MISSION CRITICAL SYSTEMS; STORM SURGES;

FORMAL METHODS;

EID: 2142703300     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_30     Document Type: Conference Paper

References (19)

1. G. Booch, J. Rumbaugh and I. Jacobsen. The Unified Modeling Language –User Guide. The Addison-Wesley Object Technology Series, Addison Wesley, 1998.
2. F. P. Brookes. The Mythical Man-Month: Essays on Software Engineering. Anniversary edition. Addison Wesley, 1995.
3. th European Intl. Conference on Software Testing, Analysis & Review, pages 215–229, Munich, Germany, November 30 – December 1, 1998.
4. C. A. R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.
5. D. J. Hatley and I.A. Pirbhai. Strategies for Real Time System Specification. Dorset House, 1987.
6. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
7. IEC (International Electrotechnical Commission), Functional Safety of Electrical/Electronic/Programmable Systems: Generic Aspects, IEC 1508, 1995. (Now: IEC 61508).
8. ISO, Information Processing Systems Open Systems Interconnection, LOTOS – A Formal Description Technique based on the Temporal Ordering of Observational Behaviour, International Standard IS8807, ISO, Geneva, 1989.
9. C. B. Jones, Systematic Software Development using VDM (2nd edition), Prentice Hall, 1990.
10. P. Kars, The Application of Promela and SPIN in the BOS Project, in J.-C. Grégoire, G. J. Holzmann and D. Peled (eds), The Second Workshop on the SPIN Verification System; Proceedings of a DIMACS workshop, August 5, 1996, volume 32 of DIMACS series in Discrete Mathematics and Theoretical Computer Science, pages 51-63. American Mathematical Society, 1997.
11. P. Kars, Formal Methods in the Design of a Storm Surge Barrier Control System. In: G. Rozenberg and F. W. Vaandrager (eds.) Lectures on Embedded Systems, pages 353–367, Lecture Notes in Computer Science 1494, Springer-Verlag, 1998.
12. M. C. Paulk et al., The Capability Maturity Model: Guidelines for Improving the Software Process, Addison-Wesley, 1994.
13. Dutch Ministry of Transport, Public Works and Water Management. URL: http://www.minvenw.nl/rws/dzh/svk/engels/index.html
14. Spin. On-the-fly, LTL Model Checking with Spin. URL: http://netlib.bell-labs.com/netlib/spin/whatispin.html
15. nd edition). Prentice-Hall, 1992.
16. J. Tretmans. Testing Concurrent Systems: A Formal Approach. In: J. Baeten and S. Mauw, Concur’99. Lecture Notes in Computer Science, Springer-Verlag, 1999.
17. K. C. J. Wijbrans, F. Buve and W. Geurts. Practical Experiences in the BOS Project. In: Proceedings of the Embedded Systems Symposium, May 19, 1998, Eindhoven University of Technology, Eindhoven, The Netherlands.
18. P.T. Ward and S.J. Mellor. Structured Development for Real Time Systems. Volume 1: Introduction & Tools. Yourdon Press Computing Series. Prentice Hall, 1985.
19. ZTC. Z Type Checker. URL: http://saturn.cs.depaul.edu/~fm/ztc.html