Formal methods in 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 1494, Issue , 1998, Pages 353-367

  Kars, Pim ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS; DESIGN; FLOODS; FORMAL METHODS; MODELING LANGUAGES; STORMS;

COMMUNICATION INTERFACE; DESIGN AND IMPLEMENTATIONS; PROMELA; SPIN TOOL; STORM SURGES;

EMBEDDED SYSTEMS;

EID: 0003677224     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-65193-4_28     Document Type: Conference Paper

References (17)

1. Ricky W. Butler and George B. Finelli. The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Transactions on Software Engineering, 19(1):3-12, 1993.
2. Rosalind Barden, Susan Stepney, and David Cooper. Z m Practice. Prentice Hall, 1994.
3. Cap Gemini, Utrecht, The Netherlands. SDW — System Development Workbench, 1993.
4. Wouter Geurts. Validation of the BOS system. In A. G. Engels and L. M. G. Feijs, editors, Derde Landehjke Testdag, Technische Universiteit Eindhoven, The Netherlands, 1997.
5. Jean-Charles Grégoire, Gerard J. Holzmann, and Doron A. Peled, editors. The SPIN Verification System. Proc. of the Second Workshop on the Spin Verification System, volume 32 of DIM ACS Series m Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, 1997.
6. Les Hatton. SAFER C: Developing Software for High-Integrity and Safety-Critical Systems. McGraw-Hill, 1995.
7. Gerard J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, See also: http://netlib.bell-labs.com/netlib/spin/whatispin.html.
8. Gerard J. Holzmann. An analysis of bitstate hashing. In P. Dembiński and M. Sredniawa, editors, Proc. IFIP/WG6.1 Symp. on Protocol Specification, Testing and Verification: PSTV’95. Chapman and Hall, 1995.
9. Xiaoping Jia. ZTC: A Type Checker for Z Notation — User’s Guide, 1995. Available from ftp: //ise.cs.depaul.edu.
10. Pim Kars. The application of Promela and Spin in the BOS project. In Gregoire et al. [5], pages 51-63.
11. Siegfried Löffler and Ahmed Serhrouchni. Creating implementations from PROMELA models. In Gregoire et al. [5], pages 91-100.
12. Erich Mikk. Compilation of Z specifications into C for automatic test result evaluation. In Jonathan P. Bowen and Michael G. Hinchey, editors, ZUM’95, pages 167-180, 1995. LNCS 967, Springer.
13. John Nicholls, editor. Z Notation, 1995. Version 1.1 of the Draft Z Standard. See: http://www.comlab.ox.ac.uk/oucl/groups/zstandards/index.html.
14. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd edition, See also: http://www.comlab.ox.ac.uk/archive/z.html.
15. Mike Spivey. The /UZZ Manual, 1995. Included in the fuZZ distribution.
16. Jan Tretmans Test generation with inputs, Outputs and repetitive quiescence. Software—Concepts and Tools, 17:103-120, 1996.
17. K. C. J. Wijbrans. Practical experiences with formal methods in the BOS project. In Rom Langerak, editor, Proceedings of the Third Dutch Specification Day, University of Twente, The Netherlands, 1996.