ClearSy Workshop at HASLab

Date: 
Wednesday, March 6, 2019, 2:30pm - Thursday, March 7, 2019, 2:30pm

CLEARSY Safety Platform Video

TUTORIAL (CSSP.pdf)

Wednesday, March 6th, 2:30 PM (3 hours)
University of Minho
Room 1.09, Department of Informatics
Participation in this pratical workshop is limited to 30 participants (15 groups). Please send an email to Paula Rodrigues in case you are interested in participating.
Each group should have a machine with a Windows partition. 

Talk

Thursday, March 7th, 2:30 PM
INESC TEC
Auditorium B, Building B
Abstract: Formal Methods Software Development and safety Critical Systems

Software is getting more and more pervasive in the current world. This is particularly true for the safety critical systems where, for the highest safety levels, an error may induce injuries or deaths.
Designing and building such systems, compliant with their related standards, is a difficult task. It requires expert human resources, experience, and extreme care at all the stages of the development. The use of formal methods will be demonstrated during this presentation, for system / software development and for data validation, through a number of significant cases from industry.

 

 About the Speaker

Thierry Lecomte is R&D project Director at CLEARSY Systems Engineering in Aix en Provence (France).

He holds an Engineering Degree in Robotics from IMT Lille Douai (1989) and a Master Degree in Artificial Intelligence from the University of Technology of Compiègne (1989).

Currently he is in charge of the exploitation and dissemination of disruptive technologies for the automation of safety critical systems, including the B formal method, the CLEARSY Safety Platform and the Formal Data Validation. Thierry Lecomte has experience in the area of Computer Science, with emphasis on Formal Methods. More specifically, he was involved industrial and R&D projects aimed at smartcard certification and safety-critical systems in the Railways, defect-free embedded software, reverse engineering of black-box software (no source code), code generation for hardware and software targets, automated and interactive provers, deep learning applied to sound and image analysis. 

He has taught Software Development with the B Method at Universities and Engineering Schools in Europe as well as in North and South America.

                               

Most Relevant Publications

Disruptive Innovations for the Development and the Deployment of Fault-Free Software: Thierry Lecomte, 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018

Applying a Formal Method in Industry: a 25-Year Trajectory: Thierry Lecomte, David Deharbe, Etienne Prun, and Erwan Mottin, Brazilian Symposium on Formal Methods, SBMF 2017, Recife, Brazil, November 27 - December 01, 2017

Formally Checking Large Data Sets in the Railways, Thierry Lecomte, Lilian Burdy, Michael Leuschel: DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

Photos