Compositional specification and structured verification of hybrid systems in cTLA

Proceedings - 1st International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 1998

Volumn 1998-April, Issue , 1998, Pages 335-340

  Herrmann, Peter ^a   Graw, Gunter ^a   Krumm, Heiko ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL PLANTS; DISTRIBUTED COMPUTER SYSTEMS; FORMAL VERIFICATION; SPECIFICATION LANGUAGES; SPECIFICATIONS;

COMPLEX SYSTEM MODELING; COMPOSITIONAL SPECIFICATIONS; DISCRETE COMPONENTS; FORMAL PROOFS; SAFETY PROPERTY; SPECIFIC PROPERTIES; VERIFICATION OF HYBRID SYSTEMS;

HYBRID SYSTEMS;

EID: 0141752136     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.1998.666805     Document Type: Conference Paper

References (10)

1. M. Abadi and L. Lamport. An old-fashioned recipe for real time. In J. W. de Bakker, et al., editors, Real-Time: Theory in Practice, in LNCS 600. Springer, 1991.
2. R. Alur, C. Courcoubetis, T. A. Henzinger, P.-H. Ho. Hybrid Automata. In R. L. Grossman et. al., editors, Hybrid Systems, in LNCS 736, pages 209-229. Springer, 1993.
3. P. Herrmann and H. Krumm. Compositional Specification and Verification of High-Speed Transfer Protocols. In S. T. Vuong and S. T. Chanson, editors, Protocol Specification, Testing, Verification XIV, pages 339-346, Vancouver, 1994. IFIP, Chapman & Hall.
4. P. Herrmann and H. Krumm. Specification of Hybrid Systems in cTLA+. In 5th International Workshop on Parallel & Distributed Real-Time Systems-(WPDRTS'97), pages 212-216, Geneva, 1997. IEEE.
5. J. Hooman. A Compositional Approach to the Design of Hybrid Systems. In R. L. Grossman, et al., editors, Hybrid Systems, in LNCS 736, pages 121-148. Springer, 1993.
6. H.-M. Järvinen, R. Kurki-Suonio, M. Sakkinen, K. Systä. Object-Oriented Specification of Reactive Systems. In 12th International Conference on Software Engineering, pages 63-71, Nice, 1990. IEEE.
7. S. Kowalewski, R. Gesthuisen, V. Roßmann. Modelbased verification of batch process control software. In IEEE Conference on Systems, Man, Cybernetics, pages 331-336, San Antonio, 1994. IEEE.
8. L. Lamport. Hybrid Systems in TLA+. In R. L. Grossmann, et al., editors, Hybrid Systems, in LNCS 736, pages 77-102, Springer, 1993.
9. L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
10. C. A. Vissers, G. Scollo, M. van Sinderen. Architecture and specification style in formal descriptions of distributed systems. In S. Agarwal and K. Sabnani, editors, Protocol Specification, Testing and Verification VIII, pages 189-204, Elsevier, 1988. IFIP.