Skip to main content
SpringerLink
Log in
Book cover

International Symposium of Formal Methods Europe

FME 1997: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods pp 201–220Cite as

Specifying the remote controlling of valves in an explosion test environment

  • Conference paper
  • First Online:

  • 238 Accesses

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

Abstract

We present parts of the specification of a program to remote control and monitor different devices, especially valves, in an explosion test environment. The program was developed within an industrial national project called CATC carried out in PTB, the German federal institute of weights and measures. The CATC information system supports various activities of different user groups that are responsible for testing and certifying explosion proof electrical equipment in PTB. Our approach is based on the formal object-oriented specification language Troll. We describe the advantages of the use of the formal method in our project.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. P. Bowen and M. G. Hinchey. Seven more myths of fomal methods: Dispelling industrial prejudices. In M. Naftalin, T. Denvir, and M. Bertrani, editors, FME'94: Industrial Benefit of Formal Methods, number 873 in LNCS, pages 105–117. Springer-Verlag, Berlin, 1994.

    Google Scholar 

  2. J. P. Bowen and M. G. Hinchey. Seven more myths of formal methods. IEEE Software, 12(3):34–41, 1995.

    Google Scholar 

  3. G. Denker. Transactions in object-oriented specifications. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, 10th Workshop ore Specification of Abstract Data Types, Joint with the 5th COMPASS Workshop; S. Margherita, Italy, number 906 in LNCS, pages 203–218. Springer-Verlag, Berlin, May 1995.

    Google Scholar 

  4. G. Denker. Semantic refinement of concurrent object systems based on serializability. In B. Freitag, C. B. Jones, C. Lengauer, and H.-J. Schek, editors, Object Orientation with Parallelism and Persistence, pages 105–126. Kluwer Academic Publ., 1996. ISBN 0-7923-9770-3.

    Google Scholar 

  5. G. Denker and P. Hartel. TROLL-an object-oriented formal method for distributed information systems design: Syntax and pragmatics. InformatikBericht 97-03, Technical University of Braunschweig, 1997.

    Google Scholar 

  6. H.-D. Ehrich and P. Hartel. Temporal specification of information systems. In A. Punch and H. Lin, editors, Logic and Software Engineering. World Scientific, 1996.

    Google Scholar 

  7. H.-D. Ehrich. Object Specification. Informatik-Bericht 96-07, Technical University of Braunschweig, 1996.

    Google Scholar 

  8. CELENEC: Europäische Norm EN 50014. Elektrische Betriebsmittel für explosionsgeschützte Bereiche, Allgemeine Bestimmungen. VDE-Verlag, Berlin, Offenbach, 1987.

    Google Scholar 

  9. CELENEC: Europäische Norm EN 50018. Elektrische Betriebsmittel für explosionsgeschützte Bereiche, Druckfeste Kapselung “d”. VDE-Verlag, Berlin, Offenbach, 1987.

    Google Scholar 

  10. H.-D. Ehrich and A. Sernadas. Local specification of distributed families of sequential objects. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types, Joint with the 5th COMPASS Workshop; S. Margherita, Italy, number 906 in LNCS, pages 219–235. Springer-Verlag, Berlin, May 1995.

    Google Scholar 

  11. J.S Fitzgerald, T.M Brookes, M.A Green, and P.G Larsen. First results in a comparative study. In M. Naftalin, T. Denvir, and M. Bertrani, editors, FME'94: Industrial Benefit of Formal Methods, number 873 in LNCS. Springer-Verlag, Berlin, 1994.

    Google Scholar 

  12. A. Grau. An Animation System for Validating Object-Oriented Conceptual Models. In J.P. Tolvanen and A. Winter, editors, 4th Doctoral Consorcium on Advanced Information Systems Engineering (CAiSE'97), Barcelona. Fachberichte Informatik 14/97, University Koblenz-Landau, June 1997.

    Google Scholar 

  13. P. Hartel. Konzeptionelle Modellierung von Informationssystemen ads verteilte Objektsysteme. Reihe DISDBIS. infix-Verlag, Sankt Augustin, 1997.

    Google Scholar 

  14. P. Hartel, G. Denker, M. Kowsari, M. Krone, and H.-D. Ehrich. Information systems modelling with TROLL formal methods at work. Information Systems, 22(2–3):79–99, 1997.

    Google Scholar 

  15. T. Hohnsbein. Objektorientierte Realisierung eines Mei3datenerfassungssystems für druckfeste Kapselung. Diploma thesis, Technical University of Braunschweig, 1996.

    Google Scholar 

  16. T. Hohnsbein and H. Schafiee. Reengineering des Programms DRUCKMESS in der PTB. Project work, Technical University of Braunschweig, 1994.

    Google Scholar 

  17. R. Jungclaus, R.J. Wieringa, P. Hartel, G. Saake, and T. Hartmann. Combining TROLL with the Object Modeling Technique. In B. Wolfinger, editor, Innovationen bei Rechen-und Kommunikationssystemen. GI-Fachgespräch FG 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software, Informatik aktuell, pages 35–42. Springer-Verlag, Berlin, 1994.

    Google Scholar 

  18. M. Kowsari, P. Hartel, G. Denker, and H.-D. Ehrich. A case study in information system design, the CATC system. FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, poster session, March 1996. Available on http://www.cs.tu-bs.de/idb/publications/pub_96.html.

    Google Scholar 

  19. M. Krone, M. Kowsari, P. Hartel, G. Denker, and H.-D. Ehrich. Developing an information system using TROLL — an application field study. In Conference on Advanced Information Systems Engineering (CAiSE'96), Crete, Greece, number 1080 in LNCS. Springer-Verlag, Berlin, 1996.

    Google Scholar 

  20. M. Kowsari. Formal object oriented specification language TROLL in information system design. In H.-M. Haav and B. Thalheim, editors, Doctoral Consortium of 2nd International Baltic Workshop on Databases and Information Systems, Tallinn, Estonia, 1996.

    Google Scholar 

  21. H. Olenik, H. Rentzsch, and W. Wettstein. Explosion Protection Manual. W. Girardet, Essen, 2nd revised edition, 1983.

    Google Scholar 

  22. H. Rechenberg, J. Bortfeld, and W. Hauser. 100 Jahre Physikalisch-Technische Bundesanstalt 1887–1987. VCH Verlagsgesellschaft, Munich, 1987.

    Google Scholar 

  23. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorenson. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, New Jersey, 1991.

    Google Scholar 

  24. H. Schafiee. Objektorientierte Realisierung der Benutzerschnittstellen eines Meßdatenbearbeitungssystems für druckfeste Kapselung. Diploma thesis, Technical University of Braunschweig, 1996.

    Google Scholar 

  25. M. Schönhoff. Objektorientierte Realisierung eines Steuerungs-und Überwachungssystems für Explosionsprüfstände. Diploma thesis, Technical University of Braunschweig, 1996. Available on http://www.ifi.nnizh.ch/-mschoen.

    Google Scholar 

  26. R. Wieringa, R. Jungclaus, P. Hartel,T. Hartmann, and G. Saake. omTroll — Object modeling in TROLL. In U.W. Lipeck and G. Koschorreck, editors, International Workshop on Information Systems — Correctness and Reusability (IS-CORE'93), Technical Report No. 0193, University of Hanover, pages 267–283, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technical University of Braunschweig, Computer Science, Databases, Postfach 3329, D-38023, Braunschweig, Germany

    Martin Schönhoff & Mojgan Kowsari

Authors
  1. Martin Schönhoff
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mojgan Kowsari
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

John Fitzgerald Cliff B. Jones Peter Lucas

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schönhoff, M., Kowsari, M. (1997). Specifying the remote controlling of valves in an explosion test environment. In: Fitzgerald, J., Jones, C.B., Lucas, P. (eds) FME '97: Industrial Applications and Strengthened Foundations of Formal Methods. FME 1997. Lecture Notes in Computer Science, vol 1313. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63533-5_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-63533-5_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-69593-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation