Advances in Real-Time Systems

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Chakraborty, Samarjit (Επιμελητής έκδοσης), Eberspächer, Jörg (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
• Θέματα: Engineering.; Computer communication systems.; Multimedia information systems.; Electrical engineering.; Communications Engineering, Networks.; Computer Communication Networks.; Multimedia Information Systems.

 This volume has been prepared in honor of Prof. Georg Färber, to celebrate his 34 years of service at TU München, as the Head of the Lehrstuhl für Realzeit-Computersysteme. It contains a collection of articles reflecting the state-of-the-art in the area of real-time systems. The topics included span over automotive software and electronics, software timing analysis, models for real-time systems, compilation of real-time programs, real-time microkernels and cyber-physical systems. It is intended to serve as a reference book for graduate-level courses. It will also be helpful to both researchers in the academia, as well as to practitioners from the industry. 

 Theoretical Foundations -- System Behaviour Models with Discrete and Dense Time -- Temporal Uncertainties in Cyber-Physical Systems -- Large-Scale Linear Computations With Dedicated Real-Time -- Architectures Interface-based Design of Real-Time Systems -- The Logical Execution Time Paradigm -- Connecting Theory and Practise -- Improving the Precision of WCET Analysis by Input Constraints and Model-derived Flow Constraints -- Reconciling Compilation and Timing Analysis -- System Level Performance Analysis for Real-Time Multi-Core and Network Architectures -- Trustworthy Real-Time Systems -- Predictably Flexible Real-time Scheduling -- Innovative Application Domains -- Detailed visual recognition of road scenes for guiding autonomous vehicles -- System architecture for future driver assistance based on stereo vision -- As Time Goes By: Research on L4-Based Real-Time Systems -- A Real-Time Capable Virtualized Information and Communication Technology Infrastructure for Automotive Systems -- Robot Basketball –A New Challenge For Real-Time Control -- FlexRay Static Segment Scheduling --  Real-Time Knowledge for Cooperative Cognitive Automobiles.