Real-Time Programming 2004

This volume contains papers from the IFAC Workshop on Real-Time Programming. The aim of the Workshop was to bring together academic practitioners and industrialists involved in this important and expanding area of interest in order to exchange experiences on recent advances in this field.

Contents include:

* DEPENDABILITY AND SAFETY FOR REAL TIME SYSTEMS
* REAL-TIME PROGRAMMING TECHNIQUES
* SOFTWARE REQUIREMENT ENGINEERING
* CONTROL SYSTEMS DESIGN
* SOFTWARE DESIGN
* SOFTWARE ENGINEERING AND COMPLEX ENGINEERINGSYSTEMS