DATE 2009

E1 Real-time and Dependable Systems - Principles and Practice

Real-time programming languages and software; formal models for real-time systems; software performance analysis; worst case execution time analysis; scheduling and software estimation; real-time system optimization; verification; tools and design methods; adaptive real-time systems; dependable systems; software for safety critical systems; software architectures for sensor networks and networked control applications; network control and QoS for embedded applications.
 

Groups: