Advertisement

Specifying the remote controlling of valves in an explosion test environment

  • Martin Schönhoff
  • Mojgan Kowsari
Conference paper
Part of the Lecture Notes in Computer Science book series (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.

Keywords

Formal Method Object Class Test Stand Switching Operation Dynamic Dependency 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BH94]
    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. [BH95]
    J. P. Bowen and M. G. Hinchey. Seven more myths of formal methods. IEEE Software, 12(3):34–41, 1995.Google Scholar
  3. [Den95]
    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. [Den96]
    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. [DH97]
    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. [EH96]
    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. [Ehr96]
    H.-D. Ehrich. Object Specification. Informatik-Bericht 96-07, Technical University of Braunschweig, 1996.Google Scholar
  8. [EN 87a]
    CELENEC: Europäische Norm EN 50014. Elektrische Betriebsmittel für explosionsgeschützte Bereiche, Allgemeine Bestimmungen. VDE-Verlag, Berlin, Offenbach, 1987.Google Scholar
  9. [EN 87b]
    CELENEC: Europäische Norm EN 50018. Elektrische Betriebsmittel für explosionsgeschützte Bereiche, Druckfeste Kapselung “d”. VDE-Verlag, Berlin, Offenbach, 1987.Google Scholar
  10. [ES95]
    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. [FBGL94]
    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. [Gra97]
    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. [Har97]
    P. Hartel. Konzeptionelle Modellierung von Informationssystemen ads verteilte Objektsysteme. Reihe DISDBIS. infix-Verlag, Sankt Augustin, 1997.Google Scholar
  14. [HDK+97]
    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. [Hoh96]
    T. Hohnsbein. Objektorientierte Realisierung eines Mei3datenerfassungssystems für druckfeste Kapselung. Diploma thesis, Technical University of Braunschweig, 1996.Google Scholar
  16. [HS94]
    T. Hohnsbein and H. Schafiee. Reengineering des Programms DRUCKMESS in der PTB. Project work, Technical University of Braunschweig, 1994.Google Scholar
  17. [JWH+94]
    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. [KHDE96]
    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. [KKH+96]
    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. [KOw96]
    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. [ORW83]
    H. Olenik, H. Rentzsch, and W. Wettstein. Explosion Protection Manual. W. Girardet, Essen, 2nd revised edition, 1983.Google Scholar
  22. [RBH87]
    H. Rechenberg, J. Bortfeld, and W. Hauser. 100 Jahre Physikalisch-Technische Bundesanstalt 1887–1987. VCH Verlagsgesellschaft, Munich, 1987.Google Scholar
  23. [RBP+91]
    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. [Sch96a]
    H. Schafiee. Objektorientierte Realisierung der Benutzerschnittstellen eines Meßdatenbearbeitungssystems für druckfeste Kapselung. Diploma thesis, Technical University of Braunschweig, 1996.Google Scholar
  25. [Sch96b]
    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. [WJH+93]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Martin Schönhoff
    • 1
  • Mojgan Kowsari
    • 1
  1. 1.Technical University of Braunschweig, Computer Science, DatabasesBraunschweigGermany

Personalised recommendations