Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of the 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 Book

	Stability of Discrete Sampled Systems	1
	Issues in the Refinement of Distributed Programs	12
	Challenges in the Verification of Electronic Control Units	18
	Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction	19
	Decidable Model Checking of Probabilistic Hybrid Automata	31
	Invariant-Based Synthesis of Fault-Tolerant Systems	46
	Modeling Faults of Distributed, Reactive Systems	58
	Threshold and Bounded-Delay Voting in Critical Control Systems	70
	Automating the Addition of Fault-Tolerance	82
	Reliability Modelling of Time-Critical Distributed Systems	94
	A Methodology for the Construction of Scheduled Systems	106
	A Dual Interpretation of "Standard Constraints" in Parametric Scheduling	121
	Co-simulation of Hybrid Systems: Signal-Simulink	134
	A System for Object Code Validation	152
	Real-Time Program Refinement Using Auxiliary Variables	170
	On Refinement and Temporal Annotations	185
	Generalizing Action Systems to Hybrid Systems	202
	Compositional Verification of Synchronous Networks	214
	Modelling Coordinated Atomic Actions in Timed CSP	228
	A Logical Characterisation of Event Recording Automata	240
	Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata	252
	Probabilistic Neighbourhood Logic	264
	An On-the-Fly Tableau Construction for a Real-Time Temporal Logic	276
	Verifying Universal Properties of Parameterized Networks	291
	Author Index	305