Advances in real-time systems

Front Matter....Pages i-x
Front Matter....Pages 1-1
System Behaviour Models with Discrete and Dense Time....Pages 3-25
Temporal Uncertainties in Cyber-Physical Systems....Pages 27-40
Large-Scale Linear Computations with Dedicated Real-Time Architectures....Pages 41-81
Interface-Based Design of Real-Time Systems....Pages 83-101
The Logical Execution Time Paradigm....Pages 103-120
Front Matter....Pages 121-121
Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints....Pages 123-143
Reconciling Compilation and Timing Analysis....Pages 145-170
System Level Performance Analysis for Real-Time Multi-Core and Network Architectures....Pages 171-189
Trustworthy Real-Time Systems....Pages 191-206
Predictably Flexible Real-Time Scheduling....Pages 207-221
Front Matter....Pages 223-223
Detailed Visual Recognition of Road Scenes for Guiding Autonomous Vehicles....Pages 225-244
System Architecture for Future Driver Assistance Based on Stereo Vision....Pages 245-255
As Time Goes By: Research on L4-Based Real-Time Systems....Pages 257-273
A Real-Time Capable Virtualized Information and Communication Technology Infrastructure for Automotive Systems....Pages 275-306
Robot Basketball – A New Challenge for Real-Time Control....Pages 307-322
FlexRay Static Segment Scheduling....Pages 323-339
Real-Time Knowledge for Cooperative Cognitive Automobiles....Pages 341-355