Scientific Themes

• Formal modeling of complex systems
• Ontology based modeling
• Databases integration and optimization
• Data and Interaction

Application Domains

• Modeling of technical knowledge
• Engineering of complex systems
• Avionic embedded systems
• Avionic embedded systems
• Data exchange and management, catalogues of technical components and exchange services
• Critical interactive systems

Set up methods, techniques and approaches

• Formal approaches for modeling and validation : modeling with Express, proof based approaches with B, Model-checking with Promel-Spin, SMV
• Meta-modeling techniques and model transformation techniques : Express
• Languages for services and workflow description
• Databases and data warehouses

Contact

• Yamine AIT-AMEUR and Guy PIERRA