The production cell: A verified real-time system

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

Volumn 1135, Issue , 1996, Pages 208-227

  Dierks, Henning ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; FAULT TOLERANCE; HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; SPECIFICATION LANGUAGES;

BENCHMARK CASE STUDIES; DISTRIBUTED CONTROLLER; DURATION CALCULUS; INFORMAL REQUIREMENTS; PRODUCTION CELLS; SYSTEM COMPONENTS; TRANSFORMATIONAL DESIGN;

REAL TIME SYSTEMS;

EID: 0009023893     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61648-9_42     Document Type: Conference Paper

References (21)

1. R.J.R. Back. Refinement Calculus, Part II: Parallel and Reactive Programs. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, volume 430 of LNCS, pages 67-93. Springer-Verlag, 1990.
2. R.H. Campbell and N. Habermann. The specification of process synehronisation by path expressions, volume 16 of LNCS. Springer-Verlag, 1974.
3. Zhou Chaochen. Duration Calculi: An overview. In D. Bjørner, M. Broy, and I. V. Pottosin, editors, Formal Methods in Programming and Their Application, volume 735 of LNCS, pages 256-266. Springer-Verlag, 1993.
4. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. IPL, 40/5:269-276, 1991.
5. H. Dierks. Die Fertigungszelle als verifiziertes Realzeitsystem. Master's thesis, University of Oldenburg, May 1995.
6. C. Fidge, M. Utting, P. Kearney, and I. Hayes. Integrating Real-Time Scheduling Theory and Program Refinement. In M.-C. Gandel and J. Woodcock, editors, FME '96: Industrial Benefit and Advances in Formal Methods, volume 1051 of LNCS. Springer-Verlag, 1996.
7. M.R. Hansen, E.-R. Olderog, M. Schenke, and other. A Duration Calculus Semantics for Real-Time Reactive Systems. ProCoS Technical Report [OLD MRH 1/1], Universität Oldenburg, September 1993.
8. Jifeng He, C.A.R. Hoare, M. Fräinzle, M. Müller-Olm, E.-R. Olderog, M. Schenke, M.R. Hansen, A.P. Ravn, and H. Rischel. Provably correct systems. In H. Lang-maack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of LNCS, pages 288-335. Springer-Verlag, 1994.
9. C. Lewerentz, editor. Formal Development of Reactive Systems: Case Study "Production Cell", volume 891 of LNCS. Springer, 1995.
10. C. Lewerentz and T. Linduer, editors. Case Study "Production Cell". Forschungszentrum Informatik, Karlsruhe, 1994.
11. A.K. Mok. Coping with Implementation Dependencies in Real-Time System Verification. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, volume 600 of LNCS, pages 485-501. Springer- Verlag, 1992.
12. B. Moszkowski. A Temporal Logic for Multilevel Reasoning about Hardware. IEEE Computer, 18(2):10-19, 1985.
13. E.-R. Olderog, S. RSssig, J. Sander, and M. Schenke: ProCoS at Oldenburg: The Interface between Specification Language and OCCAM-like Programming Language. Technical Report 3/92, Univ. Oldenburg, 1992.
14. J.L. Petersen. Specifying a Computer Controlled Forging Machine. ProCos II Technical Report [ID/DTU JLP 1/1], Technical University of Denmark, September 1994.
15. A.P. Ravn. Design of Embedded Real-Time Computing Systems. Technical Report 1995-170, Technical University of Denmark, 1995.
16. A.P. Ravn, H. Rischel, and K.M. Hansen. Specifying and Verifying Requirements of Real-Time Systems. IEEE Transactions on Software Engineering, 19:41-55, January 1993.
17. M. Schenke. A Timed Specification Language for Concurrent Reactive Systems. ProCoS Technical Report [OLD MS 6/1], Universität Oldenburg, 1993.
18. M. Schenke. A Timed Specification Language for Concurrent Reactive Systems. In D.J. Andrews, J.F. Groote, and C.A. Middelburg, editors, Semantics of Specification Languages, Workshops in Computer Science, pages 152-167. Springer, 1994.
19. M. Schenke. Transformational Design of Real-Time Systems, Part II: From Program Specifications to Programs. to appear, 1996.
20. M. Schenke and E.-R. Olderog. Transformational Design of Real-Time Systems, Part I: From Requirements to Program Specfications. to appear, 1996.
21. J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, second edition, 1992.