pdf download - Software and Computer Technology - TU Delft

C.3 The Models Constructed for the Case Study Lydia Models
/ / d e c l a r a t i o n components
system Component peu ;
}
/ / d e f i n i t i o n b e h a v i o r
( ! CURRENT ERROR and !SPEED ERROR) = P s e t ;
h S t a n d => ( P s e t => r e a l p o s i t i o n ) ;
peu ( r e a l p o s i t i o n , P a c t a n a l o g , h PEU ) ;
h EXT => ( e p o s = ! P a c t a n a l o g ) ;
/ / 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 .
system FS Beam Propeller Movement
(
bool I a c t , I s e t ,
bool Vact , Vset ,
bool e pos ,
bool Imvr , I t o m o t o r , I f r o m m o t o r , I a c t a n a l o g ,
bool Vmvr , V to motor , t o r q u e , r e a l s p e e d , V a c t a n a l o g ,
bool r e a l p o s i t i o n , P a c t a n a l o g ,
bool CURRENT ERROR, SPEED ERROR , POSITION ERROR ,
bool POSVAL ERROR, c t r s p e e d ,
bool h EXT , h MVR , h MotorBrake , h Stand , h PEU
) {
/ / 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
bool Pact , P s e t ;
112
/ / d e f i n e v a r i a b l e s t h a t a r e a l r e a d y o b s e r v e d
/ / c u r r e n t l y d e f i n e d : F a u l t s c e n a r i o C1 ( c u r r e n t e r r o r )
CURRENT ERROR = t r u e ;
SPEED ERROR = f a l s e ;
e p o s = f a l s e ;
c t r s p e e d = f a l s e ;
POSITION ERROR = f a l s e ;
POSVAL ERROR = f a l s e ;
/ / d e c l a r a t i o n a d d i t i o n a l o b s e r v a b l e s
a t t r i b u t e o b s e r v a b l e ( I mvr , I t o m o t o r , I f r o m m o t o r ) =
t r u e ;
a t t r i b u t e o b s e r v a b l e ( r e a l s p e e d ) = t r u e ;
a t t r i b u t e o b s e r v a b l e ( Vact , Vset ) = t r u e ;
a t t r i b u t e o b s e r v a b l e ( I a c t , I s e t ) = t r u e ;
/ / d e c l a r a t i o n h e a l t h v a r i a b l e s
a t t r i b u t e h e a l t h ( h EXT ) = t r u e ;
a t t r i b u t e p r o b a b i l i t y ( h EXT ) = h EXT ? 0 . 9 7 : 0 . 0 3 ;
a t t r i b u t e h e a l t h (h MVR) = t r u e ;
a t t r i b u t e p r o b a b i l i t y (h MVR) = h MVR ? 0 . 9 8 : 0 . 0 2 ;