From 34f4b6d6185449c73306823bac3cd841c070996c Mon Sep 17 00:00:00 2001
From: Robin Clark <robin48gx@gmail.com>
Date: Sat, 19 Feb 2011 09:09:10 +0000
Subject: [PATCH] get the structure right on the introduction.

It needs cleaning up
---
 introduction/introduction.tex | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

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}