pdf download - Software and Computer Technology - TU Delft

C.2 Model of the Power Supply Example Lydia Models
/ / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / /
/ / D e f i n i t i o n Cable
system Cable
(
bool p ,
bool q
) {
/ / 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
bool h ;
a t t r i b u t e h e a l t h ( h ) = 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 ) = h ? 0 . 9 2 : 0 . 0 8 ;
}
/ / d e f i n i t i o n b e h a v i o r
h => ( q = p ) ;
! h => ( q = f a l s e ) ; / / s t u c k −at −z e r o
/ / D e f i n i t i o n Fuse
system Fuse
(
bool p ,
bool q
) {
/ / 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
bool h ;
a t t r i b u t e h e a l t h ( h ) = 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 ) = h ? 0 . 9 0 : 0 . 1 0 ;
}
/ / d e f i n i t i o n b e h a v i o r
h => ( q = p ) ;
! h => ( q = f a l s e ) ; / / s t u c k −at −z e r o
/ / D e f i n i t i o n Low V o l t a g e Power Supply
system L o w v o l t a g e p o w e r s u p p l y
(
bool i n p u t ,
bool out1 , out2
) {
/ / 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
bool h ;
a t t r i b u t e h e a l t h ( h ) = 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 ) = h ? 0 . 9 6 : 0 . 0 4 ;
98
/ / d e f i n i t i o n b e h a v i o r
h => ( ( out1 = i n p u t ) and ( o ut2 = i n p u t ) ) ;