No Cover Image

Book chapter 452 views

Verification of Scheme Plans Using CSP || B / Faron, Moller

Software Engineering and Formal Methods, Volume: 8368

Swansea University Author: 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...

Full description

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: College of Science
End Page: 204