5 June 1998 Discrete-event requirements model for sensor fusion to provide real-time diagnostic feedback
Author Affiliations +
Proceedings Volume 3262, Surgical-Assist Systems; (1998) https://doi.org/10.1117/12.309477
Event: BiOS '98 International Biomedical Optics Symposium, 1998, San Jose, CA, United States
Abstract
Minimally-invasive surgical techniques reduce the size of the access corridor and affected zones resulting in limited real-time perceptual information available to the practitioners. A real-time feedback system is required to offset deficiencies in perceptual information. This feedback system acquires data from multiple sensors and fuses these data to extract pertinent information within defined time windows. To perform this task, a set of computing components interact with each other resulting in a discrete event dynamic system. In this work, a new discrete event requirements model for sensor fusion has been proposed to ensure logical and temporal correctness of the operation of the real-time diagnostic feedback system. This proposed scheme models system requirements as a Petri net based discrete event dynamic machine. The graphical representation and quantitative analysis of this model has been developed. Having a natural graphical property, this Petri net based model enables the requirements engineer to communicate intuitively with the client to avoid faults in the early phase of the development process. The quantitative analysis helps justify the logical and temporal correctness of the operation of the system. It has been shown that this model can be analyzed to check the presence of deadlock, reachability, and repetitiveness of the operation of the sensor fusion system. This proposed novel technique to model the requirements of sensor fusion as a discrete event dynamic system has the potential to realize highly reliable real-time diagnostic feedback system for many applications, such as minimally invasive instrumentation.
© (1998) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Mohd Rokonuzzaman, Mohd Rokonuzzaman, Raymond G. Gosine, Raymond G. Gosine, } "Discrete-event requirements model for sensor fusion to provide real-time diagnostic feedback", Proc. SPIE 3262, Surgical-Assist Systems, (5 June 1998); doi: 10.1117/12.309477; https://doi.org/10.1117/12.309477
PROCEEDINGS
11 PAGES


SHARE
RELATED CONTENT

Reference model for data fusion systems
Proceedings of SPIE (April 02 2000)
Robust diagnostic system: structural redundancy approach
Proceedings of SPIE (February 28 1994)
Selective monitoring
Proceedings of SPIE (April 29 1992)
Fusion or confusion: knowledge or nonsense?
Proceedings of SPIE (July 31 1991)

Back to Top