Seventh IEEE International Conference on Engineering of Complex Computer Systems: Proceedings : Skövde, Sweden, June 11-13, 2001Sten F. Andler, Michael Gerard Hinchey, Jeff Offut |
Contents
A Model for RealTime System Specification | 4 |
TILCOX an Extension of TILCO Temporal Logic | 15 |
OnLine Scheduling of RealTime Distributed Computers with | 26 |
Copyright | |
16 other sections not shown
Other editions - View all
Common terms and phrases
abstraction actuator aircraft algorithms analysis application approach architecture automata Bayesian probability behavior clock CM³ communication complex component-based components Computer Science configuration constraints context property corrective maintenance defined distributed domain evaluation event example execution faults Figure finite formal formula FTAM function graph hardware hybrid systems HyTech implementation input instance interactions interface JAS 39 Gripen language layers machine translation messages method model checker module nodes Notes in Computer object operators optimal parameters pc[i performance Petri nets precedence graph present preventive maintenance problem protocol queries reachability real-time systems refinement function requirements result RTTC scenario scheduling search engines Section self-stabilization semantics sensors sequence server software architecture Software Engineering Software Maintenance software systems source code specification structure synchronization tasks techniques temporal logic Theorem TILCO TILCO-X tion transition UPPAAL variables verification