ASD case notes: costs and benefits of applying formal methods to industrial control software

Authors:
Guy H. Broadfoot
Affiliations:
Verum Consultants BV
Venue:
FM'05 Proceedings of the 2005 international conference on Formal Methods
Year:
2005

Citing 3
Cited 4

Communicating sequential processes

Communicating sequential processes
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Foundations of Sequence-Based Software Specification

IEEE Transactions on Software Engineering

Agility index of automatic production systems: Reconfigurable logic and open source as agility enablers

Computers in Industry
Automated translation and analysis of a ToolBus script for auctions

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Experience report on developing the Front-end client unit under the control of formal methods

Proceedings of the 27th Annual ACM Symposium on Applied Computing
Specification guidelines to avoid the state space explosion problem

FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software is now an essential component that is embedded in an ever-increasing array of products. It has become an important means of realising product innovation and is a key determinant of both product quality and time-to-market. For many businesses, software has become business-critical and software development is a strategic business activity. At the same time, software development continues to suffer from poor predictability. Existing development methods appear to have reached a quality ceiling that incremental improvements in process and technology are unlikely to breach. To break through this ceiling, a different, more formal approach is needed, but one which can be introduced within existing development organisations.