|
DIStributed and STOchastic systems, Logic |
Presentation
The context of this project is formal modeling, and analysis of behaviors of distributed systems. We want to address verification and supervision of distributed systems through formal modeling and automated reasoning on models. By distributed systems, we mean software architectures made of several independent communicating entities. In the 90’s the kind of system addressed was mainly telecommunication protocols. Nowadays, distributed systems are frequently web-based systems such as Web Services, but several aspects of distributed systems can be found in biological applications. Within this context, a challenge is to propose formal tools with potential applications to real systems. We want to address this challenge along three main axes: realism of models, quantitative analysis, and supervision.
Distol is a joint project between
Distol is an INRIA associated team, and was selected in 2013.
| News |
| July 2015 Submission of joint work on Time Petri nets |
| May 2015 S. Akshay visits SUMO for three weeks |
| May 2015 M. Dewaskar (CMI) joined SUMO for a master internship |
| March 2015 L. Hélouët visited CMI |
| February 2015 B. Genest visited NUS |
| January 2015 A joint paper on Petri nets Robustness was accepted in Fundamenta Informaticae |
| January 2015 S. Palaniappan (formerly at NUS) joined the SUMO team |
Main Research Themes:
- Distributed systems modeling.
- Stochastic systems.
- Logics, games techniques for supervision.
|
|
|
|