Ada & Embedded/Real Time Linux

Professor Ted Baker

Ted Baker has worked in the area of both Ada compilation and real-time systems for two decades. Starting in 1979, he led the development of one of the first validated Ada cross-compilers for an embedded 16-bit microprocessor, working at Florida State University under contract to the USAF Armament Testing Laboratory. Since then, he has done research, development, and consulting related to real-time embedded computing, from basic research on scheduling and concurrency control through development of kernels and run-time system support for real-time programming languages. He has also been active in IEEE (POSIX) and ISO standards work related to real-time systems. Dr. Baker was a member of the SEI Rate Monotonic Analysis group, served as real-time area expert for the Ada 9X language mapping and revision team, and was a member of the 1997 National Research Council panel on Software Policies for the Department of Defense. He directed the FSU teams that developed several middleware products that are currently in use for production systems, including the FSU POSIX threads library, the Florist implementation of the POSIX.5 API, and the multitasking run-time system for the Gnu Ada (GNAT) compiler. He has been involved porting of the latter to several environments, including the Java Virtual Machine and RT Linux. Dr. Baker has a long-standing collaborative relationship with Ada Core Technologies, Inc., which provides support services for users of the above products. He recently completed a set of validation tests for the IEEE Std 1003.5b, the POSIX/Ada real-time bindings.