Analyzing the effects of formal methods on the development of industrial control software

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2011, Pages 467-472

  Groote, Jan Friso ^a   Osaiweran, Ammar ^a   Wesselius, Jacco H ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b PHILIPS HEALTHCARE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYTICAL SOFTWARE DESIGNS; CONTROL SOFTWARE; DEFECT-FREE; DEVELOPMENT METHOD; INDUSTRIAL CONTROLS; PHILIPS; X RAY MACHINE; X-RAY EQUIPMENTS;

COMPUTER SOFTWARE MAINTENANCE; DEFECTS; HEALTH CARE; SOFTWARE DESIGN;

FORMAL METHODS;

EID: 83455262785     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2011.6081983     Document Type: Conference Paper

References (20)

1. H. Beohar. Applying ASD to design and verify the backend controller. Masters thesis, Eindhoven university of technology, The Netherlands, 2008.
2. G. H. Broadfoot. ASD case notes: Costs and benefits of applying formal methods to industrial control software. In FM 2005: Formal Methods, volume 3582 of LNCS, pages 548-551. Springer (2005), 2005.
3. R. H. Cobb and H. D. Mills. Engineering software under statistical quality control. IEEE Software., 7:44-54, November 1990.
4. I. Crnkovic. Building Reliable Component-Based Software Systems. Artech House, Inc., Norwood, MA, USA, 2002.
5. FDR homepage. http://www.fsel.com, 2011.
6. B. Folmer. Personal communication (bex project leader). 2010.
7. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of reusable object-oriented software. Addison-Wesley Professional, 1995.
8. J. F. Groote, T. W. D. M. Kouters, and A. A. H. Osaiweran. Specifcation guidelines to avoid the state space explosion problem. Technical Report 10-14, Computer Science Reports, 2010.
9. J. F. Groote, T. W. D. M. Kouters, and A. A. H. Osaiweran. Specifcation guidelines to avoid the state space explosion problem. In Proceedings of the 4th IPM international Conference, FSEN 2011, pages (IN PRESS), Springer-Verlag, Berlin, 2011.
10. K. Havelund, M. Lowry, S. Park, C. Pecheur, J. Penix, W. Visser, and J. L. White. Formal analysis of the remote agent before and after flight. Proceedings of 5th NASA Langley Formal Methods Workshop, 13-15 June 2000.
11. P. J. Hopcroft and G. H. Broadfoot. Combining the box structure development method and CSP for software development. Electr. Notes Theor. Comput. Sci., 128(6):127-144, 2005.
12. J.M.Carter and J.H.Poore. Sequence-based specification of feedback control systems in Simulink®. In CASCON '07: Proceedings of the 2007 conference of the center for advanced studies on Collaborative research, pages 332-345, ACM, New York, NY, USA, 2007.
13. A. Mathijssen and A. J. Pretorius. Verified design of an automated parking garage. In Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology, FMICS'06/PDMC'06, pages 165-180, Springer-Verlag, Berlin, Heidelberg, 2007.
14. S. McConnell. Code Complete, Second Edition. Microsoft Press, Redmond, WA, USA, 2004.
15. B. Ploeger and L. Somers. Analysis and verification of an automatic document feeder. In Proceedings of the 2007 ACM Symposium on Applied Computing (ACMSAC'07), pages 1499-1505. ACM, Mar. 2007.
16. A. W. Roscoe. The theory and practice of concurrency. Prentice Hall, 1998.
17. S. Smits. Automatische testomgeving voor rontgen back-ends. Afstudeerverslag, Fontys Hogeschool Technische Informatica, The Netherlands, 2009.
18. C. J. Trammell, L. H. Binder, and C. E. Snyder. The automated production control documentation system: a case study in cleanroom software engineering. ACM Trans. Softw. Eng. Methodol., 1:81-94, January 1992.
19. R. van Velzen. Subsystem design specification, BeX platform, internal Philips document. 2011.
20. M. Wessels. High level performance analysis and dependency management. Masters thesis, Eindhoven university of technology, The Netherlands, 2010.