Book chapter 1675 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
,
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 |