The broad aim of the work is to provide theoretically sound but practical methods and tools to aid the development and assessment of high integrity systems. Design, specification, analysis, programming languages, scheduling technologies, operating systems, networking, multi-media and artificial intelligence. The TimeWare Project is devoted to building tools for the design and implementation of concurrent, real-time systems. The project has as a goal researching and developing real-time kernels for a multimedia environment. The Flux Research Group works in software systems.
Web Site includes complete product information and pricing.