Incorporating Formal Techniques into Industrial Practice: an Experience Report

Authors:
Ammar Osaiweran;Mathijs Schuts;Jozef Hooman;Jacco Wesselius
Affiliations:
Eindhoven University of Technology, Eindhoven, the Netherlands;Philips Healthcare, Best, the Netherlands;Embedded Systems Institute Eindhoven & Radboud University Nijmegen, the Netherlands;Philips Healthcare, Best, the Netherlands
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2013

Citing 17
Cited 0

Communicating sequential processes

Communicating sequential processes
Stepwise Refinement and Verification in Box-Structured Systems

Computer
Cleanroom Process Model

IEEE Software
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
Cleanroom software engineering: technology and process

Cleanroom software engineering: technology and process
Specification and Compositional Verification of Real-Time Systems

Specification and Compositional Verification of Real-Time Systems
Test Driven Development: By Example

Test Driven Development: By Example
Foundations of Sequence-Based Software Specification

IEEE Transactions on Software Engineering
Academia and industry meet: Some experiences of formal methods in practice

APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
Validated Designs For Object-oriented Systems

Validated Designs For Object-oriented Systems
Code Complete, Second Edition

Code Complete, Second Edition
Applied software project management

Applied software project management
Formal methods: Practice and experience

ACM Computing Surveys (CSUR)
Industrial Practice in Formal Methods: A Review

FM '09 Proceedings of the 2nd World Congress on Formal Methods
Combining the Box Structure Development Method and CSP for Software Development

Electronic Notes in Theoretical Computer Science (ENTCS)
Analyzing the effects of formal methods on the development of industrial control software

ICSM '11 Proceedings of the 2011 27th IEEE International Conference on Software Maintenance
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system.