Luca Santinelli

 

 

 

 

 

 

 

Ph.D. Luca Santinelli

Research Engineer and Assistant Professor

DTIS-SEAS, ONERA

2 Edouard Belin
31400 Toulouse, France
Phone: (+33) (0)5.62.25.28.60
Fax: (+33) (0)5.62.25.25.93
email: luca dot santinelli at onera dot fr
 
 

I am a fellow research engineer at the ONERA (French AereospaceLab) working in the SEAS team within the DTIS department (modeling and information processing).

I graduated in Electronic Engineering (specialization in Computer Science) at the Polytechnic University of Marche in 2003.

From 2003 to 2007 I worked for the MTS Group (now ARISTON Thermo) as software developer in the R&D department. He specialized on microcontroller and control systems.

In 2010 I completed the Ph.D. in Computer Science (curriculum in Innovative Technologies of Info. & Com. Eng. and Robotics) at the Scuola Superiore SantAnna working on real-time systems at the RETIS Laboratory. During the Ph.D. thesis, in 2008-2009 I was a visiting student at the ETH, Zurich working on real-time calculus and real-time scheduling within the TIK Laboratory.

In 2011-2012 I was a postdoc at LORIA, a joint unit within INRIA Nancy-Grand Est, CNRS and Nancy University, working within the  TRIO team.

My main research interests include real-time operating systems, schedulability and scheduling algorithms, energy aware scheduling, dynamic and adaptive resource reservation/allocation policies, probabilistic real-time modeling and analysis, real-time controls, formal methods and artificial intelligence.

My activity at the ONERA involves the modeling and analysis of safety-critical real-time systems.


Teaching:

System Programming (C and Advance C), ISAE France

Real-Time Systems, (Real-Time Operating Systems, multi-core scheduling, and WCET), ISAE France

Java, ISAE France

Cyber Physical Systems, ISAE France


Events: RTSS, ECRTS, EMSOFT, ETFA, RTNS, RTCSA, RTAS, DATE, SAC


Research Projects: CAPACITES, R2D2, IREHDO2, WIRELESS, PROARTIS, TIMMO-2-USE, IPERMOB, ANR-CORTEVA, ANR-CAPHCA


News:

Currently supervising Ph.D. candidate Jasdeep SINGH.

Currently supervising Internship of Julien Durand (ISAE student).

Propsing Ph.D. thesis subjects on "predictability of multi-core real-time systems" (ONERA Ph.D. subject #43), "real-time network analysis with probabilities", "predictability of GPU platforms".


CV

Luca Santinelli
Permanent Address: 6 boulevard des platanes,
31400 Toulouse, France
Telephone number +33 (0)5. 62. 25. 28. 60,
e-mail: luca.santinelli@onera.fr,
webpage: http://www.onera.fr/staff/luca-santinelli

Education
- 1995-2003 Degree in Computer Engineering, Università Politecnica delle Marche grade 110/110 cum
laude, with thesis “Analysis and Development of technique for the Fingerprint Matching”. Advisor Prof.
Tascini.
- January 2007-December 2010, Ph.D. candidate at Scuola Superiore Sant'Anna under the supervision
of Prof. Buttazzo. Research area: Real-Time Operating Systems Real-Time Scheduling and Bandwidth
Reservation with practical application on embedded systems, including WSNs.
- October 2008-September 2009, visiting student at the ETH in Zurich under the supervision of Prof.
Thiele, TIK Laboratory.
- July – December 2010, internship at the TRIO team of INRIA Nancy Grand Est under the supervision of
Liliana Cucu-Grosjean.
- December 2010: Ph.D. degree. Thesis titled: Adaptive Resource Reservation. Commission composed
by Prof. Giorgio Buttazzo, Prof. Lothat Thiele, and Liliiana Cucu-Grosjean.
- January 2011-May 2012: Postdoc at the TRIO team of INRIA Nancy Grand Est under the supervision of
Liliana Cucu-Grosjean.
- From June 2012: Research Engineer at the LAPS team, DTIM ONERA Toulouse.

Teaching experiences
Assistant professorship to the course ‘Sistemi Real-Time’ of Prof. Dragoni, Universita’ Politecnica delle
Marche, 2008-2009.
2012 - Qualification «maitre du conference» within the section 27 (Computer Science)
Assistant professor to the course ‘Real-Time Operating Systems’ of prof. Jerome Hugues at the ISAE
Toulouse, 2012.
Assistant Professor at the ISAE Toulouse from 2012: Embedded Systems, Real-Time Operating Systems,
Worst-Case Execution Time, Java, Multi-cores and System Programming classes.
Supervised Students: 7 Internship students, 3 Ph.D. student
Qualification "aux fonctions de maître de conférences" in 2012

Research interests
Real-Time Scheduling, Power-Aware Scheduling, Resource Reservation, Real-Time and Network Calculus,
Component-Based Design, Real-Time Operating Systems, Wireless Sensor Networks and Bandwidth
Allocation, Probabilistic Real-Time System Modeling and Scheduling.

Pubblications

Most of these articles may be copyright of ACM, IEEE or Springer (LNCS) . Please understand their copyright policy before reproducing these articles.

--------------------------------------------------------------------------------------

Book Chapters

--------------------------------------------------------------------------------------

- Distributed Surveillance in Wireless Visual Sensor Networks
Mangesh Chitnis, Paolo Pagano, Giuseppe Lipari, Caludio Salvadori, Matteo Petracca, Luca Santinelli; RetisLab, Scuola Superiore Sant'Anna; Visual Information Processing in Wireless Sensor Networks: Trends and Applications

- Analysis of Fingerprint through a Reactive Agent
Anna Montesanto, Guido Tascini, Paola Baldassarri and Luca Santinelli
Dipartimento di Elettronica Intelligenza Artificiale e Telecomunicazioni
Universita Politecnica delle Marche, Ancona
Systemics of Emergence: Research and Development
2006 by Sprinter Science+Business Media, Inc.
ISBN-10: 0-387-28899-6 (HB), ISBN-13: 978-0387-28899-4 (HB)
ISBN-10: 0-387-28898-8 (e-book), ISBN-13: 978-0387-28898-7 (e-book)

--------------------------------------------------------------------------------------

Journals

--------------------------------------------------------------------------------------

- Applying Real-Time Interface and Calculus for Dynamic Power Management in Hard Real-Time Systems
Kai Huang, Luca Santinelli, Jian-Jia Chen Lothar Thiele and Giorgio Buttazzo
TIK ETH, Zurich & RetisLab Scuola Superiore SantAnna, Pisa
Real-Time Systems, Springer publications.

- Toward Probabilistic Real-Time Calculus
Luca Santinelli and Liliana Cucu-Grosjean
TrioTeam, INRIA Nancy Grand Est, Nancy & RetisLab Scuola Superiore SantAnna, Pisa
ACM SIGBED Review

- PROARTIS : Probabilistically Analyzable Real-Time System
F. J. Cazorla, E. Quinones, T. Vardanega, L. Cucu-Grosjean, B. Triquet, G. Bernat, E. Berger, J. Abella, F.Wartel, M. Houston, L. Santinelli, L. Kosmidis, and C. Lo
BSC Barcelona, University of Padua, INRIA Nancy Grand Est, University of Massachusetts Amherst, Airbus France, , Rapita Systems
ACM Transactions on Embedded Computing Systems (TECS) 2013

- A Probabilistic Calculus for Probabilistic Real-Time Systems
Luca Santinelli and Liliana Cucu-Grosjean
ONERA Toulouse and INRIA Nancy Grand Est,
ACM Transactions on Embedded Computing Systems (TECS) 2015

- Towards EDF schedulability analysis of an extended timing definition language
Tomasz Kloda, Bruno d'Ausbourg, Luca Santinelli; ONERA Toulouse
ACM SIGBED Review 2014

- Probabilistic Component-Based Analysis for Networks
Luca Santinelli; ONERA Toulouse
ACM SIGBED Review 2016

- Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time
Samuel Jimenez Gil, Iain Bate, George Lima, Luca Santinelli, Adriana Gogonel and Liliana Cucu-Grosjean; University of York, University of Bahia, INRIA, ONERA Toulouse
IEEE Embedded Systems Letters, Sptember 2017

--------------------------------------------------------------------------------------

Conferences

--------------------------------------------------------------------------------------

- Periodic Power Management Schemes for Real-Time Event Streams
Kai Huang, Luca Santinelli, Jian-Jia Chen Lothar Thiele and Giorgio Buttazzo;TIK ETH, Zurich & RetisLab Scuola Superiore SantAnna, Pisa; In the 48th IEEE Conf. on Decision and Control (CDC 2009)
GENERAL CHAIRS' RECOGNITION AWARD FOR INTERACTIVE PAPERS

- Adaptive Dynamic Power Management for Hard Real-Time Systems
Kai Huang, Luca Santinelli, Jian-Jia Chen Lothar Thiele and Giorgio Buttazzo;TIK ETH, Zurich & RetisLab Scuola Superiore SantAnna, Pisa; In the 30th IEEE Real-Time Systems Symposium (RTSS 2009)

- Adaptive Power Management for Real-Time Event Streams
Kai Huang, Luca Santinelli, Jian-Jia Chen Lothar Thiele and Giorgio Buttazzo;TIK ETH, Zurich & RetisLab Scuola Superiore SantAnna, Pisa; In the 15th IEEE Conf. on Asia and South Pacific Design Automation Conference (ASP-DAC 2010)

- Dynamic and Adaptive Allocation of Applications on MPSoC Platforms
Andreas Shranzhofer, Luca Santinelli, Jian-Jia Chen Lothar Thiele and Giorgio Buttazzo;TIK ETH, Zurich & RetisLab Scuola Superiore SantAnna, Pisa; In the 15th IEEE Conf. on Asia and South Pacific Design Automation Conference (ASP-DAC 2010)

- A Component-Based Architecture for Adaptive Bandwidth Allocation in Wireless Sensor Networks
Luca Santinelli, Mangesh Chitnis, Christian Nastasi, Fabio Checconi, Giuseppe Lipari, Paolo Pagano
RetisLab Scuola Superiore SantAnna, Pisa; In Proceedings of the 5th IEEE Symposium on Industrial Embedded Systems (SIES 2010)

- Resource Adaptations with Servers for Hard Real-Time System
Nikolay Stoimenov, Lothar Thiele, Luca Santinelli, Giorgio Buttazzo;TIK ETH, Zurich & RetisLab Scuola Superiore SantAnna, Pisa; Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2010, ACM, 2010

- Energy-Aware Packet and Task Co-Scheduling for Embedded System
Luca Santinelli, Mauro Marinoni, Francesco Prosperi, Francesco Esposito, Gianluca Franchino and Giorgio Buttazzo;RetisLab Scuola Superiore SantAnna, Pisa; Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2010, ACM

- Multi-Moded Resource Reservation
Luca Santinelli, Giorgio Buttazzo, Enrico Bini;RetisLab Scuola Superiore SantAnna, Pisa & TrioTeam, INRIA Nancy Grand Est, Nancy; Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2011)

- A Component-Based Framework for Modeling and Analyzing ProbabilisticReal-Time Systems
Luca Santinelli, Patrick Meumeu, Dorin Maxim and Liliana Cucu-Grosjean;TrioTeam, INRIA Nancy Grand Est, Nancy; Proceedings of 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011)

- Platform-aware Bandwidth-oriented Energy Management Algorithm for Real-Time Embedded Systems
Mauro Marinoni, Mario Bambagini, Francesco Prosperi, Francesco Esposito, Gianluca Franchino, Luca Santinelli and Giorgio Buttazzo;RetisLab Scuola Superiore SantAnna, Pisa & TrioTeam, INRIA Nancy Grand Est, Nancy; Proceedings of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2011)

- On the Optimality of Priority Assignment for Probabilistic Real-Time Systems
Dorin Maxim, Olivier Buffet, Luca Santinelli, Liliana Cucu-Grosjean and Rob Davis;INRIA Nancy Grand Est, Nancy & Real-Time Research Group, University of York; Proceedings of the 19th International Conference on Real-Time and Network Systems (RTNS 2011)

- Measurement-Based Probabilistic Timing Analysis for Multi-path Programs
Liliana Cucu-Grosjean, Luca Santinelli, Michael Houston, Code Lo, Tullio Vardanega, Leonidas Kosmidis, Jaume Abella, Enrico Mezzetti, Eduardo Quiones, Francisco J. Cazorla;INRIA Nancy Grand Est, Rapita Systems, University of Padua, BSC Barcelona; In the Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS 2012)

- Modeling Uncertainties in Safety-Critical Real-Time Systems: a Probabilistic Component-Based Analysis
Dawood Kahn, Luca Santinelli, Liliana Cucu-Grosjean, Nicolas Navet;Trio Team Nancy Grand Est, Nancy
In Proceedings of the 7th IEEE Symposium on Industrial Embedded Systems (SIES 2012)

- Probabilistic Bandwidth Assignment in Wireless Sensor Networks
Dawood Kahn, Bilel Nefzi, Luca Santinelli, Mangesh Chitnis and YeQiong Song;TrioTeam, INRIA Nancy Grand Est, Nancy; In Proceedings of the 7th International Conference on Wireless Algorithms, Systems, and Applications (WASA 2012)

- Re-Sampling for Statistical Timing Analysis of Real-Time Systems
Dorin Maxim, Michael Houston, Luca Santinelli, Guillem Bernat, Robert Davis and Liliana Cucu-Grosjean
TrioTeam, INRIA Nancy Grand Est, Nancy & Rapita Systems York & University of York
In Proceedings of the 20th International Conference on Real Time and Network Systems conference (RTNS 2012)

- Analysis of Probabilistic Cache Related Pre-emption Delays
Robert I. Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza and Liliana Cucu-Grosjean;University of York, ONERA Toulouse, INRIA Nancy Grand Est; In the Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)

- Learning from Probabilities: Dependences within Real-Time Systems
Alessandra Melani, Eric Noulard and Luca Santinelli; ONERA Toulouse
Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013)

- Continuity for Network Calculus
Marc Boyer, Guillame Dufour and Luca Santinelli; ONERA Toulouse; In Proceedings of the 21th International Conference on Real Time and Network Systems conference (RTNS 2013)

- A Grouping Approach to Task Scheduling with Functional and Non-Functional Requirements
Luca Santinelli, Wolfgang Puffitsch, Arnaud Dumerat, Frederic Boniol, Claire Pagetti, and Victor Jegu; ONERA Toulouse and AIRBUS Toulouse; In Proceedings of the Embedded Real-time Software and Systems (ERTS 2014)

- Integrating end-system frame scheduling for more accurate AFDX timing analysis
Marc Boyer, Luca Santinelli, Nicolas Navet, Jörn Migge, Marc Fumey; ONERA Toulouse, Université of Luxembourg , RealTime-at-Work, Thales Avionics; In Proceedings of the Embedded Real-time Software and Systems (ERTS 2014)

- EDF Schedulability Analysis for an Extended Timing Definition Language
Tomasz Kloda, Bruno D'Ausbourg and Luca Santinelli; ONERA Toulouse
In Proceedings of the 9th IEEE Symposium on Industrial Embedded Systems (SIES 2014)

- WCET Measurement-based and Extreme Value Theory Characterisation of CUDA Kernels
Kostiantyn Berezovskyi, Luca Santinelli, Konstantinos Bletsas, Eduardo Tova; ISEP Porto and ONERA Toulouse; In Proceedings of the 22th International Conference on Real Time and Network Systems conference (RTNS 2014)

- Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis
Laura Carnevali, Alessandra Melani, Luca Santinelli, Giuseppe Lipari; University of Florence, Scuola Superiore Sant'Anna Pisa and ONERA Toulouse; In Proceedings of the 22th International Conference on Real Time and Network Systems conference (RTNS 2014)

- Adaptive mechanisms for component-based real-time systems
Giorgio Buttazzo, Luca Santinelli; Scuola Superiore Sant'Anna and ONERA; Adaptive Hardware and Software (NASA ESA conference) 2015

- EDF Schedulability Analysis on Mixed-Critical Systems with Permitted Failure Probability
Zhishan Guo, Luca Santinelli, Kecheng Yang; University of North Carolina Urbana Champain, ONERA

- Periodic state machine aware real-time analysis
Nicolas Gobillot, David doose, Charles Lesire, Santinelli Luca ONERA; ETFA 2011

- On the Reliability of the Probabilistic Worst-Case Execution Time Estimates
Fabrice Guet, Luca Santinelli, and Jérôme Morio ; ONERA Toulouse; In Proceedings of the Embedded Real-time Software and Systems (ERTS 2016)

- Measurement-Based Probabilistic Timing Analysis for Graphic Processor Unit
Kostiantyn Berezovskyi, Fabrice Guet, Luca Santinelli, Konstantinos Bletsas, and Eduardo Tovar; ONERA Toulouse & CISTER Porto; International Conference on Architecture of Computing Systems (ARCS 2016)

- Probabilistic Analysis of Cache Memories and Cache Memories Impacts on Multi-core Embedded Systems
Fabrice Guet, Luca Santinelli and Jerome Morio ; ONERA Toulouse; 11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016)

- Static Probabilistic Timing Analysis in Presence of Fault
Chao Chen, Luca Santinelli, Jerome Hugues, Giovanni Beltrame; Ecole Politechnique Montreal, ONERA Toulouse, ISAE
; 11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016)

- EDF Schedulability Test for the E-TDL Time-Triggered Framework
Tomasz Kloda, Bruno D’Ausbourg and Luca Santinelli; INRIA Paris & ONERA; 11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016)
BEST PAPER AWARD

- Measurement-Based Probabilistic Timing Analysis for Graphics Processor Units
Kostiantyn Berezovskyi, Fabrice Guet, Luca Santinelli, Konstantinos Bletsas, Eduardo Tovar; CISTER Porto & ONERA; International conference on Architecture of Computing Systems (ARCS 2016)

- Fault-aware sensitivity analysis for probabilistic real-time systems
Luca Santinelli, Zhishan Guo, Laurent George; ONERA & M S&T & University Paris Est/LIGM - ESIEE
IEEE Defect and Fault Tolerance in VLSI and Nanotechnology Systems Symposium (DFT 2016)

- Measurement-based real-time analysis of robotic software architectures
Nicolas Gobillot, Fabrice Guet, David Doose, Christophe Grand, Charles Lesire, Luca Santinelli; ONERA
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016)

- Architectural performance analysis of FPGA synthesized LEON processors
Corentin Damman, Gregory Edison, Fabrice Guet, Eric Noulard, Luca Santinelli, Jérôme Hugues; ISAE & ONERA; IEEE International Symposium on Rapid System Prototyping (RSP 2016)

- Revising Measurement-Based Probabilistic Timing Analysis
Luca Santinelli, Fabrice Guet, Jérôme Morio; ONERA
2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2017)

- Revising Measurement-Based Probabilistic Timing Analysis
Luca Santinelli and Zhishan Guo; Missouri S&T, ONERA
2017 Symposium on Dependable Software Engineering (Theories, Tools and Applications) SETTA 2017

- Schedulability Analysis for Mixed Critical Cyber Physical Systems
Luca Santinelli, David Doose, Guy Durrieu, Frederic Boniol, Charles Lesire, Christophe Grand, Onera, France; 1st IEEE International Conference on Industrial Cyber-Physical Systems (ICPS 2018)

-A Sensitivity Analysis for Mixed Criticality: Trading Criticality with Computational Resource

- A sensitivity analysis  for Mixed Criticality: Trading Criticality with Computational Resource
Luca Santinelli, Zhishan Guo; IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2018)

--------------------------------------------------------------------------------------

Workshops and WIP
--------------------------------------------------------------------------------------
 
- Extending Real-Time Calculus To Hierarchical Scheduling of Real-Time Components
Luca Santinelli, Giuseppe Lipari and Paolo Ancilotti; RetisLab Scuola Superiore SantAnna, Pisa
CRTS 2008 Workshop at the RTSS 2008
- BACCARAT: a Dynamic Real-Time Bandwidth Allocation Policy for IEEE 802.15.4
Christian Nastasi, Mauro Marinnoni, Luca Santinelli, Paolo Pagano, Giuseppe Lipari, Gianluca Franchino; RetisLab Scuola Superiore SantAnna, Pisa;Proceedings of the 6th IEEE International Workshop on Sensor Networks and Systems for Pervasive Computing (PerSeNS 2010)
- Improved sampling for statistical timing analysis of real-time systems
Dorin Maxim, Luca Santinelli and Liliana Cucu-Grosjean, TrioTeam, INRIA Nancy Grand Est, Nancy & RetisLab Scuola Superiore SantAnna, Pisa; Junior Workshop JRWRTC at the 18th International Conference on Real-Time and Network Systems RTNS, 2010.
- Toward Probabilistic Real-Time Calculus
Luca Santinelli and Liliana Cucu-Grosjean;TrioTeam, INRIA Nancy Grand Est, Nancy & RetisLab Scuola Superiore SantAnna, Pisa;CRTS 2010 Workshop at the RTSS 2010
- Task Execution Profile for Hybrid Scheduling in Real-Time Systems
Luca Santinelli;TrioTeam, INRIA Nancy Grand Est, Nancy;12e congrès annuel de la Société française de Recherche Opérationnelle et d’Aide à la Décision ROADEF 2011
- Probabilistic Real-Time Analysis
Luca Santinelli and Liliana Cucu-Grosjean; TrioTeam, INRIA Nancy Grand Est, Nancy; EVOLVE 2011
- Adaptive Schedulability Analysis
Luca Santinelli;TrioTeam, INRIA Nancy Grand Est, Nancy; RTSops 2011 Workshop at the ECRTS
- Probabilistic Sensitivity Analysis
Luca Santinelli, Liliana Cucu-Grosjean and Laurent George;TrioTeam, INRIA Nancy Grand Est, Nancy & University of Paris 12;RTSops 2011 Workshop at the ECRTS
- Improved Feasibility Regions: a Probabilistic Approach for Real-Time Systems
Luca Santinelli, Liliana Cucu-Grosjean and Laurent George;TrioTeam, INRIA Nancy Grand Est, Nancy & Paris Est, Paris; Junior Workshop JRWRTC at the 19th International Conference on Real-Time and Network Systems RTNS; 2011
- Probabilities for Mixed-Criticality Problems: Bridging the Uncertainty Gap
Bader Alhmad, Luca Santinelli, Sathish Gopalakrishnan and Liliana Cucu-Grosjean;UBC Vancouver & TrioTeam, INRIA Nancy Grand Est; WIP at the RTSS'11; 2011
- Dependent Probabilistic Real-Time
Luca Santinelli; ONERA, Toulouse; RTSops 2012 Workshop at the ECRTS
- Scheduling with Functional and Non-Functional Requirements: the Sub-Functional Approach
Luca Santinelli, Wolfgang Puffitsch, Claire Pagetti and Frederic Boniol; ONERA, Toulouse;WiP at the ECRTS 2013
- Dependent Probabilistic Real-Time
Tomaz Klodaz, Bruno D'Ausbourg and Luca Santinelli; ONERA, Toulouse; RTSops 2013 Workshop at the ECRTS 2013
- Towards EDF Schedulability Analysis of an Extended Timing Definition Language
Tomaz Klodaz, Bruno D'Ausbourg and Luca Santinelli; ONERA, Toulouse;RTSops 2013 Workshop at the ECRTS 2013
- On the sustainability of the Extreme Value Theory for WCET Estimation
Luca Santinelli, Jérôme Morio, Guillaume Dufour and Damien Jacquemart; ONERA;WCET at the ECRTS 2014
- Integrated DEvelopment Framework for Safety-Critical Embedded Systems
Luca Santinelli, Frederic Boniol, Eric Noulard, Claire Pagetti and Wolfgang Putsch; ONERA Toulouse;FMTV at the FM 2014
- Probabilities and Mixed-Criticalities: the Probabilistic C-Space
Luca Santinelli, Laurent George; ONERA Toulouse; University Paris Est/LIGM - ESIEE; WMC at the RTSS 2015
- Probabilistic Component-Based Analysis for Networks
Luca Santinelli; ONERA Toulouse; CRTS at the RTSS 2015
- On the Representativity of Execution Time Measurements: Studying Dependence and Multi-Mode Tasks
Fabrice Guet, Luca Santinelli, Jerome Morio; ONERA Toulouse; WCET at the ECRTS 2017
- Markov Chain Modeling of Probabilistic Real-Time Systems
Jasdeep Singh, Luca Santinelli, Guillaume Infantes, David Doose and Julien Brunel; ONERA, Toulouse;RTSops Workshop at the ECRTS 2017
- Use of probabilities and formal methods to control system criticality levels
Jasdeep Singh, Luca Santinelli, Zhishan Guo, Julien Brunel, David Doose and Guillaume Infantes;RTSops Workshop at the ECRTS 2018
- How effective is sensitivity analysis with probabilistic models?
Luca Santinelli; RTSops Workshop at the ECRTS 2018
- Toward Contention Analysis for Parallel Executing Real-Time Tasks
Fabrice Guet, Luca Santinelli, Jerome Morio, Guillaume Phavorin, and Eric Jenn ;WCET Workshop at the ECRTS 2018
- RTProb - Real-Time Probabilistic Tool for Probabilistic Schedulability Analysis using Markov Chain
Jasdeep Singh, Luca Santinelli, David doose, Julien Brunel, Guillaume Infantes; WATERS workshop at the ECRTS 2018
 
--------------------------------------------------------------------------------------
Technical Reports
--------------------------------------------------------------------------------------
- Analysis of Probabilistic Cache Related Pre-emption Delays
Robert I. Davis, Luca Santinelli, Sebastian Altmeyer, Claire Maiza and Liliana Cucu-Grosjean;York University 2013.
- Learning from Probabilities: Dependences within Real-Time Systems
Luca Santinelli, Eric Noulard and Alessandra Melani; ONERA Toulouse 2013
- Hypotheses verification and Extreme Value Theory applicability: probabilistic WCET estimation from an industrial case study
Luca Santinelli, Jerome Morio, David Doose, Guillaume Dufour, Eric Noulard and Frederic Boniol; ONERA Toulouse 2014
ONERA-DTIS-SEAS

Office national d'études et de recherches aérospatiales (ONERA)

Département Traitement de l’Information et Systèmes (DTIS)

ONERA - DTIS - Département Traitement de l’Information et Systèmes

L'unité SEAS (Systèmes Embarqués, Autonomes et Sûrs) a pour objet le développement et le fonctionnement sûr des systèmes embarqués et des systèmes autonomes. Dans cette optique, elle s'intéresse en particulier aux problématiques de la spécification, la conception et l'analyse, en mettant l'accent sur leurs aspects formels.

Les axes de recherche mis en œuvre pour répondre à ces différentes problématiques s'appuient sur : des langages de spécification formelle ; des langages de modélisation d'architectures de systèmes ou de leur comportement ; des techniques de vérification formelle ou d'analyse temps-réel ; des architectures et algorithmes de décision, de la planification de tâches à la gestion de leur exécution ; des architectures de décision et de gestion de mission multi-engins, réparties entre stations sols et systèmes embarqués ; et des outils et méthodes permettant l'implantation sur des plateformes physiques.
Les travaux de l'unité SEAS comportent également un volet expérimental avec une mise en œuvre sur différentes plateformes (drones, robotique, systèmes cyber-physiques, systèmes aéronautiques).

Interests

Research and more

Research Interests: i) Real-Time: scheduling, resource reservation and bandwidth allocation, ii) Probabilistic Real-Time: safety-critical/mixed-criticalities and timing guarantees with probabilities, iii) Component-based design and object-oriented programming languages, iv) Network calculus and realtime calculus and their probabilistic/stochastic versions, v) Artificial Intelligence

Private Interests: Sports (volleyball, skiing, football -- almost gone!, running, basketball, ...) reading, traveling, and computing






 

More...

I have studied Electronic Engineer with specialization in Computer Science at Ancona, Polytechnic University of Marche.

Electronic + Computer Science it is a mixture between information technology and electronic engineering. After the first 2 years of general courses such as maths and physics, it starts to be specific. First a couple of years of electronic and information technology and then, last year of my studies, I chose entirely the software technology catalog with Computer Architecture, Operating Systems, Advanced Programming Languages and Artificial Intelligence exams, to be focused on software engineering.

Master Thesis: Analysis and Development of technique for the Fingerprint Matching.

The study focuses on developing a complete fingerprint recognition system: enrollment  (fingerprint management) identification and recognition with Artificial Intelligence technique.


Travels: where I've been so far...

* Skiing in Austria, Italy, Switzerland, Spain, Andorre, and France

* USA: Chicago, Boston, New York, Washington + Arizona + US West coast: from San Diego to San Francisco (passing through Las Vegas)

* Canada: Montreal + Niagara Falls

* Italy: Sicily, Tuscany, ...

* Europe: Stockholm, Croatia, Normandy, Reims, Nantes, Barcelona, York, Malta, Berlin, Costa Brava and Pays Basques, Krakow

* Africa: Marrakesh

* Thailand

* Japan

Next to come: China? Australia?