structure for chapter laid out

sw_model/sw_model.tex

@@ -1,6 +1,24 @@
-% $Id: ons calling functionsin Exp $
 
 %
+% strucure
+%
+% introduce concept, mapping s/w to FMMD
+%
+% yourdon data flow. Show transform bubbles and process for converting to a hierarchy of functiona calls
+% show h/w at the bottom, and s/w on top.
+% describe where s/w h/w interface occurs
+%
+% Talk about pre and post coonditions of contract s/w
+% get some nice refs on contract s/w
+% Now make the distinction that
+% pre condition violations are like componnt fault modes, and that a software function is
+% like a {\fg}. Now show that an analysed s/w function is a {\dc} where the 
+% symptoms of failure are failed post conditions.
+
+% now take a simple example, temp sensing
+% and design it top down.
+% interface to digitial I/O and an ADC
+
 
 \ifthenelse {\boolean{paper}}
 {