pdf download - Software and Computer Technology - TU Delft

Appendix C
Lydia Models
This appendix lists the Lydia models that are discussed in this thesis.
C.1 The Synthetic Models that are Used in this Thesis
C.1.1
Structural Model of the 3-inverter Example
system i n v e r t e r ( b ool i , h , o )
{
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 9 : 0 . 0 1 ;
}
/ / I f h e a l t h y , a c o r r e c t i n p u t r e s u l t s i n a c o r r e c t
o u t p u t
h => ( i = o ) ;
system i n v e r t e r s 3
(
bool c o r r e c t w , / / i n p u t
bool hA , hB , hC , / / h e a l t h s
bool c o r r e c t y , c o r r e c t z / / o u t p u t s
)
{
/ / D e c l a r a t i o n i n t e r n a l v a r i a b l e s
bool c o r r e c t x ;
/ / D e c l a r a t i o n 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 ( c o r r e c t y , c o r r e c t z ) = t r u e ;
/ / D e c l a r a t i o n i n v e r t e r s
system i n v e r t e r invA , invB , invC ;
/ / i n p u t i s assumed t o be c o r r e c t
91