ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
Full Record Details
Persistent URL
http://purl.org/net/epubs/work/28927
Record Status
Checked
Record Id
28927
Title
Using B to Design and Verify Controllers for Chemical Processing
Contributors
K Lano
,
J Bicarregui
,
A Sanchez
Abstract
This paper is concerned with bridging the gap between approaches for the synthesis of controllers in the process industries and formal methods of specifying, designing and verifying reactive and real-time systems. We present a method which integrates techniques for the synthesis of procedural controllers [24] with specification and verification techniques for B[1]. The combined method enables a sytematic approach to be taken to the creation of formalised designs for process controllers and proof obligations for the correctness of these designs against specifications to be generated. The techniques have been applied to a part of an industrial plant [20]. In this paper we present the approach using the well-known gas burner example [22]. We also propose extensions to B which would allow more abstract and expressive specification of the requirements and designs of such systems.
Organisation
CCLRC
,
BITD
Keywords
Funding Information
Related Research Object(s):
Licence Information:
Language
English (EN)
Type
Details
URI(s)
Local file(s)
Year
Paper In Conference Proceedings
In 1st International Conference on B, (B'96), Nantes, France, November, 1996, (1996).
1996
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar