pdf download - Software and Computer Technology - TU Delft
pdf download - Software and Computer Technology - TU Delft
pdf download - Software and Computer Technology - TU Delft
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
C.3 The Models Constructed for the Case Study Lydia Models<br />
/ / D e f i n i t i o n s o f t w a r e e r r o r<br />
system E r r o r<br />
(<br />
bool A, B ,<br />
bool ERROR<br />
) {<br />
/ / s o f t w a r e i s assumed t o be c o r r e c t ,<br />
/ / so t h e r u l e i s i n d e p e n d e n t of any h e a l t h<br />
ERROR = (A != B) ;<br />
}<br />
/ / D e f i n i t i o n P o t m e t e r / Encoder Unit<br />
system PEU<br />
(<br />
bool POSVAL ERROR,<br />
bool h<br />
) {<br />
}<br />
/ / d e f i n i t i o n b e h a v i o r<br />
POSVAL ERROR => ! h ;<br />
/ / D e f i n i t i o n LUC Extension<br />
system LUC Extension<br />
(<br />
bool e pos ,<br />
bool Pset , Pact ,<br />
bool POSITION ERROR ,<br />
bool h PEU ,<br />
bool h<br />
) {<br />
}<br />
/ / d e f i n i t i o n b e h a v i o r<br />
( P a c t != P s e t ) => POSITION ERROR ;<br />
e p o s = ( P a c t != P s e t ) ; / / by d e f i n i t i o n<br />
h => ( POSITION ERROR => ( e p o s or ! h PEU ) ) ;<br />
/ / D e f i n i t i o n beam p r o p e l l e r movement of t h e f r o n t a l s t a n d .<br />
system FS Beam Propeller Movement<br />
(<br />
bool e pos ,<br />
bool CURRENT ERROR, SPEED ERROR , POSITION ERROR ,<br />
bool POSVAL ERROR,<br />
bool h EXT , h MVR , h MBU , h St<strong>and</strong> , h PEU<br />
) {<br />
/ / d e c l a r a t i o n i n t e r m e d i a t e v a r i a b l e s<br />
bool I a c t , I s e t , Vact , Vset , Pact , P s e t ;<br />
102