Graphical formalization of real-time requirements

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

Volumn 1135, Issue , 1996, Pages 366-384

  Dietz, Cheryl ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; FAULT TOLERANCE; FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS;

CONSTRAINT DIAGRAMS; DURATION CALCULUS; GRAPHICAL FORMALISMS; HARDWARE DESIGN; INTERVAL TEMPORAL LOGIC; REAL TIME REQUIREMENT; REQUIREMENTS CAPTURE; TIMING DIAGRAMS;

REAL TIME SYSTEMS;

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

References (15)

1. A.P. Ravn. Design of Embedded Real-Time Computing Systems. Technical report, ID/DTH, Lyngby, Denmark, 1995.
2. G. Boriello. Formalized Timing Diagrams. In Proc. European Conference on Design Automation. Belgium, 1992.
3. C. Antoine, B. Le Goff. Timing Diagrams for writing and checking logical and behavioural properties of integrated systems. In P. Prinetti, P.Camurati, editor, Correct Hardware Design Methodologies. Elsevier Science Publishers, 1992.
4. H. Langmaack, W.-P. de Roever, J. Vytopil (eds.). Formal Techniques in Real-Time and Fault-Tolerant Systems. Springer, 1994.
5. Jifeng He, C.A.R. Hoare, M. Fräinzle, M. Müller-Olm, E.-R. Olderog, M. Schenke, M.R. Hansen, A.P. Ravn, H. Rischel. Provably Correct Systems. In H. Langmaack, W.P. de Roever, Y. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems. Springer, 1994.
6. J.W. de Bakker, C. Huizing, W.P. de Roever, G Rozenberg (eds.). Real-Time: Theory in Practice. Springer, 1991.
7. M. Broy. A Functional Rephrasing of the Assumption/Commitment Specification Style. Technical report, TU Mfinchen, TUM-I9417, 1994.
8. M. Fujita, H. Fujisawa. Specification, Verification and and Synthesis of Control Circuits with Propositional Temporal Logic. In J.A. Darringer, F.J. Rammig, editor, Computer Hardware Description Languages and their Applications. IFIP, Elsevier Science Publishers B.V., 1990.
9. M. Schenke, E.-R. Olderog. Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications. In STRICT' 95. Springer, 1995.
10. M. vonder Beeck. A Comparison of Statecharts Variants. In H. Langmaack, W.-P. de Roever, J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems. Springer, 1994.
11. R. Schlör, W. Damm. Specification and Verification of System Level Hardware Designs using Timing Diagrams. In Proc. The European Conference on Design Automation. Paris, France, 1993.
12. Y.S. Ramakrishna, P.M. Melliar-Smith, L.E. Moser, L.K. Dillon, G. Kutty. Really Visual Temporal Reasoning. In Proc. 14th RTSS, Raliegh-Durham. IEEE Press, 1993.
13. Z. Manna, A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems-Specification. Springer, 1992.
14. Zhou Chaochen, C.A.R. Hoare, A.P. Ravn. A Calculus of Durations. Information Processing Letters, 40(5), 1991.
15. Zhou Chaochen, Dang Van Hung, Li Xiaoshan. A Duration Calculus with Infinite Intervals. Technical report, UNU/IIST Report No. 40, 1995.