Discrete-event requirements model for sensor fusion to provide real-time diagnostic feedback

Mohd Rokonuzzaman; Raymond G. Gosine

doi:10.1117/12.309477

5 June 1998 Discrete-event requirements model for sensor fusion to provide real-time diagnostic feedback

Mohd Rokonuzzaman, Raymond G. Gosine

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.

Citation Download Citation

Mohd Rokonuzzaman and 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); https://doi.org/10.1117/12.309477

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available

Members: $17.00

Non-members: $21.00 ADD TO CART

PROCEEDINGS
11 PAGES

DOWNLOAD PAPER SAVE TO MY LIBRARY

GET CITATION

RIGHTS & PERMISSIONS

Get copyright permission Get copyright permission on Copyright Marketplace

KEYWORDS

Sensors

Sensor fusion

Systems modeling

Mathematical modeling

Diagnostics

Dynamical systems

Computing systems

Show All Keywords

Keywords/Phrases

Search In:

Publication Years