The verification of High-Integrity Real-Time systems combines heterogeneous concerns:
preserving timing constraints, ensuring behavioral invariants, or specific execution patterns …

Hybrid systems with both discrete and continuous dynamics are an important model for real-
world cyber-physical systems. The key challenge is to ensure their correct functioning wrt …

Formal methods are crucial in program specification and verification. Instead of building
cases to test functionalities, formal methods specify functionalities as properties and …

This paper seeks to model the Integrated Modular Avionics (IMA) using Architectural
Analysis and Design Language (AADL). In particular, the mechanism to describe the …

Decentralized systems have been widely developed and applied to address security and
privacy issues in centralized systems, especially since the advancement of distributed …

Most formal methods see the correctness of a software system as a binary decision.
However, proving the correctness of complex systems completely is difficult because they …

Abstract Model Driven Development (MDD) focuses on the intensive use of models during
software development. In this paradigm, models are the central development artifact …

[en] Domain Specific Modeling Languages (DSMLs) tend to play a central role in modern
design processes as they enable the effective involvement of domain experts by focusing on …

Dans une démarche classique d'ingénierie dirigée par les modèles (IDM), l'ingénieur
modélise son système à l'aide d'une notation semi-formelle, le valide puis l'implante. L'étape …

Digital Twin are a new technology that is taking over manufacturing and production
processes while lowering their costs. These technology has proven to be a key enabler for …