Discrete event development framework for highly reliable sensor fusion systems
Thesis (Ph.D.)--Memorial University of Newfoundland, 1999. Engineering and Applied Science Bibliography: leaves 131-137. Intelligent Systems are being deployed increasingly in safety and mission critical applications. This thesis has synthesized a novel engineering methodology for developing highly...
Main Author: | |
---|---|
Other Authors: | |
Format: | Thesis |
Language: | English |
Published: |
1999
|
Subjects: | |
Online Access: | http://collections.mun.ca/cdm/ref/collection/theses5/id/5380 |
id |
ftmemorialunivdc:oai:collections.mun.ca:theses5/5380 |
---|---|
record_format |
openpolar |
spelling |
ftmemorialunivdc:oai:collections.mun.ca:theses5/5380 2023-05-15T17:23:34+02:00 Discrete event development framework for highly reliable sensor fusion systems Rokonuzzaman, Mohd., 1965- Memorial University of Newfoundland. Faculty of Engineering and Applied Science 1999 xli, 240 leaves : ill. Image/jpeg; Application/pdf http://collections.mun.ca/cdm/ref/collection/theses5/id/5380 Eng eng Electronic Theses and Dissertations (35.66 MB) -- http://collections.mun.ca/PDFs/theses/Rokonuzzaman_Mohd.pdf a1357665 http://collections.mun.ca/cdm/ref/collection/theses5/id/5380 The author retains copyright ownership and moral rights in this thesis. Neither the thesis nor substantial extracts from it may be printed or otherwise reproduced without the author's permission. Paper copy kept in the Centre for Newfoundland Studies, Memorial University Libraries Fault tolerance (Engineering) Multisensor data fusion Petri nets Text Electronic thesis or dissertation 1999 ftmemorialunivdc 2015-08-06T19:22:48Z Thesis (Ph.D.)--Memorial University of Newfoundland, 1999. Engineering and Applied Science Bibliography: leaves 131-137. Intelligent Systems are being deployed increasingly in safety and mission critical applications. This thesis has synthesized a novel engineering methodology for developing highly reliable sensor fusion systems (SFS) of multi-sensori intelligent systems for the applications in the safety and mission critical environments. This methodology includes both the avoidance of faults during the development phase and the tolerance of sensor failures during the operation phase. Petri net based novel discrete event framework has been proposed to model SFS as discrete event dynamic system. This intuitive mathematical framework abstracts the SFS as a hierarchically finite state machine. The intuitive graphical nature of this framework has the potential to enhance the communication between the developer and the client to capture sensing requirements resulting in avoidance of requirement errors. The mathematical attribute enables the developer to analyze different attributes of the modeled SFS to ensure logical and temporal correctness of the performance of the system. This proposed discrete event framework has been verified by simulating the design of an example sensor fusion system. The reasoning basis of the architecture of the underlying computing system from this Petri net model of the SFS has also been developed to ensure the temporal correctness during the operation phase. The use of redundancy to tolerate failure of sensors has been experimentally verified. Overheads have been identified to incorporate hardware fault-tolerance in this proposed SFS framework to tolerate sensor faults during the operation phase. A novel scheme has been developed to manage these overheads in a predictable manner. A fault-tree based novel scheme has been proposed to measure the probability of failure of different levels of fusion due to the failure of different sensors. A computationally simple scheme to detect transients present on the sensor data stream has been proposed with extensive simulation results to enhance system performance in operation phase. The loss of time sensitive data during the fault clearance intervals compromises the effectiveness of fault-tolerance in the SFS. A parallel sensing based novel scheme has been proposed to restore sensor data lost during the fault clearance intervals. The effectiveness of this proposed scheme has been experimentally verified by restoring data lost during fault clearance intervals of a triple modular redundant optical sensor. Thesis Newfoundland studies University of Newfoundland Memorial University of Newfoundland: Digital Archives Initiative (DAI) |
institution |
Open Polar |
collection |
Memorial University of Newfoundland: Digital Archives Initiative (DAI) |
op_collection_id |
ftmemorialunivdc |
language |
English |
topic |
Fault tolerance (Engineering) Multisensor data fusion Petri nets |
spellingShingle |
Fault tolerance (Engineering) Multisensor data fusion Petri nets Rokonuzzaman, Mohd., 1965- Discrete event development framework for highly reliable sensor fusion systems |
topic_facet |
Fault tolerance (Engineering) Multisensor data fusion Petri nets |
description |
Thesis (Ph.D.)--Memorial University of Newfoundland, 1999. Engineering and Applied Science Bibliography: leaves 131-137. Intelligent Systems are being deployed increasingly in safety and mission critical applications. This thesis has synthesized a novel engineering methodology for developing highly reliable sensor fusion systems (SFS) of multi-sensori intelligent systems for the applications in the safety and mission critical environments. This methodology includes both the avoidance of faults during the development phase and the tolerance of sensor failures during the operation phase. Petri net based novel discrete event framework has been proposed to model SFS as discrete event dynamic system. This intuitive mathematical framework abstracts the SFS as a hierarchically finite state machine. The intuitive graphical nature of this framework has the potential to enhance the communication between the developer and the client to capture sensing requirements resulting in avoidance of requirement errors. The mathematical attribute enables the developer to analyze different attributes of the modeled SFS to ensure logical and temporal correctness of the performance of the system. This proposed discrete event framework has been verified by simulating the design of an example sensor fusion system. The reasoning basis of the architecture of the underlying computing system from this Petri net model of the SFS has also been developed to ensure the temporal correctness during the operation phase. The use of redundancy to tolerate failure of sensors has been experimentally verified. Overheads have been identified to incorporate hardware fault-tolerance in this proposed SFS framework to tolerate sensor faults during the operation phase. A novel scheme has been developed to manage these overheads in a predictable manner. A fault-tree based novel scheme has been proposed to measure the probability of failure of different levels of fusion due to the failure of different sensors. A computationally simple scheme to detect transients present on the sensor data stream has been proposed with extensive simulation results to enhance system performance in operation phase. The loss of time sensitive data during the fault clearance intervals compromises the effectiveness of fault-tolerance in the SFS. A parallel sensing based novel scheme has been proposed to restore sensor data lost during the fault clearance intervals. The effectiveness of this proposed scheme has been experimentally verified by restoring data lost during fault clearance intervals of a triple modular redundant optical sensor. |
author2 |
Memorial University of Newfoundland. Faculty of Engineering and Applied Science |
format |
Thesis |
author |
Rokonuzzaman, Mohd., 1965- |
author_facet |
Rokonuzzaman, Mohd., 1965- |
author_sort |
Rokonuzzaman, Mohd., 1965- |
title |
Discrete event development framework for highly reliable sensor fusion systems |
title_short |
Discrete event development framework for highly reliable sensor fusion systems |
title_full |
Discrete event development framework for highly reliable sensor fusion systems |
title_fullStr |
Discrete event development framework for highly reliable sensor fusion systems |
title_full_unstemmed |
Discrete event development framework for highly reliable sensor fusion systems |
title_sort |
discrete event development framework for highly reliable sensor fusion systems |
publishDate |
1999 |
url |
http://collections.mun.ca/cdm/ref/collection/theses5/id/5380 |
genre |
Newfoundland studies University of Newfoundland |
genre_facet |
Newfoundland studies University of Newfoundland |
op_source |
Paper copy kept in the Centre for Newfoundland Studies, Memorial University Libraries |
op_relation |
Electronic Theses and Dissertations (35.66 MB) -- http://collections.mun.ca/PDFs/theses/Rokonuzzaman_Mohd.pdf a1357665 http://collections.mun.ca/cdm/ref/collection/theses5/id/5380 |
op_rights |
The author retains copyright ownership and moral rights in this thesis. Neither the thesis nor substantial extracts from it may be printed or otherwise reproduced without the author's permission. |
_version_ |
1766113361307631616 |