Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP
Author : Jim Davies
Publisher : Cambridge University Press
Total Pages : 208
Release : 1993-05-20
ISBN 10 : 0521450551
ISBN 13 : 9780521450553
Language : EN, FR, DE, ES & NL

Specification and Proof in Real Time CSP Book Description:

Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behavior of critical systems. This thesis uses the theory of Communicating Sequential Processes to show how a real-time system (a system that maintains a continuous interaction with its environment) may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method for structuring CSP descriptions of layered protocols is given. The research contained here represents the very latest work on the specification and verification of real-time systems.

Specification and Proof in Real Time CSP
Language: en
Pages: 208
Authors: Jim Davies
Categories: Computers
Type: BOOK - Published: 1993-05-20 - Publisher: Cambridge University Press

Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, syste
Hybrid and Real-Time Systems
Language: en
Pages: 444
Authors: Oded Maler
Categories: Technology & Engineering
Type: BOOK - Published: 1997-03-05 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997.
Real-Time Systems
Language: en
Pages:
Authors: Ernst-Rüdiger Olderog
Categories: Computers
Type: BOOK - Published: 2008-09-11 - Publisher: Cambridge University Press

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a cr
Concurrent and Real-time Systems
Language: en
Pages: 530
Authors: Steve Schneider
Categories: Computers
Type: BOOK - Published: 1999-11-15 - Publisher: John Wiley & Sons

The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular
Theories and Experiences for Real-Time System Development
Language: en
Pages: 444
Authors: Teodor Rus
Categories: Computers
Type: BOOK - Published: 1995-02-14 - Publisher: World Scientific

Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Parti
Formal Methods and Software Engineering
Language: en
Pages: 788
Authors: Zhiming Liu
Categories: Computers
Type: BOOK - Published: 2006-10-24 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November
ZB 2002: Formal Specification and Development in Z and B
Language: en
Pages: 547
Authors: France) International Conference of B and Z Users (2nd : 2002 : Grenoble
Categories: Computers
Type: BOOK - Published: 2002-01-16 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 2
ZB 2002: Formal Specification and Development in Z and B
Language: en
Pages: 541
Authors: Didier Bert
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 2
IFM’99
Language: en
Pages: 477
Authors: Keijiro Araki
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system d
Formal Techniques in Real-Time and Fault-Tolerant Systems
Language: en
Pages: 208
Authors: Jan Vytopil
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-toleran