Skip to main content
SpringerLink
Log in

Overview over the Project Quest

  • Conference paper
Applied Formal Methods — FM-Trends 98 (FM-Trends 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1641))

Included in the following conference series:

Abstract

The software development project Quest provides tools to build correct software, especially for embedded systems. It connects the CASE-tool AutoFocus to the formal development tool VSE II, and the model checker SMV. To increase quality of non-formally developed programs a test environment is realized, containing a connection to the test-case classification tool CTE.

Proving the correctness of the emergency closing system of a storm surge barrier is a running example within the project Quest.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BDD+92]_M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, and R. Weber. The design of distributed systems-an introduction to FOCUS. Technical Report TUM-I9203, Technische Universität München, Januar 1992.

    Google Scholar 

  2. M. Broy and O. Slotosch. Enriching the Software Development Process by Formal Methods. 1999. this volume.

    Google Scholar 

  3. M. Grochtmann, J. Wegner, and K. Grimm. Test Case Design Using Classification Trees and the Classification-Tree Editor. In Proceedings of 8th International Quality Week, San Francisco, pages Paper 4-A-4, May 30–June 2 1995.

    Google Scholar 

  4. [HLS+96]_D. Hutter, B. Langenstein, C. Sengler, J. Siekmann, W. Stephan, and A. Wolpers. Deduction in the Verification Support Environment(VSE). In Marie-Claude Gaudel and James Woodcock, editors, Proceedings Formal Methods Europe 1996: Industrial Benefits and Advances in Formal Methods. Springer-Verlag, 1996.

    Google Scholar 

  5. [HMR+98]_F. Huber, S. Molterer, A. Rausch, B. Schätz, M. Sihling, and O. Slotosch. Tool supported Specification and Simulation of Distributed Systems. In B. Krämer, N. Uchihira, P. Croll, and S. Russo, editors, Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, pp. 155–164, ISBN 0-8186-8467-4, pages 155–164. IEEE Computer Society, Los Alamitos, California, 1998.

    Chapter  Google Scholar 

  6. [HMS+98]_F. Huber, S. Molterer, B. Schätz, O. Slotosch, and A. Vilbig. Traffic Lights-An AutoFocus Case Study. In 1998 International Conference on Application of Concurrency to System Design, pages 282–294. IEEE Computer Society, 1998.

    Google Scholar 

  7. K.L. McMillan. The SMV system, Symbolic Model Checking-an approach. Technical Report CMU-CS-92-131, Carnegie Mellon University, 1992.

    Google Scholar 

  8. G. Rock, W. Stephan, and A. Wolpers. Tool Support for the Compositional Development of Distributed Systems. In Proc. Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch. GMD-Studien Nr. 315, ISBN: 3-88457-514-2, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, 80290, München, Germany

    Oscar Slotosch

Authors
  1. Oscar Slotosch
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. German Research Center for Artificial Intelligence (DFKI GmbH), Stuhlsatzenhausweg 3, D-66123, Saarbrücken, Germany

    Dieter Hutter  & Werner Stephan  & 

  2. Centro per la ricerca scientifica e tecnologica, ITC-irst, via Sommarive, 18, I-38050, Povo (Trento), Italy

    Paolo Traverso

  3. Bundesamt für Sicherheit in der Informationstechnik (BSI), Godesberger Allee 183, D-53175, Bonn, Germany

    Markus Ullmann

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Slotosch, O. (1999). Overview over the Project Quest. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds) Applied Formal Methods — FM-Trends 98. FM-Trends 1998. Lecture Notes in Computer Science, vol 1641. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48257-1_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-48257-1_25

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66462-8

  • Online ISBN: 978-3-540-48257-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation