Book chapter 1603 views
Verification of Scheme Plans Using CSP || B
Hoang Nguyen ,
Philip James,
Faron Moller ,
Hoang Nga Nguyen,
Markus Roggenbach,
Steve Schneider,
Helen Treharne,
Matthew Trumble,
David Williams
Software Engineering and Formal Methods, Volume: 8368
Swansea University Authors: Hoang Nguyen , Faron Moller
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-319-05032-4_15
Abstract
This paper presents a tool-supported approach to graphically editing scheme plans and their safety verification. The graphical tool is based on a domain-specific language which is used as a basis for a transformation to a CSP||B formal model of a scheme plan. The models produce use a variety of abst...
Published in: | Software Engineering and Formal Methods |
---|---|
Published: |
2014
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa20838 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Abstract: |
This paper presents a tool-supported approach to graphically editing scheme plans and their safety verification. The graphical tool is based on a domain-specific language which is used as a basis for a transformation to a CSP||B formal model of a scheme plan. The models produce use a variety of abstraction techniques that make the analysis of large scale plans feasible. |
---|---|
Item Description: |
Originality:The paper makes the bold step of bringing mathematical theory down to the level of engineering practice; something rare, explaining why the type of formal methods presented are not readily adapted in practice. This is done through the use of a bespoke graphical tool based on a domain specific language inspired by engineering practice.Significance:The methodology outlined in this paper forms the basis of the technology being adapted by Siemens, which is the foundation of the REF Impact Case Study.Rigour:The methodology is, of course, founded on the most rigorous of mathematical theory development. |
College: |
Faculty of Science and Engineering |
End Page: |
204 |