Graphical specification and reasoning: Case study generalised railroad crossing

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

Volumn 1313, Issue , 1997, Pages 20-39

  Dierks, Henning ^a   Dietz, Cheryl ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CALCULATIONS; COMPUTATIONAL LINGUISTICS; FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS; PROGRAMMABLE LOGIC CONTROLLERS; RAILROAD CROSSINGS; RAILROADS; SEMANTICS; VISUAL LANGUAGES;

CONSTRAINT DIAGRAMS; DURATION CALCULUS; FORMAL DEVELOPMENT; GRAPHICAL APPROACH; GRAPHICAL LANGUAGES; REACTIVE REAL TIME SYSTEMS; REAL-TIME AUTOMATON; REAL-TIME PROBLEMS;

REAL TIME SYSTEMS;

EID: 84957368769     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63533-5_2     Document Type: Conference Paper

References (20)

1. R. Alur and D. L. Dill. A theory of timed automata. Theoret. Comput. Sci., 126:183-235, 1994.
2. E. Clarke, O. Grumberg, and D. Long. Verification tools for finite-state concurrent systems. In A Decade of Concurrency - Reflections and Perspectives, volume 803 of Lecture Notes in Computer Science. Springer-Verlag, 1994.
3. H. Dierks. Rules and Theorems for PLC-Automata. Technical report, University of Oldenburg, November 1996.
4. H. Dierks. PLC-Automata: A New Class of Implementable Real-Time Automata. In M. Bertran and T. Rus, editors, ARTS'97, volume 1231 of Lecture Notes in Computer Science, pages 111-125. Springer-Verlag, May 1997.
5. H. Dierks. Synthesising Controllers from ReM-Time Specifications. In Proceedings of ISSS'97. IEEE, 1997. to appear.
6. C. Dietz. Graphical Formalization of Real-Time Requirements. In B. Jonsson and J. Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systerns, volume 1135 of Lecture Notes in Computer Science, pages 366-385, Uppsala, Sweden, September 1996. Springer-Verlag.
7. C. Dietz. Action Diagrams. In WRTP'97 (to appear). Elsevier Science, 1997.
8. Jifeng He, C.A.R. Hoare, M. Fränzle, M. Müller-Olm, E.-R. Olderog, M. Schenke, M.R. Hansen, A.P. Ravn, and H. Rischel. Provably Correct Systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science, pages 288-335. Springer-Verlag, 1994.
9. C. Heitmeyer and N. Lynch. The Generalized Railroad Crossing. In IEEE Real- Time Systems Symposium, 1994.
10. C. Heitmeyer and D. Mandrioli, editors. Formal Methods for Real-Time Computing, volume 5 of Trends in Software. Wiley, 1996.
11. K.-H. John and M. Tiegelkamp. SPS-Prograramierung mit IEC 1131-3. Springer- Verlag, 1995. in German.
12. B. Krieg-Brüickner, J. Peleska, E.-R. Olderog, D. BMzer, and A. Baer. UniForM -- Universal Formal Methods Workbench. In U. Grote and G. Wolf, editors, Statusseminar des BMBF Softwareteehnologie, pages 357-378. BMBF, Berlin, March 1996.
13. I.W. Lewis. Programming industrial control systems using IEC 1131-3. The institution of Electrical Engineers, 1995.
14. B. Moszkowski. A Temporal Logic for Multilevel Reasoning about Hardware. IEEE Computer, 18(2):10-19, 1985.
15. E.-R. Olderog, A.P. Ravn, and J.U. Skakkebmk. Refining System Requirements to Program Specifications. In Heitmeyer and Mandrioli [10], pages 107-134.
16. A.P. Ravn. Design of Embedded Real-Time Computing Systems. Technical Report 1995-170, Technical University of Denmark, 1995.
17. M. Schenke and A.P. Ravn. Refinement from a control problem to programs. In J.R. Abrial, E. BSrger, and H. Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
18. R. SchlSr and W. Datum. Specification and Verification of System Level Hardware Designs using Timing Diagrams. In Proc. The European Conference on Design Automation. Paris, France, 1993.
19. Zhou Chaochen. Duration Calculi: An overview. In D. Bjorner, M. Broy, and I.V. Pottosin, editors, Formal Methods in Programming and Their Application, volume 735 of Lecture Notes in Computer Science, pages 256-266. Springer-Verlag, 1993.
20. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Inform. Proe. Letters, 40/5:269-276, 1991.