Temporal logic for real time systems
Temporal logic for real time systems
Transport services for multimedia applications on broadband networks
Computer Communications - Multimedia communications
Specifying real-time properties with metric temporal logic
Real-Time Systems
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Estelle development toolset (EDT)
Computer Networks and ISDN Systems
Temporal logic and applications: a tutorial
Computer Networks and ISDN Systems - Special issue on protocol specification, testing and verification
The PET and DINGO tools for deriving distributed implementations from Estelle
Computer Networks and ISDN Systems - Special issue on tools for FDTs
Theoretical Computer Science
On parallelizing and optimizing the implementation of communication protocols
IEEE/ACM Transactions on Networking (TON)
An introduction to ET-LOTOS for the description of time-sensitive systems
Computer Networks and ISDN Systems
Generating efficient protocol code from an abstract specification
IEEE/ACM Transactions on Networking (TON)
A specification architecture for multimedia systems in open distributed processing
Computer Networks and ISDN Systems - Special issue: specification architecture
Multimedia Systems
Formal methods for broadband and multimedia systems
Computer Networks and ISDN Systems - Special issue: trends in formal description techniques
Analyzing the Multimedia Operating System
IEEE MultiMedia
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Usage of Protocol Development Tools: The Results of a Survey
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Introduction of Quantitative Relative Time into LOTOS
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Simulating Estelle Specifications with Time Parameters
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Specifying real-time requirements for SDL specifications - a temporal logic-based approach
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
On the suitability of Estelle for multimedia systems
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
PARES - a portable parallel Estelle compiler
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
A LOTOS Compiler Generating Multi-threaded Object Codes
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
IWACA '94 Proceedings of the Second International Workshop on Multimedia: Advanced Teleservices and High-Speed Communication Architectures
Efficient configuration of protocol software for multiprocessors
Proceedings of the IFIP Sixth International Conference on High Performance Networking VI
The Dimension of Time in Protocol Specification
Proceedings of the International Seminar on Networking in Open Systems
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
An Overview and Synthesis on Timed Process Algebras
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Proceedings of the Real-Time: Theory in Practice, REX Workshop
An Old-Fashioned Recipe for Real Time
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Forward and Backward Simulations for Timing-Based Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Time Versus Abstraction in Formal Description
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Real-Time Estelle
Dynamic QOS Control Based on the QOS-Ticket Model
ICMCS '96 Proceedings of the 1996 International Conference on Multimedia Computing and Systems
Synchronization and storage models for multimedia objects
IEEE Journal on Selected Areas in Communications
Hi-index | 0.24 |
The possibility to automatically generate implementations from formal specifications of distributed systems and protocols is one of the major advantages of the use of formal methods. This process is well understood for standardized Formal Description Techniques (FDTs) such as Estelle, SDL and LOTOS applied to traditional communication protocols. In order to use these languages for the specification of modern telecommunication systems such as multimedia, which is addition, have certain real-time requirements, several real-time language enhancements have been proposed. In this article, we show how, based on a real-time extension of Estelle, implementations can be generated that are able to automatically guarantee specified real-time requirements during the system's runtime.