Julien Provost Inquiry for a post-doctoral position

LURPA, ENS Cachan 61, avenue du Président Wilson 94 235 Cachan cedex FRANCE B [email protected]

Education Since September 2008

2007–2008

PhD student, LURPA, ENS Cachan, Cachan, France. Domain: Automation Engineering. Title: Conformance test of sequential logic controllers specified in Grafcet. Under the supervision of Prof. Jean-Marc Faure and the co-supervision of Dr. Jean-Marc Roussel. Key points: ∗ Formalization of Grafcet specifications (IEC 60848) using stable location automation. ∗ Model translation and equivalence: stable location automaton to Mealy machine. ∗ Experimentation on a test-bench for PLCs (Programmable Logic Controllers). ∗ Proposition of a new property: Single Input Change-testability of a specification. The choice of using Grafcet specification is related to the LURPA background, but this approach can be extended to other specification models

Master of Science, ENS Cachan, Cachan, France, graduated summa cum laude. Master of Science in Complex Systems Engineering, Electrical and Automation Engineering, Industrial Automation and Networks, special field: Industrial Automation and Networks. Subjects: ∗ Formal systems engineering: modeling, verification and validation ∗ Discrete event systems: synthesis and analysis ∗ Dependability of discrete event systems: Markov chains, stochastic Petri nets ∗ Network modeling: network calculus, quality of service

2007

Laureate of the French Agrégation in Mechanical Engineering, Rank: 4. Agrégation is a high-level national competitive examination for recruiting teachers in prep schools or college

2006–2007

Preparation to the Agrégation, ENS Cachan, Cachan, France.

2005–2006

1st year of Master of Science (Master 1) in Mechanics and Systems Engineering, ENS Cachan, Cachan, France.

2004–2005

Bachelor of Science in Mechanical Engineering, UPMC Paris 6 University, Paris, France.

2004 2002–2004 2002

Passed competitive examination to the ENS Cachan. Preparation to the entry exams to the French “Grandes Écoles”, special field: Physics, Technology, and Industrial Science. Scientific French baccalaureate, optional subject: Industrial Science.

1/3

Collaborations and Projects TESTEC project (Test of Critical Real-Time Embedded Systems) Three-year project funded by the French Research Agency. This project is done in collaboration with two industrial partners (EDF R&D –French power supplier– and Dassault Systèmes –Software editor–) and four academic partners (LURPA ENS Cachan, INRIA Rennes, I3S Sophia-Antipolis and LaBRI Bordeaux). This project deals with benefits of coupling formal verification and conformance test.

MITPES project (Modeling, Implementation and Test of PLC-based Embedded Systems) Collaboration with Prof. Dr.-Ing. Birgit Vogel-Heuser (Chair of Information Technology in Mechanical Engineering, Technical University of Munich). This project deals with formalization of languages and models used for specification, verification and test.

Presentation of my Work August 2010

Talk at the WODES 2010 Conference, Berlin, Germany.

December 2010

Talk and demonstration at a French speaking workshop on experimental facilities for research in control and automation engineering, Angers, France.

November 2009

Talk at the MSR 2009 Conference, Nantes, France. Talk at the JD-JN-MACS 2009 Conference, Angers, France.

March 2009 November 2008, September 2009, and March 2010

Presentation and discussion in plenary meetings of TESTEC project, Rennes, Brest and Bordeaux, France.

May 2009, and October 2009

Presentation and discussion in plenary meetings of MITPES Project, Cachan, France and Munich, Germany.

July 2010

Presentation and discussion with Prof. Dr.-Ing. Jan Lunze, Cachan, France.

Teaching experience 2008-2009, 2009-2010, and 2010-2011

Department of Mechanical Engineering, ENS Cachan, Cachan, France. BSc in Mechanical Engineering: ∗ Basis of experimental techniques. ∗ Basis of mechanical engineering. 1st year MSc in Mechanics and Systems Engineering: ∗ Control of linear and continuous systems. ∗ Projects supervision:

- demonstration of aim and principle of conformance test; - implementation of Grafcet specification on FPGA; - complexity of algorithms for the Traveling Salesman Problem.

2/3

Languages French English Spanish

Mother language Fluent Basis

TOEIC score: 785/990 in 2006

Computer skills Office Programming Drawings

LATEX, Microsoft Office Python, PLC programming (IEC 61131-3 languages) GIMP, Inkscape

Publications and Software development Articles in international journals [1]

Julien Provost, Jean-Marc Roussel, and Jean-Marc Faure. Translating Grafcet specifications into Mealy machines for conformance test purposes. Control Engineering Practice, 2010. DOI: 10.1016/j.conengprac.2010.10.001. http://hal.archives-ouvertes.fr/hal-00547891.

[2]

François Chériaux, Laurence Picci, Julien Provost, and Jean-Marc Faure. Conformance test of logic controllers of critical systems from industrial specifications. In Proceedings of the European Safety & Reliability Conference (ESREL 2010), pages 1569–1576, September 2010. http://hal.archives-ouvertes.fr/hal-00483215.

[3]

Julien Provost, Jean-Marc Roussel, and Jean-Marc Faure. SIC-testability of sequential logic controllers. In Proceedings of 10th International Workshop on Discrete Event Systems (WODES 2010), pages 203–208, August 2010. http://hal.archives-ouvertes.fr/hal-00512767.

[4]

Julien Provost, Jean-Marc Roussel, and Jean-Marc Faure. Test sequence construction from SFC specification. In Proceedings of 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2009), June 2009. http://hal.archives-ouvertes.fr/hal-00394454.

Articles in proceedings of international conferences

Articles in proceedings of French conferences [5]

Julien Provost, Jean-Marc Roussel, and Jean-Marc Faure. Test exhaustif de contrôleurs logiques spécifiés en grafcet : apports et limites d’une modélisation par machines de mealy. In 7ième colloque francophone sur la Modélisation des Systèmes Réactifs (MSR 2009), pages 889–904, November 2009. http://hal.archives-ouvertes.fr/hal-00440343.

[6]

Julien Provost, Jean-Marc Roussel, and Jean-Marc Faure. Construction d’une séquence de test minimale à partir d’une spécification grafcet. In Actes des 3èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS 2009), March 2009. http://hal.archivesouvertes.fr/hal-00369851.

Software [7]

Julien Provost, Jean-Marc Roussel, and Jean-Marc Faure. TELOCO: TEst of LOgic COntrollers. Automatic generation of test sequences from Grafcet specifications: Formalization of Grafcet specifications, translation into Mealy machines and test sequence generation, 2010. http://www.lurpa.ens-cachan.fr/isa/teloco/.

3/3