Specification of hybrid systems in cTLA+

Proceedings of the Joint Workshop on Parallel and Distributed Real-Time Systems - 5th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1997 and the 3rd Workshop on Object-Oriented Real-Time Systems, OORTS 1997

Volumn , Issue , 1997, Pages 212-216

  Herrmann, P ^a   Krumm, H ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS TIME SYSTEMS; HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; SPECIFICATIONS;

COMPOSITIONAL SPECIFICATIONS; FIRST IMPRESSIONS; LOGICAL CONSTRAINTS; MODEL COMPONENTS; MODULAR PROCESS; ORIENTED STRUCTURE; SYSTEM SPECIFICATION; TEMPORAL LOGIC OF ACTIONS;

REAL TIME SYSTEMS;

EID: 84962022028     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WPDRTS.1997.637981     Document Type: Conference Paper

References (10)

1. Martin Abadi and Leslie Lamport. The Existence of Refinement Mappings. Theoretical Computer Science, 82(2):253-284, May 1991.
2. Martin Abadi and Leslie Lamport. An old-fashioned recipe for real time. In J. W. de Bakker, C. Huizing, W. P. de Rover, and G. Rozenberg, editors, Real-Time: Theory in Practice, Lecture Notes in Computer Science 600. Springer-Verlag, 1991.
3. Martin Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(l):73-132,January 1993.
4. Peter Herrmann and HeikoKrumm. Compositional Specification and Verification of High-Speed Transfer Protocols. In Son T. Vuong and Samuel T. Chanson, editors, Protocol Specification, Testing, and Verification XIV, pages 339-346, Vancouver, B.C., Canada, 1994. MP, Chapman & Hall.
5. Peter Herrmann and Heiko Krumm. Re-Usable Verification Elements for High-Speed Transfer Protocol Configurations. In Piotr Dembiriski and Marek Sredniawa, editors, Protocol Specification, Testing, and Verification XV, pages 171-186, Warsaw, Poland, 1995. MP, Chapman & Hall.
6. ISO. LOTOS: Language for the temporal ordering specification of observational behaviour, International Standard ISO/IS 8807 edition, 1987.
7. Leslie Lamport. Hybrid Systems in TLA+. In R. L. Gross-mann, A. Nerode, A. Ravn, and H. Rischel, editors, Proceedings of a Workshop on Theory of Hybrid Systems, Lecture Notes in Computer Science 736, pages 77-102, Lyngby, Denmark, October 1993. Springer-Verlag.
8. Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923,May 1994.
9. Leslie Lamport. TLA+. Research note, DEC Digital Systems Research Center, Palo Alto, July 1995.
10. Chris A. Vissers, Guiseppe Scollo, and Marten 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.