Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Image document

COMMUNICATION INTEGRITY FOR FUTURE HELICOPTERS FLIGHT CONTROL SYSTEMS

Amira Zammali , Agnan de Bonneval , Yves Crouzet , Pascal Izzo , Jean-Maxime Massimi
34th Digital Avionics Systems Conference (DASC), 2015, Sep 2015, PRAGUE, Czech Republic. pp.6D2-1 - 6D2-14, ⟨10.1109/DASC.2015.7311453⟩
Communication dans un congrès hal-01275304v1
Image document

A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems

Amira Zammali , Agnan de Bonneval , Yves Crouzet
2014 IEEE 8th International Conference on Software Security and Reliability-Companion (SERE-C), Jun 2014, San Francisco, United States. ⟨10.1109/SERE-C.2014.18⟩
Communication dans un congrès hal-01780248v1
Image document

A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems

Amira Zammali , Agnan de Bonneval , Yves Crouzet
2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.215-222, ⟨10.1109/HASE.2015.39⟩
Communication dans un congrès hal-01780202v1
Image document

Communication integrity for slow-dynamic critical embedded systems

Amira Zammali , Agnan de Bonneval , Yves Crouzet
Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Communication dans un congrès hal-00926515v1