diff --git a/mybib.bib b/mybib.bib index e6b1090..5433795 100644 --- a/mybib.bib +++ b/mybib.bib @@ -1,3 +1,19 @@ + + +@INPROCEEDINGS{721666, + author={Heraud, N. and Hassan Mazzour, E. and Alberti, C.}, + booktitle={Control Applications, 1998. Proceedings of the 1998 IEEE International Conference on}, title={Observability and sensor positioning for processes described by linear-bilinear equations}, + year={1998}, + month={sep}, + volume={2}, + number={}, + pages={1276 -1280 vol.2}, + keywords={Costs;Equations;Instruments;Linear systems;Mathematical model;Nonlinear systems;Observability;Process control;Sensor phenomena and characterization;Sensor systems;bilinear systems;linear systems;observability;sensors;state estimation;bilinear equations;bilinear system;linear equations;linear systems;observability;sensor positioning;state estimation;}, + doi={10.1109/CCA.1998.721666}, + ISSN={},} + + + @INPROCEEDINGS{5488118, author={Pace, C. and Libertino, S. and Crupi, I. and Marino, A. and Lombardo, S. and Sala, E.D. and Capuano, G. and Lisiansky, M. and Roizin, Y.}, booktitle={Instrumentation and Measurement Technology Conference (I2MTC), 2010 IEEE}, title={Compact instrumentation for radiation tolerance test of flash memories in space environment}, @@ -22,6 +38,34 @@ keywords={SEU tolerant flip-flop design;SEU-tolerant clock-gating scheme;TMR;are doi={10.1109/AHS.2011.5963919}, ISSN={},} +@article {ACS:ACS1297, + author = {Chamseddine, A. and Noura, H.}, + title = {Sensor network design for complex systems}, + journal = {International Journal of Adaptive Control and Signal Processing}, + volume = {26}, + number = {6}, + publisher = {John Wiley & Sons, Ltd}, + issn = {1099-1115}, + url = {http://dx.doi.org/10.1002/acs.1297}, + doi = {10.1002/acs.1297}, + pages = {496--515}, + keywords = {instrumentation, sensor network, complex systems, observability}, + year = {2012}, +} + +@INPROCEEDINGS{generic_automotive_fmea_6034891, + author={Muller, C. and Valle, M. and Armengaud, E. and Tengg, A.}, + booktitle={Industrial Informatics (INDIN), 2011 9th IEEE International Conference on}, title={A generic framework for failure modes and effects analysis of automotive networks}, + year={2011}, + month={july}, + volume={}, + number={}, + pages={293 -298}, + keywords={Analytical models;Dictionaries;Frequency selective surfaces;Network topology;Oscillators;Systematics;Topology;failure analysis;mobile radio;safety systems;EPL;FMEA;FlexRay-based distributed system;communication network technology;electrical physical layer;failure mode and effect analysis;generic framework;in-vehicle communication network;safety-relevant system development;}, + doi={10.1109/INDIN.2011.6034891}, + ISSN={},} + + @INPROCEEDINGS{swseatbelt, author={Emery D Berger}, booktitle={Communications of the ACM}, title={Software needs seatbelts and Airbags}, @@ -115,6 +159,7 @@ ISSN={Doi:10.1145/2330667.2330683},} @ARTICLE{fftoriginal, + title={An Algorithm for the Mechine Calculation of Complex Fourier Series}, author={James W. Cooley and John W. Tukey}, journal={Mathematics of Computation}, year={1965}, diff --git a/related_papers_books/FFT_ORIGINAL_PAPER_cooley-tukey.pdf b/related_papers_books/FFT_ORIGINAL_PAPER_cooley-tukey.pdf new file mode 100644 index 0000000..6ce0204 Binary files /dev/null and b/related_papers_books/FFT_ORIGINAL_PAPER_cooley-tukey.pdf differ diff --git a/related_papers_books/Observability_and_sensotr_positioning_00721666.pdf b/related_papers_books/Observability_and_sensotr_positioning_00721666.pdf new file mode 100644 index 0000000..fd4d2a8 Binary files /dev/null and b/related_papers_books/Observability_and_sensotr_positioning_00721666.pdf differ diff --git a/related_papers_books/Sensor_network_Design_for_complex_systems_acs1297.pdf b/related_papers_books/Sensor_network_Design_for_complex_systems_acs1297.pdf new file mode 100644 index 0000000..64449f3 Binary files /dev/null and b/related_papers_books/Sensor_network_Design_for_complex_systems_acs1297.pdf differ diff --git a/submission_thesis/CH2_FMEA/copy.tex b/submission_thesis/CH2_FMEA/copy.tex index 804137d..961613e 100644 --- a/submission_thesis/CH2_FMEA/copy.tex +++ b/submission_thesis/CH2_FMEA/copy.tex @@ -173,7 +173,7 @@ simultaneous\footnote{Multiple simultaneous failures are taken to mean failure t Often the effects of a failure mode may be easy to detect, and our equipment can react by raising an alarm or compensating for the resulting fault. Some failure modes may cause undetectable failure, for instance a component that causes a measured reading to change could have dire consequences yet not be obvious. -In fault diagnosis failures are said to be observable and unobservable. +In fault diagnosis failures are said to be observable and unobservable~\cite{721666, ACS:ACS1297}. \paragraph{Impracticality of Field Data for modern systems} @@ -673,7 +673,7 @@ certification for software, EN61508~\cite{en61508}, recommends hardware redundan with FMEDA for hardware: for software it recommends language constraints and quality procedures but no inductive fault finding technique. -FMEA has adapted from a cost saving exercise for mass produced items, to incorporating statistical techniques +FMEA has adapted from a cost saving exercise for mass produced items~\cite{bfmea,generic_automotive_fmea_6034891}, to incorporating statistical techniques (FMECA) to allowing for self diagnostic mitigation (FMEDA). However, it is still based on the single component failure mapped to system level failure. All these FMEA based methodologies have the following short comings: diff --git a/submission_thesis/CH5_Examples/software.tex b/submission_thesis/CH5_Examples/software.tex index 6f38695..9510a03 100644 --- a/submission_thesis/CH5_Examples/software.tex +++ b/submission_thesis/CH5_Examples/software.tex @@ -898,7 +898,7 @@ $$ fm(Pt100) = \{ OUT\_OF\_RANGE \} $$ \paragraph{PWM} %The PWM, in use, is a hardware register written to with an integer value~\cite{pic182523}[Ch.15]. From a programmatic perspective a PWM output is a register that software writes -an unsigned magnitude value to~\cite{pic182523}[Ch.15]. +an unsigned magnitude value to~\cite{pic18f2523}[Ch.15]. The PWM hardware module applies this using a mark space ratio proportional to that value, providing a means of varying the amount of power supplied. diff --git a/submission_thesis/CH6_Evaluation/copy.tex b/submission_thesis/CH6_Evaluation/copy.tex index b705fcd..014279d 100644 --- a/submission_thesis/CH6_Evaluation/copy.tex +++ b/submission_thesis/CH6_Evaluation/copy.tex @@ -569,7 +569,7 @@ the resistance of $R_3$. % As ohms law is linear, the accuracy of the reading will be determined by the accuracy of $R_2$ and $R_{3}$. It is reasonable to -take the mean square error of these accuracy figures~\cite{easp}. +take the mean square error of these accuracy figures~\cite{probstat}. \paragraph{Single Fault FMEA Analysis of $Pt100$ Four wire circuit} @@ -1026,7 +1026,7 @@ In practise these would probably float to low values but for the purpose of a safety critical analysis, all we can say is that the values are `floating' and `unknown'. This is an interesting case, because it is, at this stage an undetectable---or unobservable--- -fault. Unobservable faults are generally unacceptable in a safety critical environment~\cite{unobservability}. +fault. Unobservable faults are generally unacceptable in a safety critical environment~\cite{ACS:ACS1297,721666}. %that must be handled.