Formal modeling: a key deliverable for more reliable and innovative models
The Archi-CESAM project, supported by PEPR Cloud, has just released a document entitled: “Description of the Targeted Formal Modeling Languages and their Semantics.” Written by Zachary Assoumani, a doctoral student in the CONVECS team, this document presents an overview of the languages used for describing and verifying hardware architectures.
Why is this important?
Modeling languages are used to create simplified representations of complex systems (an electrical grid, air traffic, etc.). But for these models to be useful, they must be given clear “semantics”: basically, precisely defining what they represent and how to interpret them.
Deliverable L4.1, prepared by Zachary Assoumani, presents a set of rigorous methods for achieving this, citing the corresponding research work. The goal? To make it easier for engineers and researchers to adopt best practices in the design of circuits optimized for cloud applications by making informed choices.
Zachary Assoumani, author of this deliverable, recently passed his first thesis review committee, attended by Alexandre Duret-Lutz, a renowned expert in formal verification. Zachary also presented the results of his formal analysis of the specification of a high-performance cache at the RISC-V Summit Europe in Paris.
What if tomorrow, thanks to these advances, our systems became safer and smarter?