Share Email Print
cover

Proceedings Paper

Application safety enhancement model using self-checking with software enzymes
Author(s): Chandrasekaran Subramaniam; Arthi Ravishankar; Deepthi Gopal; Dhaarini Subramanian
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper Abstract

The objective of the paper is to propose a safety enhancement model for application software in accelerating the respective self checking strategies similar to bio enzymatic actions. The application software components which are safety critical may have to be assessed periodically or on demand to achieve not only the functional correctness but also the safety specifications or features while getting executed. The design and deployment of such software modules can be formally verified for possible safety flaws using self checking capabilities and software enzymatic actions. The self checks must sense the safety holes in the software and decide to activate the built-in software components called enzymes to do the safe guard operations in a timely manner to mitigate the safety faults using the proposed enzyme calculus. The various application hazards due to the boolean faults in the functional and behavioral model that lead to software safety issues are considered in this approach.

Paper Details

Date Published: 13 January 2012
PDF: 7 pages
Proc. SPIE 8349, Fourth International Conference on Machine Vision (ICMV 2011): Machine Vision, Image Processing, and Pattern Analysis, 83492T (13 January 2012); doi: 10.1117/12.920392
Show Author Affiliations
Chandrasekaran Subramaniam, Rajalakshmi Engineering College (India)
Arthi Ravishankar, Rajalakshmi Engineering College (India)
Deepthi Gopal, Rajalakshmi Engineering College (India)
Dhaarini Subramanian, Rajalakshmi Engineering College (India)


Published in SPIE Proceedings Vol. 8349:
Fourth International Conference on Machine Vision (ICMV 2011): Machine Vision, Image Processing, and Pattern Analysis
Zhu Zeng; Yuting Li, Editor(s)

© SPIE. Terms of Use
Back to Top