CIRCAL and the representation of communication, concurrency, and time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Communicating sequential processes
Communicating sequential processes
A LOTOS Specification of the PROWAY Highway Service
IEEE Transactions on Computers
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
ECCS and LIPS: two languages for OSI systems specification and verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
An exercise in the automatic verification of asynchronous designs
Formal Methods in System Design
Hardware/software synthesis of formal specifications in codesign of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Digital Design with VERILOG HDL
Digital Design with VERILOG HDL
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Computer-Aided Hardware-Software Codesign
IEEE Micro
Introduction of Quantitative Relative Time into LOTOS
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Specification and Verification of Synchronous Hardware using LOTOS
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
State Exploration by Transformation with LOLA
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Protocol-Inspired Hardware Testing
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Specifying Hardware Systems in LOTOS
CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
Hi-index | 0.01 |
The development of tools for the design of both hardware and software systems draws great benefits from the use of formal methods, especially if they offer a descriptive capacity which covers real applications. On the basis of the T-LOTOS language, a language called TTL has been developed, which adds new constructs and tools to the high expressiveness of the original language, thus making it suitable for the specification of hardware and software systems of real complexity. Some of the extension proposed and presented cover the aspects of modularization of the specification, the introduction of an iterative construct and a first move to object paradigma. An extensive example of the use of TTL is presented to show its characteristics. The features of TTL have been widely tested in the development of a framework for codesign.