pdf download - Software and Computer Technology - TU Delft

Lydia Models
C.3 The Models Constructed for the Case Study
( h EXT and h MVR and h MBU and h S t a n d ) => ( Vact = Vset ) ;
( h EXT and h MVR and h MBU and h S t a n d and h PEU ) => (
P a c t = P s e t ) ;
}
/ / d e f i n i t i o n e r r o r s i g n a l s
CURRENT ERROR = ( I a c t != I s e t ) ;
SPEED ERROR = ( Vact != Vset ) ;
( P a c t != P s e t ) => POSITION ERROR ;
e p o s = ( P a c t != P s e t ) ; / / by d e f i n i t i o n
h EXT => ( POSITION ERROR => ( e p o s or ! h PEU ) ) ;
POSVAL ERROR => ! h PEU ;
C.3.4
Model of the MBD-2 Implementation
This subsection lists the compositional model of the target system referred to as the beam propeller
movement of the frontal stand, implementation MBD-2, as described in Section 5.5.
/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
/ / / /
/ / ( c ) P h i l i p s Medical Systems / TU D e l f t / /
/ / / /
/ / Author : W.M. Lindhoud / /
/ / Filename : bpm−mbd2−c . s y s / /
/ / V e r s i o n : MBD−2, c o m p o s i t i o n a l / /
/ / Date : june , 2 0 0 6 . / /
/ / D e s c r i p t i o n : Model of t h e 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 , i m p l e m e n t a t i o n MBD−2, / /
/ / as p r e s e n t e d i n t h e MSc t h e s i s / /
/ / ” Automated F a u l t D i a g n o s i s a t PMS” / /
/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
/ / D e f i n i t i o n c o n t r o l loop
system C o n t r o l l o o p
(
bool A,
bool h c , h s ,
bool B
) {
/ / d e f i n i t i o n b e h a v i o r 1 c o n t r o l loop
( h c and h s ) => (B = A) ;
}
/ / D e f i n i t i o n s o f t w a r e e r r o r
system E r r o r
(
105