Inria
Inria.fr
Inria Channel
There are 51 Results with the keyword : "security"
Demo showroom
Some examples of dynamic simulations of compressible fluids
Team: BACCHUS
Keywords:
- BACCHUS
- Security
- Space
- Aeronautics
- Defence
- Compressible subsonic and transonic flows
- Mobile meshes
- Unstructured meshes
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > Quelques exemples de simulations
Demo showroom
IDrive: touch-screen mobile terminal for human/robot interaction
Keywords:
- Aeronautics
- Security
- Space
- Defence
- Human-robot interfaces
- Visual objects learning and recognition
- FLOWERS
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > IDrive : terminal mobile communicant tactile
Demo showroom
Flowers fields
Keywords:
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > Flowers fields
Demo showroom
Impact of advanced meshing methods in numerical simulation
Keywords:
- Security
- Adaptation
- Aeronautics
- Defence
- Space
- 3D mesh
- Anisotropic
- Fluid mechanics
- Multi-core parallelism
- GAMMA 3
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > Impact des méthodes de maillage avancées en simulation numérique
Demo showroom
EPSN: a scientific simulation management environment
Keywords:
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > EPSN : un environnement de pilotage de simulation scientifique
Demo showroom
Simulation of moving bodies in a fluid: applications to aerodynamics
Keywords:
- Aeronautics
- Security
- Space
- Defence
- Fluid-structure interaction
- Numerical simulations
- Aerodynamics
- MC2
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > Simulation de corps en mouvement dans un fluide
Demo showroom
Coron: a data and document search system
Keywords:
- Aeronautics
- Security
- Space
- Defence
- Knowledge discovery
- Document processing
- Data mining
- Text mining
- ORPAILLEUR
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > Coron : un système pour la fouille de données et de documents
Demo showroom
Verification of critical embedded systems with CADP 2009
The development of critical embedded systems requires tools to ensure their reliability from the first phases of their design. The CADP software toolbox permits the modeling and formal verification of these systems. We illustrate the use of CADP as part of several avionic case studies.
Keywords:
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > Vérification de systèmes embarqués critiques avec CADP 2009
Demo showroom
Verification of temporal constraints in critical embedded systems
Certain critical embedded systems in avionics or automotives are currently made up of dozens of computers running software with strong real-time constraints and exchanging thousands of data streams. We present a suite of analysis and simulation software making it possible to provide guarantees on the temporal behavior of embedded systems and optimize their hardware sizing.
Keywords:
- Scheduling
- Aeronautics
- Space
- Certification
- Security
- Defence
- Safety in functioning
- Temporal guarantees
- Embedded system
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > Vérification des contraintes temporelles dans les systèmes embarqués critiques
Demo showroom
Alt-Ergo, automatic proof for critical code certification Project team
Alt-Ergo is software for automatic theorem proving. It is dedicated to the deductive proof of programs, which reduces the correction of a program in relation to its specification with the validity of a logical formula. In particular, Alt-Ergo is at the end of the chain of proof platforms used in avionics. Depending on the complexity of the analyzed codes, there are thousands of formulas that must be proved. Because it is not possible to produce all of these proofs by hand, the use of a tool like Alt-Ergo is crucial for the scaling of this approach.
Keywords:
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > Alt-Ergo, preuve automatique pour la certification de code critique
Inria Research Centers
