Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques

Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques

Les systèmes embarqués critiques (utilisés dans le domaine avionique, militaire ou médical) doivent assurer une continuité de service et la sécurité des données qu'ils contiennent ou échangent. La garantie de ces exigences s'effectue au travers d'un processus de développement rigoureu...

Full description

Bibliographic Details
Main Author:	Delange, Julien
Language:	FRE
Published:	Télécom ParisTech 2010
Subjects:	Avionique sécurité sûreté AADL Arinc653
Online Access:	http://pastel.archives-ouvertes.fr/pastel-00006301 http://pastel.archives-ouvertes.fr/docs/00/55/93/52/PDF/thesis_Delange.pdf

Similar Items

Caractérisation de la sûreté de fonctionnement de systèmes à base d'intergiciel
by: Marsden, Eric
Published: (2004)

Caractérisation de la sûreté de fonctionnement de systèmes à base d'intergiciel
by: Marsden, Eric
Published: (2004)

Valorisation de l'Ingénierie Système à Base de Modèles, pour l'analyse de sûreté de fonctionnement des systèmes complexes critiques intégrant des COTS
by: Cressent, Robin
Published: (2012)

Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques
by: Sergey Mikhailovich Staroletov, et al.
Published: (2019-10-01)

A Framework for Model and Verification of Safety-Critical Operating System Based on ARINC653
by: Wenjing Xu, et al.
Published: (2021-08-01)

Linux OS integrated modular avionics application development framework with apex API of ARINC653 specification
by: Anna V. Korneenkova, et al.
Published: (2017-02-01)

Valorisation de l'Ingénierie Système à Base de Modèles, pour l'analyse de sûreté de fonctionnement des systèmes complexes critiques intégrant des COTS
by: Cressent, Robin
Published: (2012)

Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques
by: Fayollas, Camille
Published: (2015)

Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques
by: Rugina, Ana-Elena
Published: (2007)

Design and architecture of real-time operating system
by: K. M. Mallachiev, et al.
Published: (2018-10-01)

Les chemins de faire de la surveillance : une sociologie des dispositifs de sécurité et de sûreté ferroviaires en France
by: Castagnino, Florent
Published: (2017)

Privatisation des activités de sécurité privée et de défense : la fin des Etats ?
by: Le Saux, Nicolas
Published: (2014)

Catalogue de patrons de sécurité, de fiabilité et de sûreté dans le contexte des habitats intelligents pour personnes ayant des troubles cognitifs
by: Busnel, Pierre
Published: (2014)

Catalogue de patrons de sécurité, de fiabilité et de sûreté dans le contexte des habitats intelligents pour personnes ayant des troubles cognitifs
by: Busnel, Pierre
Published: (2014)

Behavior Modeling on ARINC653 to Support the Temporal Verification of Conformed Application Design
by: Kui Zhang, et al.
Published: (2019-01-01)

Une approche intégrée pour la validation et la génération de systèmes critiques par raffinement incrémental de modèles architecturaux
by: Lasnier, Gilles
Published: (2012)

La réalisation des sûretés réelles
by: Dols-Magneville, Mathilde
Published: (2013)

Integrerad modulär avionik med virtualisering
by: Enkvist, Clas
Published: (2013)

Portable and Configurable Implementation of ARINC-653 Temporal Partitioning for Small Civilian UAVs
by: Hyun-Chul Jo, et al.
Published: (2019-01-01)

Conception et validation de systèmes informatiques à haute sûreté de fonctionnement
by: Pilaud, Eric
Published: (1982)

Sécurité en région frontalière: les relations transgouvernementales de la Sûreté du Québec
by: Poliquin, Myriam
Published: (2014)

Approche orientée modèles pour la sûreté et la sécurité des systèmes embarqués
by: Li, Letitia
Published: (2018)

La gouvernance de la sûreté des transports
by: Gualino Tamonino, Matthieu
Published: (2015)

Modélisation conjointe de la sûreté et de la sécurité pour l’évaluation des risques dans les systèmes cyber-physiques
by: Kriaa, Siwar
Published: (2016)

La concurrence entre les sûretés
by: Michel, Claire-Anne
Published: (2016)

Sûretés et droits européens
by: Bernard, Aude
Published: (2016)

Amélioration de la sûreté de fonctionnement des dispositifs de stockage d'énergie
by: Venet, Pascal
Published: (2007)

La notion de sûreté à l'épreuve des spécificités des déplacements aériens et ferroviaires
by: Lauga, Jean-Charles
Published: (2018)

Analyse Comparative du Fonctionnement et de la Sûreté de Systèmes Sous-critiques et de Réacteurs Critiques Innovants
by: Bokov, Pavel M.
Published: (2005)

Modélisation compositionnelle d'architectures globalement asynchrones - localement synchrones (GALS) dans un modèle de calcul polychrone
by: Ma, Yue
Published: (2010)

Des relations entre sûreté et sécurité
by: Piètre-Cambacédès, Ludovic
Published: (2010)

ISSUES RELATED TO DEVELOPMENT OF ON-BOARD SYSTEMS WITH DESIGN OF INTEGRATED MODULAR AVIONICS
by: V. Kostenko, et al.
Published: (2016-09-01)

Motifs formels d'architectures de systèmes pour la sûreté de fonctionnement
by: Kehren, Christophe
Published: (2005)

Analyses de sûreté de fonctionnement multi-systèmes
by: Bernard, Romain
Published: (2009)

Déploiement auto-adaptatif d'intergiciel sur plate-forme élastique
by: Faye, Maurice-Djibril
Published: (2015)

Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances
by: Kaâniche, Mohamed
Published: (1999)

Usage of databases in ARINC 653-compatible real-time systems
by: Fri, Martin, et al.
Published: (2010)

Le facteur humain dans la mise en oeuvre de la sécurité et de la sûreté maritimes : analyse de l'inscription de la Tunisie dans l'ordonnancement juridique international
by: Ismaili, Syrine
Published: (2012)

Analyses de sûreté de fonctionnement multi-systèmes
by: Bernard, Romain
Published: (2009)

Vers une approche intégrée d'analyse de sureté de fonctionnement des systèmes mécatroniques
by: Mhenni, Faïda
Published: (2014)