V. Hilderman and T. Baghi, Avionics Certification: A Complete Guide to DO-178 (Software), DO-254 (Hardware)". Avionics Communications, 2007.

V. Hilderman, DO-178B Costs Versus Benefits. HighRely, 2009.

, Décret n° 2013-367 du 29 avril 2013 relatif aux règles d'utilisation, de navigabilité et d'immatriculation des aéronefs militaires et des aéronefs appartenant à l'Etat et utilisés par les services de douanes, de sécurité publique et de sécurité civile, 2013.

N. Leveson, White Paper on Approaches to Safety Engineering, 2003.

P. ;. Rempel, . Mäder, ;. Patrick, and T. Kuschke, , 2014.

J. Cleland-huang, Mind the Gap: Assessing the Conformance of Software Traceability to Relevant Guidelines, International Conference on Software Engineering (ICSE), pp.943-954, 2014.

, Safeware : System Safety and Computers, 1995.

N. A. Wessiani and F. Yoshio, Failure mode effect analysis and fault tree analysis as a combined methodology in risk management, IOP Conf. Series, 2018.

N. Leveson, A New Accident Model for Engineering Safer Systems, Safety Science, vol.42, issue.4, pp.237-270, 2004.

B. Salmon, Driverless cars: liability frameworks and safety by design : Insurance and Legal report

, Ordonnance n° 2016-1057 du 3 août 2016 relative à l'expérimentation de véhicules à délégation de conduite sur les voies publiques, vol.8, 2016.

, Direccion General de Trafico, ministère de l'écologie et du développement durable espagnol, 2018.

E. Macron, Développement des véhicules autonomes -Orientations stratégiques pour l'action publique. Extraits du discours sur l'Intelligence Artificielle, 2018.

, relatif aux règles d'utilisation, de navigabilité et d'immatriculation des aéronefs militaires et des aéronefs appartenant à l'Etat et utilisés par les services de douanes, de sécurité publique et de sécurité civile, 2006.

, Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems, 2012.

, Véhicules routiers -Sécurité fonctionnelle, ISO TC22/SC3/WG16, vol.26262

, Medical device software -software life cycle processes, 2012.

, Electrical, electronic and electromechanical components, 2013.

, European Cooperation for Space Standardization, 2009.

, Applications ferroviaires -Systèmes de signalisation, de télécommunication et de traitement -Logiciels pour systèmes de commande et de protection ferroviaire, 2011.

, Functional safety -Safety instrumented systems for the process industry sector, 2016.

, Society of Automotive Engineers, Aerospace Recommended Practice "Guidelines For Development Of Civil Aircraft and Systems, 2011.

, Nuclear power plants -Instrumentation and control for systems important to safety -General requirements for systems, 2016.

, Functional safety -Safety instrumented systems for the process industry sector, 2013.

, Serma Ingenierie à la demande de l'ANSM. Etude sur la sécurité des logiciels médicaux, Juillet, 2016.

, Accord concernant l'adoption de prescriptions techniques uniformes applicables aux véhicules à roues, aux équipements et aux pièces susceptibles d'être montés ou utilisés sur un véhicule à roues et les conditions de reconnaissance réciproque des homologations délivrées conformément à ces prescriptions" -Révision 2, additif 12, règelement 13, Europe, 2012.

. /r013r7am4f,

, Uniform provisions concerning the approval of vehicles with regard to steering equipment, UN regulation N°79, 2017.

, Convention on International Civil Aviation (Chicago Convention) Doc 7300, 1947.

, Regulation, 2002.

, EASA, Certification Specifications for large aeroplanes, 2007.

, EASA, Certification Specifications for large rotorcraft, 2012.

, EASA, Certification Specifications for large aeroplanes, Amendment 21, vol.34, 2016.

, Aerospace Recommended Practice "Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, 1996.

B. Boehm, C. Abts, A. Winsor-brown, S. Chulani, B. Clark et al., Software Cost Estimation with COCOMO II, 2000.

F. Vallee, Quantification de la fiabilité des logiciels, 2012.

K. Ching-chan, C. T. Lenard, and T. M. Mills, An Introduction to Markov Chains, MAV 49th Annual Conference, 2012.

, Radio Technical Commission for Aeronautics (RTCA), 2011.

, Model-Based Development and Verification Supplement to DO-178C and DO-278A, 2011.

, Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A, 2011.

, Formal Methods Supplement to DO-178C and DO-278A, 2011.

. ]-vince-hilderman, DO-178B Costs Versus Benefits, Canals 2019] Canals Agusti H3230 "Méthode Agile Scrum, 2009.

, What is Scrum?

K. Beck and C. Andres, Extreme Programming Explained: Embrace Change, The XP Series, 2004.

G. Stéphane and M. Samuel, Découvrir DevOps, l'essentiel pour tous les métiers, 2016.

J. Verona, Practical DevOps, 2016.

R. Bender and . Inc, Requirements Based Testing Process Overview, 2009.

, ) et Carlier (Y.) -Assurance de développement et chemins fonctionnels, séminaire Ingénierie des Systèmes Complexes à Logiciels Prépondérants organisé à DGA Techniques aéronautiques, septembre, 2007.

, Department of Defense, Standard Practice "System Safety, 2012.

, Software Integrity Assurance Considerations for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems, 2011.

G. K. Gill and C. F. Kemerer, Cyclomatic Complexity Density and Software Maintenance Productivity, IEEE Transactions on Software Engineering, vol.17, issue.12, 1991.

]. Victor, What Technical Debt Is and How to Calculate It, 2018.

, Note Technique 16-DGATA-P1301261003001-1P-C "Référentiel d'exigences d'ingénierie des logiciels et composants électroniques complexes pour la prise en compte de la sûreté de fonctionnement, 2016.

J. Letouzey, The SQALE method for evaluating technical debt, Proceedings of the Third International Workshop on Managing Technical Debt, pp.31-36, 2012.

E. Rtca and R. Do, Design assurance guidance for airborne electronic hardware, 2006.

B. Combemale, Ingénierie Dirigée par les Modèles-État de l'art, 2008.

, Safety Critical Application Development Environment (SCADE), 1999.

A. Joshi, M. Whalen, and M. Heimdahl, Model Based Safety Analysis Final Report, NASA contractor report, 2006.

R. Bernard, Analyses de sûreté de fonctionnement multisystèmes. Modélisation et simulation. Université Sciences et Technologies -Bordeaux I, 2009.

O. Lisagor, T. Kelly, and R. Niu, Model-Based Safety Assessment Review of the Discipline and its Challenges, International Conference on Reliability, Maintainability and Safety (ICRMS), 2011.

, Leveson, N. Engineering a Safer World, 2012.

A. Arnold, G. Point, A. Griffault, and A. Rauzy, The AltaRica Formalism for Describing Concurrent Systems, Fundamenta Informaticae, vol.40, issue.2-3, pp.109-124, 1999.

V. Louis, Rotorcraft HIRF qualification and accident investigations driven by model based analysis, International Workshop on Model Based Safety Assessment, 2012.

P. Bieber, J. Farges, X. Pucel, L. Séjeau, and C. Seguin, Model-Based Safety Analysis for co-assessment of operation and system safety: application to specific operations of unmanned aircraft, European Congress Embedded Real Time Software And Systems (ERTS), 2018.

, IRT Saint-Exupéry, MOISE ProjectMethods and tools for model-based collaborative system engineering (requirement engineering, multi-view modeling and verification, system engineering in extended enterprise), 2018.

W. ]-royce, Software project management: a unified framework, 1998.

J. F. Pillou, Concept de l'Intégration Continue, Continuous Integration, 2006.

D. Paul, M. Steve, and G. Andrew, Continuous Integration: Improving Software Quality and Reducing Risk, 2007.

J. Humble and D. Farley, Continuous Delivery: Reliable Software Releases through Build, Test, and Deployment Automation, 2011.

S. Vöst and S. Wagner, Towards Continuous Integration and Continuous Delivery in the Automotive Industry, 2016.

, Report in Computer World, 2015.

R. Xue, C. Baron, and P. Esteban, Optimizing product development in industry by alignment of the ISO/IEC 15288 Systems Engineering Standard and the PMBoK Guide, International Journal of Product Development, vol.22, issue.1, pp.65-80, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01887366

L. Ninni, Blog Launizo consulting, 2019.

W. Cunningham, K. Beck, M. Fowler, and D. Thomas, Manifesto for Agile Software Development, 2001.

J. Sutherland and K. Schwaber, Scrum Guide, vol.82, 2011.

J. Krafcik and D. Anderson, Agile Management for Software Engineering: Applying the Theory of Constraints for Business Results, 1988.

J. Marsden, A. Windisch, J. Villermin, C. Aventini, R. Mayo et al., ED-12C/DO-178C vs. Agile Manifesto -A Solution to Agile Development of Certifiable Avionics Systems, Conférence Embedded Real Time Software And Systems (ERTS 2 ), 2018.
URL : https://hal.archives-ouvertes.fr/hal-02156357

E. Chenu, Integration Continue" séminaire Ingénieire des Systèmes Complexes à Logiciels Prépondérants, ISCLP, 2013.

A. Mrabti, D. Gautherot, V. Brossard, Y. Moy, and F. Pothon, Safe and Secure Autopilot Software for Drones, Conférence Embedded Real Time Software And Systems (ERTS 2 ), 2018.

C. David, J. , K. Jeffrey, and H. , A Model-Based Agile Process for DO-178C Certification, 2013.

A. Jira, JIRA, 2002.