The UniForM workbench, A universal development environment for formal methods

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

Volumn 1709, Issue , 1999, Pages 1186-1205

  Krieg Brückner, Bernd ^a   Peleska, Jan ^a   Olderog, Ernst Rüdiger ^b   Baer, Alexander ^c  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITY OF OLDENBURG   (Germany)

^c INSY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

REAL TIME SYSTEMS;

DEVELOPMENT ENVIRONMENT; INDUSTRIAL CASE STUDY; LOGICAL FOUNDATIONS; REACTIVE SYSTEM; REAL TIME;

FORMAL METHODS;

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

References (32)

1. Amthor, P., Dick, S.: Test eines Bordcomputers für ein dezentrales Zugsteuerungssystem unter Verwendung des Werkzeuges VVT-RT. 7. Kolloquium Software-Entwicklung Methoden, Werkzeuge, Erfahrungen: Mächtigkeit der Software und ihre Beherrschung, Technische Akademie Esslingen (1997).
2. Astesiano, E., Cerioli, M.: Multiparadigm Specification Languages: a First Attempt at Foundations, In: C.M.D.J. Andrews and J.F. Groote (eds.), Semantics of Specification Languages (SoSl’93), Workshops in Computing, Springer (1994) 168-185.
3. Blank Purper, C., Westmeier, S.: A Graphical Development Process Assistant for Formal Methods. In: Proc. VISUAL’98 (short papers), at ETAPS’98, Lisbon (1998). http://www.tzi.de/~uniform/gdpa
4. Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL -- a tool suite for automatic verification of real-time systems. Proc. 4th DIMACS Workshop: Verification and Control of Hybrid Systems. New Brunswick, New Jersey, 1995.
5. Buth, B., Kouvaras, M., Peleska, J., Shi, H.: Deadlock Analysis for a Fault-Tolerant System. In Johnson, M. (ed.): Algebraic Methodology and Software Technology, AMAST'97. LNCS 1349. Springer (1997) 60-75.
6. Buth, B., Peleska, J., Shi, H.: Combining Methods for the Livelock Analysis of a Fault-Tolerant System. In Haeberer, A.M. (ed.): Algebraic Methodology and Software Technology, AMAST'98. LNCS 1548. Springer (1999) 124-139.
7. Cerioli, M., Haxthausen, A., Krieg-Brückner, B., Mossakowski, T.: Permissive Subsorted Partial Logic in CASL. In Johnson, M. (ed.): Algebraic Methodology and Software Technology, AMAST 97, LNCS 1349, Springer (1997) 91-107.
8. CoFI: The Common Framework Initiative for Algebraic Specification and Development. http://www.brics.dk/Projects/CoFI
9. Diaconescu, R.: Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages. J. Applied Categorical Structures 6 (1998) 427-453.
10. Dierks, H.: PLC-Automata: A New Class of Implementable Real-Time Automata. Proc. ARTS'97, LNCS 1231, Springer (1997) 111-125.
11. Dierks, H., Tapken, J.: Tool-Supported Hierarchical Design of Distributed Real-Time Systems. Euromicro Workshop on Real Time Systems, IEEE (1998) 222-229.
12. Dawsa, C., Olivero, A., Tripakis, S., Yovine, S.: The tool KRONOS. In: R. Alur, T.A. Henzinger, E.D. Sontag (Eds.): Hybrids Systems III – Verfication and Control. LNCS 1066, Springer, (1996).
13. Formal Systems Ltd.: Failures Divergence Refinement. User Manual and Tutorial Version 2.0. Formal Systems (Europe) Ltd. (1996).
14. Fischer, C.: CSP-OZ: A Combination of Object-Z and CSP. In H. Bowmann, J. Derrick (eds.): Formal Methods for Open Object-Based Distributed Systems, FMOODS `97, volume 2, Chapmann & Hall (1997) 423-438.
15. He, J., Hoare, C.A.R., Fränzle, M., Müller-Olm, M., Olderog, E.-R., Schenke, M., Hansen, M.R., Ravn, A.P., Rischel, H.: Provably Correct Systems. In H. Langmaack, W.-P., de Roever, J., Vytopil (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS 863, Springer (1994).288–335.
16. Peleska, J., Siegel, M.: From Testing Theory to Test Driver Implementation. in: M.- C. Gaudel, J. Woodcock (eds.): FME'96: Industrial Benefit and Advances in Formal Methods. LNCS 1051 (1996) 538-556.
17. Peleska, J., Siegel, M.: Test Automation of Safety-Critical Reactive Systems. South African Computer Jounal 19 (1997) 53-77. http://www.tzi.de/~jp/papers/sacj97.ps.gz
18. Purper, C.: GDPA: A Process Web-Center. Proc. 2nd Workshop on Software Engineering over the Internet, with ICSE'99, Los Angeles, 1999. http://sern.cpsc.ucalgary.ca/ ~maurer/ICSE99WS/Program.htm
19. st IEEE Conf. on Standardization and Innovation in Information Technology. Aachen, 1999 (to appear).
20. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall, 1997.
21. Schlingloff, H., Meyer, O., Hülsing, Th.: Correctness Analysis of an Embedded Controller. In Data Systems in Aerospace, DASIA '99, Lissabon (May 1999).
22. Sernadas, A., Sernadas, C., Caleiro, C.: Fibring of logics as a categorial construction. Journal of Logic and Computation 8:10 (1998) 1-31.
23. Sernadas, A., Sernadas, C., Caleiro, C., Mossakowski, T.: Categorical Fibring of Logics with Terms and Binding Operators. In Gabbay, D., van Rijke, M. (eds.): Frontiers of Combining Systems. Research Studies Press (to appear).
24. Tapken, J.: Interactive and Compilative Simulation of PLC-Automata. In Hahn, W., Lehmann, A. (eds.): Simulation in Industry, ESS`97. Society for Computer Simulation (1997) 552-556.
25. Tapken, J.: MOBY/PLC – A Design Tool for Hierarchical Real-Time Automata. In: Astesiano, E. (ed.): Fundamental Approaches to Software Engineering, FASE’98, at ETAPS’98, Lisbon. LNCS 1382, Springer (1998) 326-329.
26. Tapken, J., Dierks, H.: Moby/PLC – Graphical Development of PLC-Automata. In Ravn, A.P., Rischel, H. (eds.): FTRTFT`98, LNCS 1486, Springer (1998) 311-314.
27. Tarlecki, A: Moving between logical systems. In M. Haveraaen, O. Owe, O.-J. Dahl, eds.: Recent Trends in Data Type Specifications, LNCS 1130, 478-502. Springer, 1996.
28. Tej, H. (1999): HOL-CSP: Mechanised Formal Development of Concurrent Processes. Dissertation. (forthcoming)
29. Tej, H., Wolff, B.: A Corrected Failure-Divergence Model for CSP in Isabelle/HOL. Formal Methods Europe, FME’97. LNCS 1313, Springer (1997) 318-337.
30. Urban, G., Kolinowitz, H.-J., Peleska, J.: A Survivable Avionics System for Space Applications. in Proc. FTCS-28, 28th Annual Symposium on Fault-Tolerant Computing, Munich, Germany, 1998.
31. V-Model: Development Standard for IT Systems of the Federal Republic of Germany. General Directives: 250: Process Lifecycle; 251: Methods Allocation; 252: Functional Tool Requirements. (1997).
32. Zhou, C., Hoare, C.A.R., Ravn, A.P.: A Calculus of Durations. Information Processing Letters 40(5) (1992) 269-276.