Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol

Vincenza Carchiolo; Michele Malgeri; Giuseppe Mangioni

doi:10.1109/IWRSP.2003.1207034

Rapid System Prototyping, IEEE International Workshop on

Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol

Year: 2003, Pages: 86

DOI Bookmark: 10.1109/IWRSP.2003.1207034

Authors

Vincenza Carchiolo, Facolta? di Ingegneria - Universita? di Catania
Michele Malgeri, Facolta? di Ingegneria - Universita? di Catania
Giuseppe Mangioni, Facolta? di Ingegneria - Universita? di Catania

Abstract

Rigorous techniques must be embraced in order to reduce the risk of designing bug-affected devices. Use of formal techniques solves several design matters, but often synthesis is not able to maintain properties of specification. In this paper a direct-synthesis method of a formal specification is discussed and its application to the IEEE-1394 protocol synthesis is presented.

Like what you’re reading?

Already a member?

Get this article FREE with a new membership!

An IEEE 1394-Firewall-Based Embedded Video System for Surveillance Applications
Proceedings of the IEEE Conference on Advanced Video and Signal Based Surveillance, 2003.
Communication service specification using OOA and LOTOS
Proceedings International Phoenix Conference on Computers and Communications
Specification and Verification of Real-Time Properties Using LOTOS and SQTL
Software Specification and Design, International Workshop on
The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS
Formal Engineering Methods, International Conference on
Protocol synthesis using basic Lotos and global variables
Proceedings of International Conference on Network Protocols
A formal requirements engineering method for specification, synthesis, and verification
Software Engineering Environments, International Conference on
Deriving protocol specifications from service specifications written in LOTOS
Proceedings of Phoenix Conference on Computers and Communications
Specification and Validation of a Real-Time Parallel Kernel Using LOTOS
MASCOTS 2001, Proceedings Ninth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
A LOTOS Specification of the PROWAY Highway Service
IEEE Transactions on Computers
An Empirical Analysis of the IEEE-1394 Serial Bus Protocol
IEEE Micro

Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol

Authors

Abstract

Related Articles