diff --git a/introduction/introduction.tex b/introduction/introduction.tex index 8b66343..75c15a0 100644 --- a/introduction/introduction.tex +++ b/introduction/introduction.tex @@ -1,4 +1,22 @@ +% +% Structure to introduction +% +% +% Application Area - safety critical controllers - define safety critical - describe +% approval processes - describe static testing +% +% Now start looking at the philosophy of making PEC's +% safer. Describe what can and cannot be done. +% +% Point out errors in currently used techniques. +% Bottom-up vs. top down discussion +% +% No current common notation for static testing that models both software and hardware +% +% How a new methodology should plug these gaps +% +% \section{Introduction}