WP1: Definition of a Domain Specific Language (DSL) for specifying
MCPS requirements
- WP1/D1: Preliminary Definition of a Domain-Specific specification
Language (PDF, public)
- WP1/D2: Complete Definition of a Domain-Specific specificaion
Language (PDF, public)
- WP1/D3: A reference document for the specifications involved
within the project (PDF, public)
(Deliverables WP1/D2 and WP1/D3 have been merged in a single
document)
WP2: Implementation of a “structured trace” library
- WP2/D1: Open source C++ library (first version, open source software)
- WP2/D2: Second version including improvements for trace analysis
(commercial software, please contact MinMaxMedical)
- WP2/D3: Generic Execution Traces Specification (PDF, public)
WP3: Monitor Generation and Implementation
WP4: Test assessment
- WP4/D1: Preliminary study and tool prototype (PDF, public)
- WP4/D2: Open source tool (included in the WP3/D1 ParTraP
interpreter, and in the ParTraP Examples Generator)
WP5: Further trace analysis
- WP5/D1: preliminary study (PDF, public)
- WP5/D2: tool (prototype software, not distributed)
WP6: Case study
- WP6/D1: Requirements study (PDF, public)
- WP6/D2: Method and tools study (PDF, public)
WP7: Dissemination
- Thèse de doctorat
- Yoann Blein. ParTraP: A Language for the Specification and
Runtime Verification of Parametric Properties. Software
Engineering [cs.SE]. Université Grenoble Alpes, 2019. English. ⟨tel-02269062⟩
- Publications
- Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland
Groz, et al.. Improving Trace Generation and Analysis for Medical
Devices. IEEE International Conference on Software Quality,
Reliability and Security Companion, QRS-C 2017, Jul 2017,
Prague, Czech Republic. pp.599-600, ⟨10.1109/QRS-C.2017.135⟩.
⟨hal-01657553⟩
- Yoann Blein, Yves Ledru, Lydie Du-Bousquet, Roland Groz.
Extending specification patterns for verification of parametric
traces. the 6th Conference on Formal Methods in Software
Engineering (FormaliSE'18), Jun 2018, Gothenburg, Sweden.
pp.10-19, ⟨10.1145/3193992.3193998⟩.
⟨hal-02004378⟩
- Yves Ledru, Yoann Blein, Lydie Du Bousquet, Roland Groz, Arnaud
Clere, et al.. Requirements for a Trace Property Language for
Medical Devices. the International Workshop on Software
Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018,
Gothenburg, Sweden. ⟨10.1145/3194696.3194699⟩.
⟨hal-02004396⟩
- Ansem Ben Cheikh, Yoann Blein, Salim Chehida, German Vega, Yves
Ledru, et al.. An Environment for the ParTraP Trace Property
Language (Tool Demonstration). Runtime Verification - 18th
International Conference, RV 2018, Nov 2018, Limassol,
Cyprus. pp.437-446, ⟨10.1007/978-3-030-03769-7_26⟩.
⟨hal-02004420⟩
- Communications, posters, presentations
- Yoann Blein. Identification de propriétés pour la validation
d'un système cyber-physique médical (session doctorant),
AFADL'16, Besançon, juin 2016 (PDF)
- Arnaud Clere. Trace today, improve tomorrow, 2017
- Yoann Blein, Lydie du Bousquet, Roland Groz, and Yves Ledru. An
Expressive DSL for Parametric Monitoring (Poster). Journées Nationales du GDR GPL,
Montpellier, juin 2017
- Arnaud Clere. Enhancing qDebug, Qt Contributors summit, 2017 (slides)
- Arnaud Clere. QDebug vs other tracing facilities, Qt
Contributors summit 2018 (slides)
- Yoann Blein , Ansem Ben Cheikh, Salim Chehida , German Vega,
Yves Ledru , Lydie du Bousquet. ParTraP: a language and its
toolset for the specification of parametric trace properties, .Journées
Nationales du GDR GPL, Toulouse, juin 2019 (poster)
- Eccami workshop: presentation of log analysis tools (december
2016)
- Fabrice Bertrand. Blue Ortho GPS Navigation system (slides)
- Arnaud Clère. Log Analysis Tools (slides)
- Yoann Blein. An overview of the monitoring engine (slides)