Protective Wrapper Development: A Case Study

We have recently proposed a general approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour in systems employing an OTS (Off-The-Shelf) item, and launching appropriate recovery actions. This paper presents results of a case study in protective wrapper development, using a Simulink model of a steam boiler system together with an OTS PID (Proportional, Integral and Derivative) controller. The protective wrappers are developed for the model of the system in such a way that they allow detection and tolerance of typical errors caused by unavailability of signals, violations of constraints, and oscillations.

[1]  Alexander Romanovsky Exception handling in component-based system development , 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.

[2]  Hermann Kopetz,et al.  Fault tolerance, principles and practice , 1990 .

[3]  Egon Börger,et al.  Formal Methods for Industrial Applications , 1996, Lecture Notes in Computer Science.

[4]  Algirdas Avizienis,et al.  Software Fault Tolerance , 1989, IFIP Congress.

[5]  Lorenzo Strigini,et al.  On systematic design of protectors for employing OTS items , 2001, Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey.

[6]  J.C. McKim Programming by contract , 1996, Computer.

[7]  Jeffrey M. Voas,et al.  Certifying Off-the-Shelf Software Components , 1998, Computer.

[8]  Bertrand Meyer,et al.  Advances in object-oriented software engineering , 1992 .

[9]  Egon Börger,et al.  Formal methods for industrial applications : specifying and programming the steam boiler control , 1996 .

[10]  Jean-Claude Laprie,et al.  Dependable computing: concepts, limits, challenges , 1995 .