15th Triennial World Congress of the International Federation of Automatic Control
Barcelona, 2126 July 2002
Software Engineering for Real-Time Control
Session Slot:
T-Tu-M02
Area Code:
9b
Paper Title
Authors
Model Checking in Pattern Based Control Systems Design
Jüri Vain and Juhan Ernits
Task Decomposition Implementation In RT-Linux
J. Vidal, A. Crespo, P. Balbastre
A Minimal RT-Linux Embedded System for Control Applications
J. Vidal, P. Mendoza, J. Vila, A. Crespo, S. Sáez
Towards A Control Software Design Environment Using a Meta-Modelling Technique
D.N. Ramos-Hernandez, I. Zubizarreta, P.J. Fleming, S. Bennett and J.M. Bass
Java for Real-Time Process Control Systems
Baxter MJ and Hope S
GNAT-ORK: An Open Cross-Development Environment for Embedded Ravenscar-Ada Software
Juan Zamorano and José F. Ruiz