Real-Time Programming

I am in charge of a Safety-Critical Java (SCJ) project, our goal is to provide first open-source implementation of SCJ Virtual Machine. This project is part of the JSR-302.

Related Projects:

• SCJ Project
• CDx Project

Component-Oriented Programming

My key interest is to define a component-oriented approach to design reflective and highly adaptable middleware architectures for distributed, real-time, and embedded systems.

Related Projects:

• Soleil Project
• Hulotte Project

Model Checking

I am a huge fan of model checking and formal verification methods. My biggest contributions in this field is a new approach to model checking of isolated software components, using Java PathFinder model checker.

Related Projects:

• Carmen Project