Table of Contents

 1 Scope            
 2 References   
        2.1 Normative references      
        2.2 Informative references   
 3 Definitions and abbreviations 
        3.1 Definitions         
        3.2 Abbreviations   
 4 Package conformance and compatibility             
 5 Package concepts for the core language               
        5.1 Time and Sampling         
        5.2 Data streams    
        5.3 The assert statement       
        5.4 Control structures for continuous and hybrid behaviour         
        5.5 The wait statement          
 6 TRI extensions for the package              
        6.1 triStartClock (TE → PA) 
        6.2 triReadClock (TE → PA)
        6.3 triNextSampling (TE → PA, SA → PA)          
        6.4 triBeginWait (TE → PA)  
        6.5 triProcessStep (PA → TE)
        6.6 triEndWait (PA → TE)     
        6.7 triSetStreamValue (TE → SA)       
        6.8 triGetStreamValue (TE → SA)      
 7 TCI extensions for the package              
        7.1 tciSetStreamValueReq (TE → CH)              
        7.2 tciSetStreamValue (CH → TE)     
Annex A – BNF and static semantics    
        A.1 Changed BNF rules         
        A.2 New BNF rules 
Bibliography