DocumentCode
276857
Title
Software prototyping using CADET
Author
Lau, Y.K.H.
Author_Institution
Robotics Res. Group, Oxford Univ., UK
fYear
1992
fDate
33617
Abstract
Many formal techniques exist for describing the behaviour of distributed systems and most are supported by formal mathematics by which specification can be proven against their designs. However, little is available to help an engineer evaluate a high level specification during the earliest stages of a design. This paper presents the Causality Diagram Evaluation Tool (CADET) for the prototyping of very high level specifications of control systems constructed using the formalism of Communicating Sequential Processes (CSP). The aim is to relieve the burden of verification from design engineers and to make formal methods more accessible to them
Keywords
distributed processing; formal specification; program verification; software prototyping; software tools; CADET; Causality Diagram Evaluation Tool; Communicating Sequential Processes; control systems; distributed systems; formal mathematics; formal techniques; software prototyping; specification; verification;
fLanguage
English
Publisher
iet
Conference_Titel
Automating Formal Methods for Computer Assisted Prototying, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
167615
Link To Document