Development of Veda, a Prototyping Tool for Distributed Algorithms

Authors:
C. Jard;J. F. Monin;R. Groz
Affiliations:
-;-;-
Venue:
IEEE Transactions on Software Engineering
Year:
1988

Citing 9
Cited 11

Attacking a complex distributed algorithm from different sides: an experience wih complementary validation tools

Computer Networks and ISDN Systems
A rational design process: How and why to fake it

IEEE Transactions on Software Engineering
A Metaprogramming method and its economic justification

IEEE Transactions on Software Engineering
SARA (system architects apprentice): modeling, analysis, and simulation support for design of concurrent systems

IEEE Transactions on Software Engineering
Prolog in 10 figures

Communications of the ACM
Communicating sequential processes

Communications of the ACM
Error detection with multiple observers

Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model

Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
OCCAM

ACM SIGPLAN Notices

Querying of Executable Software Specifications

IEEE Transactions on Software Engineering
A toolbox for the verification of LOTOS programs

ICSE '92 Proceedings of the 14th international conference on Software engineering
A periodic symmetrically-initiated load balancing algorithm for distributed systems

ACM SIGOPS Operating Systems Review
Programming languages and systems for prototyping concurrent applications

ACM Computing Surveys (CSUR)
Proving the Correctness of the Standardized Algorithm for ABR Conformance

Formal Methods in System Design
Correctness Proof of the Standardized Algorithm for ABR Conformance

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System

Automated Software Engineering
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit

IEEE Transactions on Software Engineering
On The Evolution Of Reliability Methods For Critical Software

Journal of Integrated Design & Process Science - Applications of formal methods
Behavioral Modelling and Composition of Object Slices Using Event Observation

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A framework for verifying data-centric protocols

FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The development of a simulator, called Veda, is described. Veda is a software tool to help designers in protocol modeling and validation. It is oriented towards the rapid prototyping of distributed algorithms. Algorithms are described using an ISO (International Organisation for Standardization) formal description technique, called Estelle. The development of Veda and its internal structure is presented, emphasizing the use of Prolog as a software engineering tool. Typical uses of Veda are discussed.