We automate the creation of performance models out of standard design models. Such performance models can be automatically solved to evaluate performance aspects early in the development process
Read about our access-control mechanisms for models. We rely on a new domain-specific language tailored to the definition of RBAC rules on models and on its enforcement thanks to the automatic generation of security compliant (virtual) views.
Become an expert of software architecture modeling and analysis with AADL (Architecture Analysis and Design Language)
Looking at Cyber-Physical Systems from a modeling / software engineering perspective. What are the challenges and the opportunities?