Recherche
Laboratoires.Ecoles, Collège et Formation doctorales
Stratégie. Séminaires, colloques. Sciences et société
Réseaux et pôles d'excellence. Investissements d'avenir (Labex)
Summer School on CPS 2014
7 juillet 2014 ... 10 juillet 2014
Université Joseph Fourier, PERSYVAL-Lab, and NASA-JPL are organizing the second edition of the Cyber-Physical Systems Summer School.
The broad objective of the CPS Summer School is to explore the manifold relationship between networked embedded systems ("the internet of things") and humans as their creators, users, and subjects.
The format of the Summer School is a four days meeting, organized around different aspects of rigorous engineering of Cyber-Physical Systems.
Grigore Rosu / Persyval-Lab
RV-Monitor and RV-Predict are two recent runtime verification systems developed by Runtime Verification, Inc. (http://runtimeverification.com), which incorporate and significantly extend runtime verification technology developed at the University of Illinois at Urbana-Champaign, such as JavaMOP and jPredict. This talk will present these systems in detail. RV-Monitor is an efficient monitoring library generator for parametric properties. A novel implementation of JavaMOP using RV-Monitor is also available. RV-Predict is a concurrency bug detector/predictor, which generates causal models expressed using constraints from program executions and then solves those using constraint solvers, e.g., Z3. The technique underlying RV-Predict is mathematically proved to generate the maximal causal model for any given execution, that is, no other dynamic detector/predictor can find more concurrency bugs analyzing the same execution trace.
Mots clés : persyval-lab
Informations
- Gricad Vidéos
- 1 janvier 2021 00:00
- Conférences
- Français
