Frédéric Boniol
Frédéric Boniol
ONERA - Office National d'Etudes et Recherches Aérospatiales
Adresse e-mail validée de onera.fr
Titre
Citée par
Citée par
Année
The landing gear system case study
F Boniol, V Wiels
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
1142014
Multi-task implementation of multi-periodic synchronous programs
C Pagetti, J Forget, F Boniol, M Cordovilla, D Lesens
Discrete event dynamic systems 21 (3), 307-338, 2011
982011
New Challenges for Future Avionic Architectures.
P Bieber, F Boniol, M Boyer, E Noulard, C Pagetti
AerospaceLab, p. 1-10, 2012
932012
Scheduling dependent periodic tasks without synchronization mechanisms
J Forget, F Boniol, E Grolleau, D Lesens, C Pagetti
2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2010
832010
Deterministic execution model on cots hardware
F Boniol, H Cassé, E Noulard, C Pagetti
International Conference on Architecture of Computing Systems, 98-110, 2012
592012
A multi-periodic synchronous data-flow language
J Forget, F Boniol, D Lesens, C Pagetti
2008 11th IEEE High Assurance Systems Engineering Symposium, 251-260, 2008
502008
Reducing state explosion with context modeling for model-checking
P Dhaussy, JC Roger, F Boniol
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011
402011
Latency and freshness analysis on IMA systems
M Lauer, J Ermont, F Boniol, C Pagetti
ETFA2011, 1-8, 2011
352011
Improving model checking with context modelling
P Dhaussy, F Boniol, JC Roger, L Leroux
Advances in Software Engineering 2012, 2012
342012
Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset
M Cordovilla, F Boniol, J Forget, E Noulard, C Pagetti
19th International Conference on Real-Time and Network Systems, 2011
332011
Analyzing end-to-end functional delays on an IMA platform
M Lauer, J Ermont, C Pagetti, F Boniol
International Symposium On Leveraging Applications of Formal Methods …, 2010
322010
A real-time architecture design language for multi-rate embedded control systems
J Forget, F Boniol, D Lesens, C Pagetti
Proceedings of the 2010 ACM Symposium on Applied Computing, 527-534, 2010
322010
Multiprocessor schedulability analyser
M Cordovilla, F Boniol, E Noulard, C Pagetti
Proceedings of the 2011 ACM Symposium on Applied Computing, 735-741, 2011
252011
Toward a wider use of formal methods for aerospace systems design and verification
YA Ameur, F Boniol, V Wiels
International Journal on Software Tools for Technology Transfer 12 (1), 1-7, 2010
232010
Safe allocation of avionics shared resources
L Sagaspe, G Bel, P Bieber, F Boniol, C Castel
Ninth IEEE International Symposium on High-Assurance Systems Engineering …, 2005
232005
A framework for distributing real-time functions
F Boniol, PE Hladik, C Pagetti, F Aspro, V Jégu
International Conference on Formal Modeling and Analysis of Timed Systems …, 2008
212008
Une méthode globale pour la vérification d’exigences temps réel: application à l’Avionique Modulaire Intégrée
M Lauer
192012
Experiences in using model checking to verify real time properties of a landing gear control system
F Boniol, V Wiels, E Ledinot
Conference ERTS'06, 2006
182006
Programming distributed reactive systems: a strong and weak synchronous coupling
F Boniol, M Adelantado
International Workshop on Distributed Algorithms, 294-308, 1993
181993
Robustness analysis of avionics embedded systems
Y Aït-Ameur, G Bel, F Boniol, S Pairault, V Wiels
ACM SIGPLAN Notices 38 (7), 123-132, 2003
172003
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20