Luqi

• Managing real-time software projects
• Prototyping hard real-time Ada systems in a classroom environment
• Research aspects of rapid prototyping
• Research directions in software analysis, synthesis and certification