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 for sensor networks and networked applications; network control and QoS for embedded applications.
