Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Specification and Compositional Verification of Real-Time Systems
Specification and Compositional Verification of Real-Time Systems
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Computer
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
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
Early fault detection in industry using models at various abstraction levels
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
| Hi-index | 0.00 |
This paper describes the use of a formal method to support component-based development in the healthcare domain. The method is based on a commercial tool suite which combines formal modeling, compositional model checking, and code generation. The main approach of the tool suite will be explained and demonstrated from a user point of view. We report about experiences with this approach at the company Philips Healthcare for the design of control software for advanced interventional X-ray systems. This concerns formal interface definitions between the main system components and detailed design of control components.