Experiences with a compositional model checker in the healthcare domain

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7151 LNCS, Issue , 2012, Pages 93-110

  Hooman, Jozef ^a,b   Huis in 't Veld, Robert ^c   Schuts, Mathijs ^c  

^a EMBEDDED SYSTEMS INSTITUTE   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^c PHILIPS HEALTHCARE   (United States)

Author keywords

code generation; component based development; formal modeling; industrial experience; model checking

Indexed keywords

CODE GENERATION; COMMERCIAL TOOLS; COMPONENT-BASED DEVELOPMENT; COMPOSITIONAL MODELS; CONTROL COMPONENTS; CONTROL SOFTWARE; DETAILED DESIGN; FORMAL MODELING; HEALTHCARE DOMAINS; INDUSTRIAL EXPERIENCE; INTERVENTIONAL; PHILIPS; SYSTEM COMPONENTS; TOOLSUITE; X-RAY SYSTEM;

DESIGN; HEALTH CARE; NETWORK COMPONENTS;

MODEL CHECKING;

EID: 84864361526     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-32355-3_6     Document Type: Conference Paper

References (18)

1. Abrial, J.R.: The B-book: assigning programs to meanings. Cambridge University Press, New York (1996)
2. Booch, G., Rumbaugh, J.E., Jacobson, I.: The unified modeling language user guide - the ultimate tutorial to the UML from the original designers. Addison-Wesley object technology series. Addison-Wesley-Longman (1999)
3. Broadfoot, G.H., Broadfoot, P.J.: Academia and industry meet: Some experiences of formal methods in practice. In: 10th Asia-Pacific Software Engineering Conferenc (APSEC 2003), pp. 49-58 (2003)
4. ClearSy: Atelier B, industrial tool supporting the B method (2011), http://www.atelierb.eu/en/
5. CSK Systems Corporation: VDMTools, industrial tool supporting VDM++ (2011), http://www.vdmtools.jp/en/
6. Esterel Technologies: SCADE Suite, model based development environment dedicated to critical embedded software (2011), http://www.esterel-technologies. com/products/scade-suite/
7. Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object-oriented Systems. Springer, New York (2005), http://www.vdmbook.com
8. Formal Systems (Europe) Ltd: FDR2 model checker (2011), http://www.fsel.com/
9. Groote, J.F., Osaiweran, A., Wesselius, J.H.: Analyzing the effects of formal methods on the development of industrial control software. In: Proceedings of the IEEE ICSM 2011, pp. 467-472 (2011)
10. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231-274 (1987)
11. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)
12. Hooman, J.: Specification and Compositional Verification of Real-Time Systems. LNCS, vol. 558. Springer, Heidelberg (1991)
13. Hopcroft, P.J., Broadfoot, G.H.: Combining the box structure development method and CSP for software development. Electronic Notes in Theoretical Computer Science 128(6), 127-144 (2005)
14. Meyer, B.: Applying "design by contract". IEEE Computer 25(10), 40-51 (1992)
15. Mills, H.D.: Stepwise refinement and verification in box-structured systems. Computer 21, 23-36 (1988)
16. Prowell, S.J., Poore, J.H.: Foundations of sequence-based software specification. IEEE Transactions on Software Engineering 29, 417-429 (2003)
17. Roscoe, A.W.: The theory and practice of concurrency. Prentice Hall (1998)
18. Verum: ASD:Suite (2011), http://www.verum.com/