Practical Implementations of Embedded Software Using the ... - SIGAda

           


     




 


                
  ! " # 
# $  %&    





        
   
       

   

 
      
    
         
 
   Æ                   


 
        
   
        !" #$  %!" #$  ! 

   

 
    
  
       &        ' (        
  
   
  
  
 
 )      
         
  
          
         
 

 
      

 
      
    
          
 
   Æ                   
   )   *       
# '  (   &      &      +          &   



  


  $       
                  

  

   
   "

    
     
     
        
   

      
        ,      
   
 
- 
   

 
                
   & 

      

     

               
 

    
  

     !"     
 

    
  

     !" #$   
       %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% & '   

 ())  

   ())   

  
     

 "

  *      

 "

+
 ()    

   ())    ())  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

 $ ())  

 $ ())   

  
     

 "  $  

  ()

   ()  


  *      

 "  $  ()

  

 ()    *   ())    ())  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% & ' ()) 

    
      ()) 
 ()) ())  "        %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% & ' ()) 

    
      ()) 
 ()) ())  "       

.    "    $





.     
      
                  #                 
   
    
    
    

  
   &  "      
      
 
     &       /           
 
     
   
   
   &   .   0
         
    .  1  

    
         

 # /          
     2   
 
         &   & 

 
    
          

         & '    & ' 

  

 $    
 $     #,      

     

   #&

   

  $   #,      

  -.-#,    /      " 
   #,     

 #&

" ()) *  #&

"          %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% & '    & ' 

  

 $    
 $     #,      

     

    

 #&

   

  $   #,      

  -.-#,    /      " 
   #,     ()) 
 #&

" 

 #&

"         

.  1   3   4   " 






  

4  
    # "0 56718 7! 
 
 
   
     &        +           +    
 &   
 
     .  * 
 
        
    9
  
         +  )  
        
       " 
          +   #

  
   
    
           
    ) 
   &  # +           
       ) 
   &    
     4     :
        4   
        
 ;  #      .             
   

    
                  
   
               " 
   4G2=0>"1:::0: G
 1:::! G
 0 E3 3 8 4 
    3C 3    
 :
"      # $
 # @ D  1:::