sécurité - Inria

Showroom des démos

EPSN : un environnement de pilotage de simulation scientifique

Mots-clés :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > EPSN : un environnement de pilotage de simulation scientifique

Showroom des démos

Écoulements complexes pour l’ingénierie spatiale et offshore

Mots-clés :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Écoulements complexes pour l’ingénierie spatiale et offshore

Showroom des démos

Simulation de corps en mouvement dans un fluide : applications à l’aérodynamique

Mots-clés :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Simulation de corps en mouvement dans un fluide

Showroom des démos

Parallélisation d’applications et Infrastructures Grid-Cloud d’entreprise avec ProActive Parallel Suite

Mots-clés :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Parallélisation d’applications et Infrastructures Grid-Cloud

Showroom des démos

Coron : un système pour la fouille de données et de documents

Mots-clés :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Coron : un système pour la fouille de données et de documents

Showroom des démos

MAQAO : mise au point de performances applicatives sur architectures multicœurs

Mots-clés :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > MAQAO : mise au point de performances applicatives sur architectures multicœurs

Showroom des démos

Vérification de systèmes embarqués critiques avec CADP 2009

Le développement de systèmes embarqués critiques nécessite des outils permettant d'en assurer la fiabilité dès les premières phases de leur conception. La boîte à outils logiciels CADP permet la modélisation et la vérification formelle de ces systèmes. Nous illustrons l'utilisation de CADP dans le cadre de plusieurs études de cas avioniques.

Mots-clés :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Vérification de systèmes embarqués critiques avec CADP 2009

Showroom des démos

Vérification des contraintes temporelles dans les systèmes embarqués critiques

Certains systèmes embarqués critiques dans l’avionique ou l’automobile sont aujourd’hui constitués de dizaines de calculateurs qui exécutent du logiciel ayant de fortes contraintes temps réel et échangent des milliers de flux de données. Nous présentons une suite de logiciels d’analyse et de simulation qui permettent de donner des garanties sur le comportement temporel des systèmes embarqués et d’optimiser leur dimensionnement matériel.

Mots-clés :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Vérification des contraintes temporelles dans les systèmes embarqués critiques

Showroom des démos

Optimisation de la planification des opérations

Nous présentons les problématiques de planification de la production, de l’optimisation combinée des tournées de livraison liée à la gestion d’inventaires, de l’optimisation de la collecte des déchets, de la construction du programme de vol et rotation d’équipage, et de l’optimisation de la conception.

Mots-clés :

Accueil > Innovation > Secteurs industriels > Aéronautique, défense, spatial, sécurité > Démos > Optimisation de la planification des opérations

Showroom des démos

Alt-Ergo, preuve automatique pour la certification de code critique

Alt-Ergo est un logiciel pour la démonstration automatique de théorèmes. Il est dédié à la preuve déductive de programmes, qui réduit la correction d'un programme par rapport à sa spécification à la validité d'une formule logique. En particulier, Alt-ergo est situé en bout de chaîne de plate-formes de preuve utilisées dans l'avionique. Selon la complexité des codes analysés, ce sont des milliers de formules qu'il faut prouver. Parce qu'il n'est pas envisageable de faire toutes ces preuves à la main, l'utilisation d'un outil comme Alt-Ergo est cruciale pour le passage à l'échelle de cette approche."