Méthodes pour la validation de modèles formels pour la ... - ISAE
Méthodes pour la validation de modèles formels pour la ... - ISAE
Méthodes pour la validation de modèles formels pour la ... - ISAE
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
164 Bibliographie<br />
[47] Jeff Offutt, Shaoying Liu, Aynur Abdurazik et Paul Ammann : Generating test data<br />
from state-based specifications. In The Journal of Software Testing, Verification and Reliability,<br />
volume 13, pages 25–53, 2003.<br />
[48] Bruno Pagano, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Co<strong>la</strong>ço et Philippe<br />
Wang : Couverture <strong>de</strong> co<strong>de</strong> Caml <strong>pour</strong> <strong>la</strong> réalisation d’outils <strong>de</strong> développement certifiés. In<br />
Proceedings Journées Francophones <strong>de</strong>s Langages Applicatifs (JFLA), 2007.<br />
[49] Yannis Papadopoulos, John McDermid, Ralph Sasse et Guenter Heiner : Analysis<br />
and synthesis of the behaviour of complex programmable electronic systems in conditions of<br />
failure. In Reliability Engineering & System Safety, volume 71, pages 229 – 247, 2001.<br />
[50] Gilbert Paquette : Modélisation <strong>de</strong>s connaissances et <strong>de</strong>s compétences. Un <strong>la</strong>ngage graphique<br />
<strong>pour</strong> concevoir et apprendre. Presse Universitaire du Québec, 2002.<br />
[51] Benoit Perrot, Tatiana Prosvirnova, Antoine Rauzy et Jean-Philippe Sahut d’Izarn :<br />
Expérience <strong>de</strong> coup<strong>la</strong>ge <strong>de</strong> <strong>modèles</strong> AltaRica avec <strong>de</strong>s interfaces métiers. In Actes du congrès<br />
Lambda Mu 17, <strong>la</strong> Rochelle, France, 2010.<br />
[52] Fabien Peureux : Génération <strong>de</strong> tests aux limites à partir <strong>de</strong> spécifications B en programmation<br />
logique avec contraintes ensemblistes. Thèse <strong>de</strong> doctorat, Université Franche Comté,<br />
2002.<br />
[53] Projet MISSA : More Integrated System Safety Assessment. http ://www.missa-fp7.eu/.<br />
[54] Antoine Rauzy : Mathematical foundation of minimal cutsets <strong>la</strong>nguage. In Reliability, IEEE<br />
Transactions on, volume 50, pages 389–396, 2001.<br />
[55] Antoine Rauzy : Mo<strong>de</strong> automata and their compi<strong>la</strong>tion into fault trees. In Reliability<br />
Engineering and System Safety, volume 78, pages 1–12, 2002.<br />
[56] Antoine Rauzy et Yves Dutuit : Exact and truncated computations of prime implicants<br />
of coherent and non-coherent fault trees within Aralia. In Reliability Engineering & System<br />
Safety, volume 58, pages 127 – 144, 1997. ESREL’95.<br />
[57] Ana-Elena Rugina, Karama Kanoun et Mohamed Kaâniche : Modélisation <strong>de</strong> <strong>la</strong> sûreté<br />
<strong>de</strong> fonctionnement <strong>de</strong> systèmes à partir du <strong>la</strong>ngage AADL. In Actes du congrès Lambda Mu<br />
15, 2006.<br />
[58] SAE : The SAE Architecture Analysis & Design Language (AADL) Standard.<br />
http ://www.AADL.info/AADLinfosite/LinkedDocuments/AADLLanguageSummary.pdf.<br />
[59] SAE : ARP 4754 : Certification Consi<strong>de</strong>rations for Highly-Integrated Or Complex Aircraft<br />
Systems, 1996.<br />
[60] SAE : ARP 4761 : Gui<strong>de</strong>lines and Methods for Conducting the Safety Assessment Process<br />
on Civil Airborne Systems and Equipment, 1996.<br />
[61] Jean-Pierre Signoret : Analyse <strong>de</strong>s risques <strong>de</strong>s systèmes dynamiques : approche markovienne.<br />
In Techniques <strong>de</strong> l’ingénieur, volume SE 4071.<br />
[62] Jean-Pierre Signoret : Analyse <strong>de</strong>s risques <strong>de</strong>s systèmes dynamiques : Réseaux <strong>de</strong> Petri.<br />
In Techniques <strong>de</strong> l’ingénieur, volume SE 4072.<br />
[63] Dr. Michael Stamate<strong>la</strong>tos et Nasa Headquarters : Fault tree handbook with aerospace<br />
applications version 1.1, 2002.<br />
[64] Robert Valette : Les Réseaux <strong>de</strong> Petri, 2002. http ://www.<strong>la</strong>as.fr/ robert/enseignement.d/cour01.pdf.