Combining the Box Structure Development Method and CSP
Proceedings of the 19th IEEE international conference on Automated software engineering
The impact of requirements changes on specifications and state machines
Software—Practice & Experience
An axiom system for sequence-based specification
Theoretical Computer Science
Towards verification-based development of in-vehicle safety critical software: a case study
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Simulative and analytical evaluation for ASD-Based embedded software
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Experiences with a compositional model checker in the healthcare domain
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Early fault detection in industry using models at various abstraction levels
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Incorporating Formal Techniques into Industrial Practice: an Experience Report
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying string-rewriting to sequence-based specification
Formal Methods in System Design
| Hi-index | 0.00 |
In this paper, we present an overview of our observationsand experiences of applying formal methods in industry.Our approach combines two existing and complimentaryformal methods, namely the Cleanroom Method [9, 13] andthe CSP framework [6, 14] together with its model checkerFDR. The problem we are interested in is the use of formalmethods to develop software systems of a business-criticaland untestable nature, where the software forms an essentialpart of some core product or service offered by a business.We argue that the successful implementation of suchsystems needs a more formal approach and reflect on whyformal methods are rarely used in practice. We discuss thecombination of Cleanroom and CSP, and show how they canbe applied to develop the control software that is embeddedin a complex manufacturing machine.