About DBpedia Fr

About: http://fr.dbpedia.org/resource/Sûreté_de_fonctionnement_des_logiciels_aérospatiaux

An Entity of Type : Thing, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

La sûreté de fonctionnement des logiciels aérospatiaux correspond à la mesure du risque d'un logiciel ou d'une partie de logiciel, souvent critique, impliqué dans le fonctionnement d'un engin aéronautique ou astronautique.

thumbnail
Property Value
dbo:abstract
  • La sûreté de fonctionnement des logiciels aérospatiaux correspond à la mesure du risque d'un logiciel ou d'une partie de logiciel, souvent critique, impliqué dans le fonctionnement d'un engin aéronautique ou astronautique. Les principales motivations sont économiques et techniques. Il est important dans ces domaines impliquant autant d'argent d'éviter les pertes, que ce soit matériel ou humain, entraînant des surcoûts énormes. Les difficultés à gérer sont multiples, il faut créer une grande quantité de systèmes embarqués, gérer des données persistantes légères, valider des exécutions par processeurs multi-cœurs, répondre à des problématiques temps-réel, limiter la consommation d'énergie et répondre à des contraintes de développement strictes. Il existe des architectures spécifiques à la sûreté de fonctionnement basé sur la redondance matérielle ou logicielle. Les méthodes employées importent également pour limiter les coûts de retard ou de mauvais fonctionnement, mais doivent en plus apporter la sûreté en parallèle du bon fonctionnement. D'abord en amont, pendant la conception, sont utilisées des méthodes comme l'architecture basée sur le modèle, le développement orienté sûreté ou l'utilisation de la méthode agile dans l'aérospatiale. Mais également en fin de processus, où les programmes sont vérifiés via la vérification automatique ou encore les tests unitaires (fr)
  • La sûreté de fonctionnement des logiciels aérospatiaux correspond à la mesure du risque d'un logiciel ou d'une partie de logiciel, souvent critique, impliqué dans le fonctionnement d'un engin aéronautique ou astronautique. Les principales motivations sont économiques et techniques. Il est important dans ces domaines impliquant autant d'argent d'éviter les pertes, que ce soit matériel ou humain, entraînant des surcoûts énormes. Les difficultés à gérer sont multiples, il faut créer une grande quantité de systèmes embarqués, gérer des données persistantes légères, valider des exécutions par processeurs multi-cœurs, répondre à des problématiques temps-réel, limiter la consommation d'énergie et répondre à des contraintes de développement strictes. Il existe des architectures spécifiques à la sûreté de fonctionnement basé sur la redondance matérielle ou logicielle. Les méthodes employées importent également pour limiter les coûts de retard ou de mauvais fonctionnement, mais doivent en plus apporter la sûreté en parallèle du bon fonctionnement. D'abord en amont, pendant la conception, sont utilisées des méthodes comme l'architecture basée sur le modèle, le développement orienté sûreté ou l'utilisation de la méthode agile dans l'aérospatiale. Mais également en fin de processus, où les programmes sont vérifiés via la vérification automatique ou encore les tests unitaires (fr)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 8580245 (xsd:integer)
dbo:wikiPageLength
  • 38356 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 182729079 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1986 (xsd:integer)
  • 1994 (xsd:integer)
  • 1995 (xsd:integer)
  • 2001 (xsd:integer)
  • 2003 (xsd:integer)
  • 2006 (xsd:integer)
  • 2007 (xsd:integer)
  • 2008 (xsd:integer)
  • 2009 (xsd:integer)
  • 2010 (xsd:integer)
  • 2011 (xsd:integer)
  • 2012 (xsd:integer)
  • 2013 (xsd:integer)
prop-fr:auteur
  • Weiss (fr)
  • Ahmed Abdallah (fr)
  • Ingham (fr)
  • Herring (fr)
  • Owens (fr)
  • Dulac (fr)
  • Romain Bernard (fr)
  • Stringfellow (fr)
  • David C. Sharp (fr)
  • David G. Bell (fr)
  • Habli (fr)
  • Hayhurst, K.J. (fr)
  • Leveson (fr)
  • Loubach (fr)
  • Martin L (fr)
  • Maximiliano Cristia (fr)
  • Nancy G. Leveson (fr)
  • W. Roll (fr)
  • Weiqi Xie (fr)
  • von Mayrhauser (fr)
  • Weiss (fr)
  • Ahmed Abdallah (fr)
  • Ingham (fr)
  • Herring (fr)
  • Owens (fr)
  • Dulac (fr)
  • Romain Bernard (fr)
  • Stringfellow (fr)
  • David C. Sharp (fr)
  • David G. Bell (fr)
  • Habli (fr)
  • Hayhurst, K.J. (fr)
  • Leveson (fr)
  • Loubach (fr)
  • Martin L (fr)
  • Maximiliano Cristia (fr)
  • Nancy G. Leveson (fr)
  • W. Roll (fr)
  • Weiqi Xie (fr)
  • von Mayrhauser (fr)
prop-fr:doi
  • 10.100700 (xsd:double)
  • 10.110900 (xsd:double)
  • 10.114500 (xsd:double)
  • 10.420400 (xsd:double)
prop-fr:id
  • Abdallah2010 (fr)
  • Allen2011 (fr)
  • Bell2008 (fr)
  • Bennett2010 (fr)
  • Bernard2009 (fr)
  • Bruno2003 (fr)
  • Cimatti2008 (fr)
  • Cristia2011 (fr)
  • Fuhrman1995 (fr)
  • Habli2007 (fr)
  • Hayhurst2001 (fr)
  • Henzinger2006 (fr)
  • Latiu_2012 (fr)
  • Leveson1986 (fr)
  • Leveson2006 (fr)
  • Loubach2006 (fr)
  • Martin2013 (fr)
  • Nanda2009 (fr)
  • Odavic2010 (fr)
  • Owens2008 (fr)
  • Roll2003 (fr)
  • Sharp2010 (fr)
  • Spinka2011 (fr)
  • Stringfellow2010 (fr)
  • VanderLees2009 (fr)
  • Wiels2012 (fr)
  • von Mayrhauser1994 (fr)
  • von Mayrhauser1994bis (fr)
  • von Mayrhauser1995 (fr)
  • Abdallah2010 (fr)
  • Allen2011 (fr)
  • Bell2008 (fr)
  • Bennett2010 (fr)
  • Bernard2009 (fr)
  • Bruno2003 (fr)
  • Cimatti2008 (fr)
  • Cristia2011 (fr)
  • Fuhrman1995 (fr)
  • Habli2007 (fr)
  • Hayhurst2001 (fr)
  • Henzinger2006 (fr)
  • Latiu_2012 (fr)
  • Leveson1986 (fr)
  • Leveson2006 (fr)
  • Loubach2006 (fr)
  • Martin2013 (fr)
  • Nanda2009 (fr)
  • Odavic2010 (fr)
  • Owens2008 (fr)
  • Roll2003 (fr)
  • Sharp2010 (fr)
  • Spinka2011 (fr)
  • Stringfellow2010 (fr)
  • VanderLees2009 (fr)
  • Wiels2012 (fr)
  • von Mayrhauser1994 (fr)
  • von Mayrhauser1994bis (fr)
  • von Mayrhauser1995 (fr)
prop-fr:isbn
  • 0 (xsd:integer)
  • 1 (xsd:integer)
  • 978 (xsd:integer)
  • 780330595 (xsd:integer)
prop-fr:issn
  • 18 (xsd:integer)
  • 98 (xsd:integer)
  • 1095 (xsd:integer)
  • 1533 (xsd:integer)
prop-fr:jour
  • 1 (xsd:integer)
  • 2 (xsd:integer)
  • 6 (xsd:integer)
  • 7 (xsd:integer)
  • 8 (xsd:integer)
  • 10 (xsd:integer)
  • 13 (xsd:integer)
  • 14 (xsd:integer)
  • 15 (xsd:integer)
  • 18 (xsd:integer)
  • 20 (xsd:integer)
  • 23 (xsd:integer)
  • 27 (xsd:integer)
  • 28 (xsd:integer)
  • 29 (xsd:integer)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:langue
  • en (fr)
  • en fr (fr)
  • en (fr)
  • en fr (fr)
prop-fr:lieu
  • Vancouver (fr)
  • Bucharest (fr)
  • Vancouver (fr)
  • Bucharest (fr)
prop-fr:lireEnLigne
prop-fr:mois
  • Septembre (fr)
  • mai (fr)
  • mars (fr)
  • septembre (fr)
  • juillet (fr)
  • avril (fr)
  • juin (fr)
  • novembre (fr)
  • octobre (fr)
  • aout (fr)
  • fevrier (fr)
  • Septembre (fr)
  • mai (fr)
  • mars (fr)
  • septembre (fr)
  • juillet (fr)
  • avril (fr)
  • juin (fr)
  • novembre (fr)
  • octobre (fr)
  • aout (fr)
  • fevrier (fr)
prop-fr:nom
  • Bennett (fr)
  • Cazin (fr)
  • Li (fr)
  • Allen (fr)
  • Anderson (fr)
  • Sumner (fr)
  • Susi (fr)
  • Atkinson (fr)
  • Delmas (fr)
  • Edmonds (fr)
  • Wheeler (fr)
  • Swift (fr)
  • Durrieu (fr)
  • Fuhrman (fr)
  • Sifakis (fr)
  • Cimatti (fr)
  • Coe (fr)
  • Carmichael (fr)
  • Bruno Blanchet (fr)
  • Heldt (fr)
  • Henzinger (fr)
  • Nussbaumer (fr)
  • Nanda (fr)
  • Wiels (fr)
  • Antoine Miné (fr)
  • Chen Wei Tseng (fr)
  • Chutani (fr)
  • Cret (fr)
  • David Monniaux (fr)
  • Doose (fr)
  • Garoche (fr)
  • Hanzalek (fr)
  • Harvey, P.R. (fr)
  • Jérome Feret (fr)
  • Latiu (fr)
  • Laurent Mauborgne (fr)
  • Leveson, N.G. (fr)
  • Mecrow (fr)
  • Odavic (fr)
  • Patrick Cousot (fr)
  • Radhia Cousot (fr)
  • Reveri (fr)
  • Spinka (fr)
  • Tonetta (fr)
  • Vacariu (fr)
  • VanderLees (fr)
  • Xavier Rival (fr)
  • Bennett (fr)
  • Cazin (fr)
  • Li (fr)
  • Allen (fr)
  • Anderson (fr)
  • Sumner (fr)
  • Susi (fr)
  • Atkinson (fr)
  • Delmas (fr)
  • Edmonds (fr)
  • Wheeler (fr)
  • Swift (fr)
  • Durrieu (fr)
  • Fuhrman (fr)
  • Sifakis (fr)
  • Cimatti (fr)
  • Coe (fr)
  • Carmichael (fr)
  • Bruno Blanchet (fr)
  • Heldt (fr)
  • Henzinger (fr)
  • Nussbaumer (fr)
  • Nanda (fr)
  • Wiels (fr)
  • Antoine Miné (fr)
  • Chen Wei Tseng (fr)
  • Chutani (fr)
  • Cret (fr)
  • David Monniaux (fr)
  • Doose (fr)
  • Garoche (fr)
  • Hanzalek (fr)
  • Harvey, P.R. (fr)
  • Jérome Feret (fr)
  • Latiu (fr)
  • Laurent Mauborgne (fr)
  • Leveson, N.G. (fr)
  • Mecrow (fr)
  • Odavic (fr)
  • Patrick Cousot (fr)
  • Radhia Cousot (fr)
  • Reveri (fr)
  • Spinka (fr)
  • Tonetta (fr)
  • Vacariu (fr)
  • VanderLees (fr)
  • Xavier Rival (fr)
prop-fr:numéro
  • 2 (xsd:integer)
  • 3 (xsd:integer)
  • 4 (xsd:integer)
prop-fr:pages
  • 1 (xsd:integer)
  • 6 (xsd:integer)
  • 7 (xsd:integer)
  • 26 (xsd:integer)
  • 61 (xsd:integer)
  • 64 (xsd:integer)
  • 68 (xsd:integer)
  • 75 (xsd:integer)
  • 83 (xsd:integer)
  • 125 (xsd:integer)
  • 193 (xsd:integer)
  • 196 (xsd:integer)
  • 206 (xsd:integer)
  • 515 (xsd:integer)
  • 569 (xsd:integer)
  • 584 (xsd:integer)
  • 621 (xsd:integer)
  • 1040 (xsd:integer)
  • 1928 (xsd:integer)
  • 2044 (xsd:integer)
prop-fr:prénom
  • Alessandro (fr)
  • L. (fr)
  • M. (fr)
  • Thomas A. (fr)
  • Christopher (fr)
  • Henri (fr)
  • Joseph (fr)
  • Marco (fr)
  • Mark (fr)
  • Jing (fr)
  • Stefano (fr)
  • Angelo (fr)
  • Pat (fr)
  • O. A. (fr)
  • G. I. (fr)
  • Sailesh (fr)
  • Steven H. (fr)
  • Milijana (fr)
  • Alessandro (fr)
  • L. (fr)
  • M. (fr)
  • Thomas A. (fr)
  • Christopher (fr)
  • Henri (fr)
  • Joseph (fr)
  • Marco (fr)
  • Mark (fr)
  • Jing (fr)
  • Stefano (fr)
  • Angelo (fr)
  • Pat (fr)
  • O. A. (fr)
  • G. I. (fr)
  • Sailesh (fr)
  • Steven H. (fr)
  • Milijana (fr)
prop-fr:périodique
prop-fr:titre
  • Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems (fr)
  • A static analyzer for large safety-critical software (fr)
  • A Methodology for Model-based Development and Automated Verification of Software for Aerospace Systems (fr)
  • Study on The Application of Health Management Techniques in Aerospace Testing Software (fr)
  • Challenges in software aspects of aerospace systems (fr)
  • Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System (fr)
  • Automated Software Verification & Validation: An Emerging Approach for Ground Operations (fr)
  • Analyses de sûreté de fonctionnement multi-systèmes (fr)
  • Analyzing Software Safety (fr)
  • Domain based regression testing (fr)
  • Emerging Intelligent Data and Web Technologies (fr)
  • Escape the waterfall: agile for aerospace (fr)
  • Formal Verification of Critical Aerospace Software (fr)
  • Application of a Safety-Driven Design Methodology to an Outer Planet Exploration Mission (fr)
  • Software Safety: Why, What, and How (fr)
  • The Embedded Systems Design Challenge (fr)
  • The Sleuth approach to aerospace software testing (fr)
  • Real-Time Fault Diagnostics for a Permanent Magnet Synchronous Motor Drive for Aerospace Applications (fr)
  • Single Event Test Methodologies and System Error Rate Analysis for Triple Modular Redundant Field Programmable Gate Arrays (fr)
  • EA formal method approach to analyze the design of aircraft Flight Control Systems (fr)
  • Towards model-based and CCM-based applications for real time systems (fr)
  • Challenges and Solutions for embedded and Networked Aerospace Software Systems (fr)
  • Applying the Test Template Framework to Aerospace Software (fr)
  • Failure mechanisms and design considerations for fault tolerant aerospace drives (fr)
  • Hardware/Software Codesign of Aerospace and Automotive Systems (fr)
  • Formalization and Validation of Safety-Critical Requirements (fr)
  • A Fault-Tolerant Implementation Using Multiple-Task Triple Modular Redundancy (fr)
  • Testing applications using domain based testing and Sleuth (fr)
  • Energy-Aware Navigation and Guidance Algorithms for Unmanned Aerial Vehicles (fr)
  • Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems (fr)
  • A static analyzer for large safety-critical software (fr)
  • A Methodology for Model-based Development and Automated Verification of Software for Aerospace Systems (fr)
  • Study on The Application of Health Management Techniques in Aerospace Testing Software (fr)
  • Challenges in software aspects of aerospace systems (fr)
  • Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System (fr)
  • Automated Software Verification & Validation: An Emerging Approach for Ground Operations (fr)
  • Analyses de sûreté de fonctionnement multi-systèmes (fr)
  • Analyzing Software Safety (fr)
  • Domain based regression testing (fr)
  • Emerging Intelligent Data and Web Technologies (fr)
  • Escape the waterfall: agile for aerospace (fr)
  • Formal Verification of Critical Aerospace Software (fr)
  • Application of a Safety-Driven Design Methodology to an Outer Planet Exploration Mission (fr)
  • Software Safety: Why, What, and How (fr)
  • The Embedded Systems Design Challenge (fr)
  • The Sleuth approach to aerospace software testing (fr)
  • Real-Time Fault Diagnostics for a Permanent Magnet Synchronous Motor Drive for Aerospace Applications (fr)
  • Single Event Test Methodologies and System Error Rate Analysis for Triple Modular Redundant Field Programmable Gate Arrays (fr)
  • EA formal method approach to analyze the design of aircraft Flight Control Systems (fr)
  • Towards model-based and CCM-based applications for real time systems (fr)
  • Challenges and Solutions for embedded and Networked Aerospace Software Systems (fr)
  • Applying the Test Template Framework to Aerospace Software (fr)
  • Failure mechanisms and design considerations for fault tolerant aerospace drives (fr)
  • Hardware/Software Codesign of Aerospace and Automotive Systems (fr)
  • Formalization and Validation of Safety-Critical Requirements (fr)
  • A Fault-Tolerant Implementation Using Multiple-Task Triple Modular Redundancy (fr)
  • Testing applications using domain based testing and Sleuth (fr)
  • Energy-Aware Navigation and Guidance Algorithms for Unmanned Aerial Vehicles (fr)
prop-fr:titreChapitre
  • Testing Critical Software: A Case Study for an Aerospace Application (fr)
  • Testing Critical Software: A Case Study for an Aerospace Application (fr)
prop-fr:titreOuvrage
  • 25 (xsd:integer)
prop-fr:volume
  • 2 (xsd:integer)
  • 18 (xsd:integer)
  • 58 (xsd:integer)
  • 98 (xsd:integer)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • La sûreté de fonctionnement des logiciels aérospatiaux correspond à la mesure du risque d'un logiciel ou d'une partie de logiciel, souvent critique, impliqué dans le fonctionnement d'un engin aéronautique ou astronautique. (fr)
  • La sûreté de fonctionnement des logiciels aérospatiaux correspond à la mesure du risque d'un logiciel ou d'une partie de logiciel, souvent critique, impliqué dans le fonctionnement d'un engin aéronautique ou astronautique. (fr)
rdfs:label
  • Sûreté de fonctionnement des logiciels aérospatiaux (fr)
  • Sûreté de fonctionnement des logiciels aérospatiaux (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is oa:hasTarget of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License