Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
An introduction to LOTOS: learning by examples
Computer Networks and ISDN Systems - Formal description technique (FDT) languages for protocols
Proving temporal consistency in a new multimedia synchronization model
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
An introduction to ET-LOTOS for the description of time-sensitive systems
Computer Networks and ISDN Systems
Design methodology and formal validation of hypermedia documents
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
Revisiting the concept of hypermedia document consistency
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 2)
A temporal reachability analysis
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Minimization of Timed Transition Systems
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Specification and Validation of Multimedia Protocols using RT-LOTOS
FTDCS '95 Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems
A general-purpose multimedia synchronization mechanism based on causal relations
IEEE Journal on Selected Areas in Communications
Revisiting the concept of hypermedia document consistency
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 2)
A formal approach for the presentation of interactive multimedia documents
MULTIMEDIA '00 Proceedings of the eighth ACM international conference on Multimedia
An integrated environment for the presentation of consistent SMIL 2.0 documents
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Formal Analysis of Real-Time Systems with SAM
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
From the Specification to the Scheduling of Time-Dependent Systems
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
A New UML Profile for Real-Time System Formal Design and Validation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A technique to generate feasible tests for communications systems with multiple timers
IEEE/ACM Transactions on Networking (TON)
Automated Software Engineering
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
IEEE Transactions on Software Engineering
WEBCAP: a capacity planning tool for web resource management
WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
WEBCAP: internet tool for periodical scheduling of data refreshing with workload considerations
PDCN'06 Proceedings of the 24th IASTED international conference on Parallel and distributed computing and networks
Synchronization modeling and its application for SMIL2.0 presentations
Journal of Systems and Software
IHC '06 Proceedings of VII Brazilian symposium on Human factors in computing systems
Adding a methodological assistant to a protocol modeling environment
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
ArchMDE approach for the development of embedded real time systems
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Designing consistent multimedia documents: the RT-LOTOS methodology
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Loosely-coupled integration of CSCW systems
DAIS'05 Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Mapping RT-LOTOS specifications into time petri nets
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Effective representation of RT-LOTOS terms by finite time petri nets
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Integrated tool for testing timed systems
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
An approach to verify live NCL applications
Proceedings of the 18th Brazilian symposium on Multimedia and the web
| Hi-index | 0.24 |
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization patterns, asynchronous interactions and timing constraints have to be dealt with together. The paper does not emphasize the details of the RT-LOTOS formal semantics, but intends to explain and illustrate its main features, as well as the main capabilities of its associated software tool rtl. Finally, this paper reports on different applications and case studies that have recently been developed at LAAS-CNRS, some of them in cooperation with the industry.