Accéder directement au contenu

Fabrice Kordon

34
Documents

Présentation

My research work is related to distributed systems, software engineering and formal methods. My goal is to provide verification tools dedicated to distributed systems and usable by engineers with little knowledge of the underlying techniques. So, I try to make a bridge between standard specification notation such as UML or AADL and optimized verification techniques based on Model Checking and the Analysis of structural properties of the system. My work mainly relies on Petri Nets I also try to provide prototype implementations of these techniques in dedicated verification tools. It is thus possible to assess these with realistic problems. So far, I tackle applications such Middleware, Intelligent Transport Systems, Intrusion Detection Systems, or wireless sensor networks that are typical examples of complex distributed systems.

Publications

laurent-pautet
Image document

Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems

Mathieu Jan , Christophe Jouvray , Fabrice Kordon , Antonio Kung , Jimmy Lalande
Software: Practice and Experience, 2012, 42 (12), pp.1467-1494. ⟨10.1002/spe.1143⟩
Article dans une revue inria-00628310v1

Design, implementation and verification of MILS systems

Julien Delange , Laurent Pautet , Fabrice Kordon
Software: Practice and Experience, 2012, 42 (7), pp.799-816. ⟨10.1002/spe.1151⟩
Article dans une revue hal-01176409v1

Validate, Simulate and Implement ARINC653 Systems using the AADL

Julien Delange , Laurent Pautet , Alain Plantec , Mickael Kerboeuf , Frank Singhoff
ACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
Article dans une revue hal-00745370v1

From the prototype to the final embedded system using the Ocarina AADL tool suite

Jérôme Hugues , Béchir Zalila , Laurent Pautet , Fabrice Kordon
ACM Transactions on Embedded Computing Systems (TECS), 2008, 7 (4), pp.42. ⟨10.1145/1376804.1376810⟩
Article dans une revue hal-01175916v1

Toward next-generation toward next-generation middleware ?

Fabrice Kordon , Laurent Pautet
IEEE Distributed Systems Online, 2005, 6 (3), ⟨10.1109/MDSO.2005.18⟩
Article dans une revue hal-01175924v1

Des vertus de la schizophrénie pour le prototypage d'applications à composants intéropérables

Laurent Pautet , Fabrice Kordon
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 23 (10), pp.1301-1328. ⟨10.3166/tsi.23.1301-1328⟩
Article dans une revue hal-01175940v1

DROOPI: Towards a generic Middleware

Thomas Quinot , Fabrice Kordon , Laurent Pautet
Ada Letters, 2001, 21 (2), pp.26-52. ⟨10.1145/568948.568949⟩
Article dans une revue hal-01198803v1

Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex

Gilles Lasnier , Thomas Robert , Laurent Pautet , Fabrice Kordon
10th international conference on New Technologies of Distributed Systems (NOTERE'2010), Jun 2010, Tozeur, Tunisia. pp.17-24, ⟨10.1109/NOTERE.2010.5536853⟩
Communication dans un congrès hal-01292569v1

Design, Verification and Implementation of MILS systems

Julien Delange , Laurent Pautet , Fabrice Kordon
The 21th International Symposium on Rapid System Prototyping, Jun 2010, Fairfax, VA, United States. pp.1-8
Communication dans un congrès hal-01288211v1
Image document

Modeling and Validation of ARINC653 architectures

Julien Delange , Laurent Pautet , Fabrice Kordon
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Communication dans un congrès hal-02269428v1

Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems

Gilles Lasnier , Thomas Robert , Laurent Pautet , Fabrice Kordon
13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), May 2010, Carmona, Spain. pp.87-91, ⟨10.1109/ISORC.2010.32⟩
Communication dans un congrès hal-01292574v1

Code Generation Strategies for Partitioned Systems

Julien Delange , Laurent Pautet , Fabrice Kordon
29th IEEE Real-Time Systems Symposium (RTSS'08), Dec 2008, Barcelona, Spain. pp.53-56
Communication dans un congrès hal-01303791v1

Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina

Jérôme Hugues , Béchir Zalila , Laurent Pautet , Fabrice Kordon
18th International Workshop on Rapid System Prototyping (RSP), May 2007, Porto Alegre, Brazil. pp.106-112, ⟨10.1109/RSP.2007.33⟩
Communication dans un congrès hal-01335114v1

A Framework for DRE Middleware, an Application to DDS

Jérôme Hugues , Fabrice Kordon , Laurent Pautet
International Symposium on Object-Oriented Real-time Distributed Computing (ISORC'06), Apr 2006, Gyeongju, South Korea. pp.224-231, ⟨10.1109/ISORC.2006.4⟩
Communication dans un congrès hal-01336642v1

Rapid Development Methodology for Customized Middleware

Thomas Vergnaud , Jérôme Hugues , Laurent Pautet , Fabrice Kordon
16th IEEE International Workshop on Rapid System Prototyping (RSP'05), Jun 2005, Montreal, Canada. pp.111-117, ⟨10.1109/RSP.2005.42⟩
Communication dans un congrès hal-01490881v1

Using the AADL to Describe Distributed Applications from Middleware to Software Components

Thomas Vergnaud , Laurent Pautet , Fabrice Kordon
Reliable Software Technologies (RST'05), Jun 2005, York, United Kingdom. pp.67-78, ⟨10.1007/11499909_6⟩
Communication dans un congrès hal-01493416v1

Towards Proof-Based Real-Time Distribution Middleware

Jérôme Hugues , Fabrice Kordon , Laurent Pautet
13th International Conference On Real-Time Systems (RTS '05), Apr 2005, Paris, France. pp.51-70
Communication dans un congrès hal-01489156v1

A Factory To Design and Build Tailorable and Verifiable Middleware

Jérôme Hugues , Fabrice Kordon , Laurent Pautet , Thomas Vergnaud
Workshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms (Monterey Workshop Series, 12th edition, 2005), Sep 2005, University of California, Irvine, United States. pp.121-142, ⟨10.1007/978-3-540-71156-8_7⟩
Communication dans un congrès hal-01335054v1

Revisiting COTS Middleware for DRE System

Jérôme Hugues , Laurent Pautet , Fabrice Kordon
International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '05), May 2005, Seattle, United States. pp.72-79, ⟨10.1109/ISORC.2005.46⟩
Communication dans un congrès hal-01489155v1

PolyORB : a Schizophrenic Middleware to Build Versatile Reliable Distributed Applications

Thomas Vergnaud , Jérôme Hugues , Laurent Pautet , Fabrice Kordon
9th International Conference on Reliable Software Technologies - Ada-Europe 2004, Jun 2004, Palma de Mallorca, Spain. pp.106-119, ⟨10.1007/978-3-540-24841-5_8⟩
Communication dans un congrès hal-01520674v1

On the Formal Verification of Middleware Behavioral Properties

Jérôme Hugues , Yann Thierry-Mieg , Fabrice Kordon , Laurent Pautet , Souheib Baarir
9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Sep 2004, Linz, Austria. pp.139-157
Communication dans un congrès hal-01520379v1

Refining Middleware Functions for Verification Purpose

Jérôme Hugues , Fabrice Kordon , Laurent Pautet
Workshop on Software Engineering for Embedded Systems, Sep 2003, Chicago, United States
Communication dans un congrès hal-01529288v1

Contributions to middleware architectures to prototype distribution infrastructures

Jérôme Hugues , Laurent Pautet , Fabrice Kordon
14th IEEE International Workshop on Rapid System Prototyping (RSP'03), Jun 2003, San Diego, CA, United States. pp.124-131, ⟨10.1109/IWRSP.2003.1207039⟩
Communication dans un congrès hal-01529290v1

A case study of Middleware to Middleware: MOM and ORB interoperability

Jérôme Hugues , Fabrice Kordon , Laurent Pautet , Thomas Quinot
4th International Symposium on Distributed Objects and Applications (DOA'02), Oct 2002, Irvine, CA, United States
Communication dans un congrès hal-01544387v1

From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models

Thomas Quinot , Fabrice Kordon , Laurent Pautet
3rd International Symposium on Distributed Objects and Applications (DOA'01), Sep 2001, Roma, Italy. pp.165-175, ⟨10.1109/DOA.2001.954082⟩
Communication dans un congrès hal-01571185v1

Architecture for a reuseable object-oriented polymorphic middleware

Fabrice Kordon , Laurent Pautet , Thomas Quinot
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Jun 2001, Las-Vegas, United States
Communication dans un congrès hal-01571190v1

Distributed Systems Design and Algorithms

Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Ouvrages hal-00779937v1

Models and Analysis in Distributed Systems

Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Ouvrages hal-00779944v1

Systèmes répartis en action : de l'embarqué aux systèmes à large échelle

Fabrice Kordon , Laurent Pautet , Laure Petrucci
Hermes, 2008, Traités IC2 - Informatique et systèmes d'information
Ouvrages hal-01304950v1

A Model-Based Approach To Configure and Reconfigure Avionics Systems

Julien Delange , Laurent Pautet , Fabrice Kordon
Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI Global, pp.509-541, 2011, 9781609600860. ⟨10.4018/978-1-60960-086-0.ch019⟩
Chapitre d'ouvrage hal-01288059v1

General introduction

Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Distibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩
Chapitre d'ouvrage hal-01288072v1

Introduction

Serge Haddad , Fabrice Kordon , Laurent Pautet , Laure Petrucci
Models and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142
Chapitre d'ouvrage hal-01282495v1

Introduction générale

Fabrice Kordon , Laurent Pautet , Laure Petrucci
Systèmes répartis en action : de l'embarqué aux systèmes à large échelle, 9, Hermès, pp.15-19, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1943-4
Chapitre d'ouvrage hal-01304954v1

Construction d'un intergiciel vérifié

Jérôme Hugues , Fabrice Kordon , Laurent Pautet
Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.265-287, 2006, 2-7462-1447-4
Chapitre d'ouvrage hal-01351785v1