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 ENGINEERINGSYSTEMSThe model can be converted automatically into a PLC program, written in the standardized language of ladder diagrams. ... Copyright Ac 2004 IF AC Keywords: Dependability, programmable logic controllers, program design, finite state machines, ... INTRODUCTION Software systems are used in many application areas in which a malfunction of the system can endanger the environment or human life. ... The plant consists of a reactor vat and two bottle-filling lines fed by the vat.
|Title||:||Real-time Programming 2004 (WRTP 2004)|
|Author||:||Matjaž Colnarič, Wolfgang A. Halang, Marek Węgrzyn|
|Publisher||:||Gulf Professional Publishing - 2005|