Early fault detection in industry using models at various abstraction levels

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

Volumn 7321 LNCS, Issue , 2012, Pages 268-282

  Hooman, Jozef ^a,b   Mooij, Arjan J ^b   Van Wezep, Hans ^c  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b EMBEDDED SYSTEMS INSTITUTE   (Netherlands)

^c PHILIPS HEALTHCARE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION LEVEL; CODE GENERATION; COMMERCIAL TOOLS; COMPOSITIONAL VERIFICATION; DETAILED DESIGN; FORMAL MODEL; FORMAL MODELLING; FORMAL TECHNIQUES; INDUSTRIAL DEVELOPMENT; INTERACTIVE VISUALIZATIONS; REFINEMENT CHECKING;

ABSTRACTING; DESIGN; FAULT DETECTION; INDUSTRY; NETWORK COMPONENTS; VISUALIZATION;

COMPUTER SIMULATION;

EID: 84864376931     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-30729-4_19     Document Type: Conference Paper

References (29)

1. Abrial, J.R.: The B-book: assigning programs to meanings. Cambridge University Press, New York (1996)
2. Blender, http://www.blender.org/
3. Boberg, J.: Early fault detection with model-based testing. In: Proceedings of Erlang Workshop 2008, pp. 9-20. ACM (2008)
4. von Bochmann, G.: Using First-Order Logic to Reason about Submodule Construction. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS/FORTE 2009. LNCS, vol. 5522, pp. 213-218. Springer, Heidelberg (2009)
5. Broadfoot, G.H., Broadfoot, P.J.: Academia and industry meet: Some experiences of formal methods in practice. In: Proceedings of APSEC 2003, pp. 49-58 (2003)
6. ClearSy: Atelier B, http://www.atelierb.eu/en/
7. CSK Systems Corporation: VDMTools, http://www.vdmtools.jp/en/
8. Easterbrook, S.M., Lutz, R.R., Covington, R., Kelly, J., Ampo, Y., Hamilton, D.: Experiences using lightweight formal methods for requirements modeling. IEEE Transactions on Software Engineering 24(1), 4-14 (1998)
9. Eindhoven University of Technology: Software/Hardware Engineering (SHE) - Parallel Object-Oriented Specification Language (POOSL), http://www.es.ele.tue. nl/poosl/
10. Esterel Technologies: SCADE Suite, http://www.esterel-technologies.com/ products/scade-suite/
11. Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object-oriented Systems. Springer, New York (2005)
12. Fitzgerald, J.S., Larsen, P.G.: Balancing Insight and Effort: The Industrial Uptake of Formal Methods. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) Formal Methods and Hybrid Real-Time Systems. LNCS, vol. 4700, pp. 237-254. Springer, Heidelberg (2007)
13. Formal Systems (Europe) Ltd: FDR2, http://www.fsel.com/
14. Formal Systems (Europe) Ltd and Oxford University Computing Laboratory: Failures-Divergence Refinement - FDR2 User Manual, 9th edn. (2010)
15. Goga, N., Romijn, J.: Guiding Spin Simulation. In: Davies, J., Schulte,W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 176-193. Springer, Heidelberg (2004)
16. Groote, J.F., Osaiweran, A., Wesselius, J.H.: Analyzing the effects of formal methods on the development of industrial control software. In: Proceedings of ICSM 2011, pp. 467-472. IEEE (2011)
17. Haghverdi, E., Ural, H.: Submodule construction from concurrent system specifications. Information & Software Technology 41(8), 499-506 (1999)
18. Holzmann, G.J.: Early fault detection tools. Software - Concepts and Tools 17(2), 63-69 (1996)
19. Holzmann, G.J.: FormalMethods for Early Fault Detection. In: Jonsson, B., Parrow, J. (eds.) FTRTFT 1996. LNCS, vol. 1135, pp. 40-54. Springer, Heidelberg (1996)
20. Hooman, J., Huis in 't Veld, R., Schuts, M.: Experiences with a Compositional Model Checker in the Healthcare Domain. In: George, C. (ed.) FHIES 2011. LNCS, vol. 7151, pp. 93-110. Springer, Heidelberg (2012)
21. Hopcroft, P.J., Broadfoot, G.H.: Combining the box structure development method and CSP for software development. ENTCS 128(6), 127-144 (2005)
22. Larsen, K.G., Xinxin, L.: Equation solving using modal transition systems. In: Proceedings of LICS 1990, pp. 108-117. IEEE Computer Society (1990)
23. Li, L., Hooman, J., Voeten, J.: Connecting technical and non-technical views of system architectures. In: Proceedings of CPSCom 2010, pp. 592-599 (December 2010)
24. Roscoe, A.W., Armstrong, P.J., Pragyesh: Local Search in Model Checking. In: Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol. 5799, pp. 22-38. Springer, Heidelberg (2009)
25. Roscoe, B.: Understanding Concurrent Systems. Springer (2010)
26. Ryan, P.Y.A., Schneider, S.A., Goldsmith, M.H., Lowe, G., Roscoe, A.W.: The Modelling and Analysis of Security Protocols: the CSP Approach. Pearson Education (2000)
27. Sun, J., Liu, Y., Dong, J.S.: Model checking CSP revisited: Introducing a process analysis toolkit. In: Proceedings of ISoLA 2008. CCIS, vol. 17, pp. 307-322. Springer (2008)
28. Theelen, B.D., Florescu, O., Geilen, M., Huang, J., van der Putten, P.H.A., Voeten, J.: Software/hardware engineering with the parallel object-oriented specification language. In: Proceedings of MEMOCODE 2007, pp. 139-148. IEEE (2007)
29. Verum Software Technologies: ASD:Suite, http://www.verum.com/