Review of Formal Agile Methods as Cost-Effective Airworthiness Certification Processes
2018; American Institute of Aeronautics and Astronautics; Volume: 15; Issue: 8 Linguagem: Inglês
10.2514/1.i010601
ISSN2327-3097
AutoresMouza Al Blooshi, Shafer Jafer, Krishan Patel,
Tópico(s)Model-Driven Software Engineering Techniques
ResumoNo AccessSurvey PaperReview of Formal Agile Methods as Cost-Effective Airworthiness Certification ProcessesMouza Al Blooshi, Shafer Jafer and Krishan PatelMouza Al BlooshiEmbry-Riddle Aeronautical University, Daytona Beach, Florida 32114-3900*Teaching Assistance, United Arab Emirates University, P.O. Box 15551, Al-Ain United Arab Emirates; .Search for more papers by this author, Shafer JaferEmbry-Riddle Aeronautical University, Daytona Beach, Florida 32114-3900†Assistant Professor, Department of Electrical, Computer, Software, and Systems Engineering, Daytona Beach Campus, Lehman 343, 600 S Clyde Morris Blvd; .Search for more papers by this author and Krishan PatelEmbry-Riddle Aeronautical University, Daytona Beach, Florida 32114-3900‡Graduate Student, Department of Electrical, Computer, Software, and Systems Engineering, Daytona Beach Campus, Lehman 343, 600 S Clyde Morris Blvd; .Search for more papers by this authorPublished Online:17 Jul 2018https://doi.org/10.2514/1.I010601SectionsRead Now ToolsAdd to favoritesDownload citationTrack citations ShareShare onFacebookTwitterLinked InRedditEmail About References [1] “Software Considerations in Airborne Systems and Equipment Certification,” Radio Technical Commission for Aeronautic, Inc./EUROCAE STD DO-178C/ED-12C, 2011. Google Scholar[2] “Radio Technical Commission for Aeronautic, Inc. Document RTCA/DO-178B (Cancelled),” U.S. Dept. of Transportation, Federal Aviation Administration Advisory Circular 20-115B, Jan. 1993. Google Scholar[3] Kasser J., “Model-Based Systems Engineering: Back to the Future?” Asia-Pacific Council on Systems Engineering (APCOSE) Conference, Yokohama, Japan, 2013. Google Scholar[4] Amundson I., Shipton L., Liu A. and Nowak M., “Toward Efficient Model-Based Development of Aerospace Applications,” 15th AIAA Aviation Technology, Integration, and Operations Conference, AIAA Paper 2015-2741, 2015. LinkGoogle Scholar[5] Beck K., Beedle M., van Bennekum A., Coburn A., Cunningham W., Fowler M., Grenning J., Highsmith J., Hunt A., Jefferies R. and et al., “Manifesto for Agile Software Development,” Nov. 2001, http://agilemanifesto.org [retrieved 25 Jan. 2018]. Google Scholar[6] Kemmerer R. A., “Integrating Formal Methods into the Development Process,” IEEE Software, Vol. 7, No. 5, Sept. 1990, pp. 37–50. doi:https://doi.org/10.1109/52.57891 IESOEG 0740-7459 CrossrefGoogle Scholar[7] Glas M. and Ziemer S., “Challenges for Agile Development of Large Systems in the Aviation Industry,” Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, ACM Press, New York, 2009, pp. 901–908 doi:https://doi.org/10.1145/1639950.1640054 Google Scholar[8] Wolff S., “Scrum Goes Formal: Agile Methods for Safety-Critical Systems,” Proceedings of the 1st International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA ‘12), IEEE Publ., Piscataway, NJ, 2012, pp. 23–29. doi:https://doi.org/10.1109/FormSERA.2012.6229784 Google Scholar[9] Walters H. R., “Hybrid Implementations of Algebraic Specifications,” Proceedings of the 2nd International Conference on Algebraic and Logic Programming, edited by Kirchner H. and Wechler W., Lecture Notes in Computer Science, Lecture Notes in Computer Science, Vol. 463, Springer, Berlin, Oct. 1990, pp. 40–54. doi:https://doi.org/10.1007/3-540-53162-9_29 Google Scholar[10] Carchiolo V., Malgeri M. and Mangioni G., “Hardware/Software Synthesis of Formal Specifications in Codesign of Embedded Systems,” ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol. 5, No. 3, July 2000, pp. 399–432. doi:https://doi.org/10.1145/348019.348093 CrossrefGoogle Scholar[11] Schwaber K. and Beedle M., Scrum: Agile Software Development, Pearson, Upper Saddle River, NJ, 2002. Google Scholar[12] Beck K., Extreme Programming Explained: Embrace Change, Addison-Wesley Professional, Reading, MA, 2000. Google Scholar[13] Cockburn A., Crystal Clear: A Human-Powered Methodology for Small Teams, Pearson, Upper Saddle River, NJ, 2004. Google Scholar[14] Palmer S. R. and Felsing M., A Practical Guide to Feature-Driven Development, Pearson, Upper Saddle River, NJ, 2001. Google Scholar[15] Beck K., Test-Driven Development: By Example, Addison-Wesley Professional, Reading, MA, 2003. Google Scholar[16] Highsmith J., Adaptive Software Development: A Collaborative Approach to Managing Complex Systems, Addison-Wesley, Reading, MA, 2013. Google Scholar[17] Rico D. F., “What Is the ROI of Agile vs. Traditional Methods? An Analysis of XP, TDD, Pair Programming, and Scrum (Using Real Options) [online database],”http://davidfrico.com/rico08gpdf.htm [retrieved 25 Jan. 2018]. Google Scholar[18] Harrison N. and Coplien J., “Patterns of Productive Software Organizations,” Bell Labs Technical Journal, Vol. 1, No. 1, Summer 1996, pp. 138–145. doi:https://doi.org/10.1002/(ISSN)1538-7305 CrossrefGoogle Scholar[19] Fitzgerald B., Stol K. J., O’Sullivan R. and O’Brien D., “Scaling Agile Methods to Regulated Environments: An Industry Case Study,” Proceedings of International Conference on Software Engineering (ICSE), IEEE Publ., Piscataway, NJ, 2013, pp. 863–872. doi:https://doi.org/10.1109/ICSE.2013.6606635 Google Scholar[20] Cawley O., Wang X. and Richardson I., “Lean/Agile Software Development Methodologies in Regulated Environments—State of the Art,” Lean Enterprise Software and Systems, Springer, Berlin, 2010, pp. 31–36. doi:https://doi.org/10.1007/978-3-642-16416-3_4 CrossrefGoogle Scholar[21] Paige R. F., Charalambous R., Ge X. and Brooke P. J., “Towards Agile Engineering of High-Integrity Systems,” International Conference on Computer Safety, Reliability, and Security, Springer, Berlin, Sept. 2008, pp. 30–43. doi:https://doi.org/10.1007/978-3-540-87698-4_6 Google Scholar[22] Vander Leest S. H. and Buter A., “Escape the Waterfall: Agile for Aerospace,” 2009 IEEE/AIAA 28th Digital Avionics Systems Conference, IEEE Publ., Piscataway, NJ, 2009. doi:https://doi.org/10.1109/dasc.2009.5347438 Google Scholar[23] Marques J. C., Sarasuaty M. H. Y., Da Cunha A. M. and Dias L. A. V., “CARD-RM: A Reference Model for Airborne Software,” 2013 10th International Conference on Information Technology: New Generations (ITNG), IEEE Publ., Piscataway, NJ, 2013, pp. 273–279. doi:https://doi.org/10.1109/itng.2013.44 Google Scholar[24] Coleman D., “The Technology Transfer of Formal Methods: What’s Going Wrong,” Workshop on Industrial Experience Using Formal Methods, Nice, France, 1990. Google Scholar[25] Woodcock J., Larsen P. G., Bicarregui J. and Fitzgerald J., “Formal Methods: Practice and Experience,” ACM Computing Surveys, Vol. 41, No. 4, Oct. 2009, pp. 1–36. doi:https://doi.org/10.1145/1592434 ACSUEY 0360-0300 CrossrefGoogle Scholar[26] Hall A., “Seven Myths of Formal Methods,” IEEE Software, Vol. 7, No. 5, 1990, pp. 11–19. doi:https://doi.org/10.1109/52.57887 IESOEG 0740-7459 CrossrefGoogle Scholar[27] Clarke E. M. and Wing J. M., “Formal Methods: State of the Art and Future Directions,” ACM Computing Surveys (CSUR), Vol. 28, No. 4, 1996, pp. 626–643. doi:https://doi.org/10.1145/242223.242257 CrossrefGoogle Scholar[28] Bowen J. and Stavridou V., “Safety-Critical Systems, Formal Methods and Standards,” Software Engineering Journal, Vol. 8, No. 4, 1993, pp. 189–209. doi:https://doi.org/10.1049/sej.1993.0025 SEJOED 0268-6961 CrossrefGoogle Scholar[29] Woodcock J., Larsen P. G., Bicarregui J. and Fitzgerald J., “Formal Methods: Practice and Experience,” ACM Computing Surveys (CSUR), Vol. 41, No. 4, 2009, Paper 19. doi:https://doi.org/10.1145/1592434.1592436 CrossrefGoogle Scholar[30] Cofer D. and Miller S., “Do-333 Certification Case Studies,” NASA Formal Methods Symposium, Springer International, New York, 2014, pp. 1–15. doi:https://doi.org/10.1007/978-3-319-06200-6_1 Google Scholar[31] “Formal Methods Supplement to DO-178C and DO-278A,” Radio Technical Commission for Aeronautic, Inc. STD DO-333, Washington, D.C., Dec. 2011. Google Scholar[32] RTCA (Firm), “Model-Based Development and Verification Supplement to DO-178C and DO-278A,” SC-205, and EUROCAE (Agency), Working Group 71, RTCA, Inc., 2011. Google Scholar[33] Clarke E. M., Orna G. and Peled D., Model Checking, MIT Press, Cambridge, MA, 1999. Google Scholar[34] Cousot P. and Cousot R., “Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints,” Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, ACM, New York, 1977, pp. 238–252. doi:https://doi.org/10.1145/512950.512973 Google Scholar[35] “Software Tool Qualification Considerations,” Radio Technical Commission for Aeronautic, Inc. STD DO-330, Washington, D.C., Dec. 2011. Google Scholar[36] Yoo J., Cha S., Kim C. H. and Song D. Y., “Synthesis of FBD-Based PLC Design from NuSCR Formal Specification,” Reliability Engineering and System Safety, Vol. 87, No. 2, 2005, pp. 287–294. doi:https://doi.org/10.1016/j.ress.2004.05.005 CrossrefGoogle Scholar[37] Kemmerer R. A., “Integrating Formal Methods into the Development Process,” IEEE Software, Vol. 7, No. 5, Sept. 1990, pp. 37–50. doi:https://doi.org/10.1109/52.57891 IESOEG 0740-7459 CrossrefGoogle Scholar[38] Singh M., Sharma A. and Saxena R., “Why Formal Methods Are Considered for Safety Critical Systems?” Journal of Software Engineering and Applications, Vol. 8, No. 10, 2015, pp. 531–538. doi:https://doi.org/10.4236/jsea.2015.810050 CrossrefGoogle Scholar[39] Owre S., Rushby J. M. and Shankar N., “PVS: A Prototype Verification System,” International Conference on Automated Deduction, Springer, Berlin, 1992, pp. 748–752. doi:https://doi.org/10.1007/3-540-55602-8_217 Google Scholar[40] Slind K. and Norrish M., “A Brief Overview of HOL4,” International Conference on Theorem Proving in Higher Order Logics, Springer, Berlin, 2008, pp. 28–32. doi:https://doi.org/10.1007/978-3-540-71067-7_6 Google Scholar[41] Slind K., “Trusted Extensions of Interactive Theorem Provers: Workshop Summary,” Cambridge, England, U.K., Aug. 2010, http://www.cs.utexas.edu/users/kaufmann/itp-trusted-extensions-aug-2010/. Google Scholar[42] Hagen G. and Tinelli C., “Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques,” Formal Methods in Computer-Aided Design, FMCAD'08, 2008, pp. 1–9. doi:https://doi.org/10.1109/fmcad.2008.ecp.19 Google Scholar[43] Miller S. P., Whalen M. W. and Cofer D. D., “Software Model Checking Takes Off,” Communications of the ACM 53, Vol. 33, No. 2, Feb. 2010, pp. 58–64. doi:https://doi.org/10.1145/1646353.1646372 CACMA2 0001-0782 CrossrefGoogle Scholar[44] “Astrée: Fast and Sound Runtime Error Analysis [online database],” AbsInt, Saarbruecken, Germany, July 2016, https://www.absint.com/astree/index.htm [retrieved 25 Jan. 2018]. Google Scholar[45] “Polyspace Static Analysis,” July 2016, MathWorks, Natick, MA, http://www.mathworks.com/products/polyspace/ [retrieved 25 Jan. 2018]. Google Scholar[46] Swithinbank P., Chessell M., Gardner T., Griffin C., Man J., Wylie H. and Yusuf L., Patterns: Model-Driven Development Using IBM Rational Software Architect, IBM, International Technical Support Organization, Dec. 2005, http://www.redbooks.ibm.com/abstracts/sg247105.html?Open. Google Scholar[47] Coe D. J. and Kulick J. H., “A Model-Based Agile Process for DO-178C Certification,” Proceedings of the International Conference on Software Engineering Research and Practice (SERP), The Steering Committee of The World Congress in Computer Science, Computer Engineering and Applied Computing (WorldComp), 2013, p. 1. Google Scholar[48] “Rational Rhapsody Family,” IBM, July 2016, http://www-03.ibm.com/software/products/en/ratirhapfami [retrieved 25 Jan. 2018]. Google Scholar[49] “Rational DOORS,” IBM, Armonk, NY, July 2016, https://www.ibm.com/ca-en/marketplace/requirements-management [retrieved 25 Jan. 2018]. Google Scholar[50] Black S., Boca P. P., Bowen J. P., Gorman J. and Hinchey M., “Formal Versus Agile: Survival of the Fittest” IEEE Computer, Vol. 42, No. 9, Sept. 2009, pp. 37–45. doi:https://doi.org/10.1109/MC.2009.284 CrossrefGoogle Scholar[51] Shafiq S. and Minhas N. M., “Integrating Formal Methods in XP—A Conceptual Solution,” Journal of Software Engineering and Applications, Vol. 7, No. 4, 2014, Paper 44918. doi:https://doi.org/10.4236/jsea.2014.74029 CrossrefGoogle Scholar[52] Fitzgerald B., Stol K.-J., O’Sullivan R. and O’Brien D., “Scaling Agile Methods to Regulated Environments: An Industry Case Study,” Proceedings of the 2013 International Conference on Software Engineering, IEEE Publ., Piscataway, NJ, 2013, pp. 863–872. doi:https://doi.org/10.1109/icse.2013.6606635 Google Scholar[53] Liu S., “An Approach to Applying SOFL for Agile Process and Its Application in Developing a Test Support Tool,” Innovations in Systems and Software Engineering, Vol. 6, Nos. 1–2, 2010, pp. 137–143. doi:https://doi.org/10.1007/s11334-009-0114-3 CrossrefGoogle Scholar[54] Toom A. and et al., “Gene-Auto: An Automatic Code Generator for a Safe Subset of Simulink/Stateflow and Scicos,” 4th European Congress ERTS Embedded Real Time Software, Akadeemia, I. B., Krates, O. Ü., Univ. of Toulouse IRIT-ENSEEIHT, F. Alyotech CRIL Technologies, Tallinn Univ. of Technology, Vol. 19, 2008, http://www.sia.fr. Google Scholar[55] Carré B. and Garnsworthy J., “SPARK—An Annotated ADA Subset for Safety-Critical Programming,” Proceedings of the Conference on TRI-ADA’90, ACM Press, New York, 1990, pp. 392–402. doi:https://doi.org/10.1145/255471.255563 Google Scholar[56] Dormoy F. X., “SCADE: A Toolbox for the Development of Safety Critical Control Systems,” Presentation at Critical Systems and Software Seminar, JSLC 2001, Grenoble, Nov. 2001. Google Scholar[57] Corbett J. C., Dwyer M. B., Hatcliff J., Laubach S., Pasareanu C. S., Robby and Zheng H., “Bandera: Extracting Finite-State Models from Java Source Code,” Proceedings of the International Conference of Software Engineering (ICSE’00), ACM, New York, 2000, pp. 439–448. doi: 10.1145/337180.337234 Google Scholar[58] Ratiu D., Bernhard S., Markus V. and Bernd K., “Language Engineering as an Enabler for Incrementally Defined Formal Analyses,” Proceedings of the 1st International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches, IEEE Publ., Piscataway, NJ, 2012, pp. 9–15. doi:https://doi.org/10.1109/formsera.2012.6229790 Google Scholar[59] Voelter M., Ratiu D., Kolb B. and Schaetz B., “mbeddr: Instantiating a Language Workbench in the Embedded Software Domain,” Automated Software Engineering, Vol. 20, No. 3, 2013, pp. 339–390. doi:https://doi.org/10.1007/s10515-013-0120-4 ASOEEA 0928-8910 CrossrefGoogle Scholar[60] Voelter M., Benz S., Dietrich C., Engelmann B., Helander M., Kats L. C., Visser E. and Wachsmuth G., DSL Engineering: Designing, Implementing and Using Domain-Specific Languages, 2013, pp. 1–558, dslbook.org. Google Scholar[61] Cimatti A., Edmund C., Enrico G., Fausto G., Marco P., Marco R., Roberto S. and Armando T., “Nusmv 2: An Opensource Tool for Symbolic Model Checking,” International Conference on Computer Aided Verification, Springer, Berlin, 2002, pp. 359–364. doi:https://doi.org/10.1007/3-540-45657-0_29 Google Scholar[62] Muñoz C., “Langley Formal Methods: Advanced Theorem Proving Techniques in PVS and Applications,” 8th LASER Summer School in Software Engineering: Tools for Practical Software Verification [online database], NASA, https://shemesh.larc.nasa.gov/people/cam/LASER2011 [retrieved 25 Jan. 2018]. Google Scholar[63] Pires P. S. M. and Rogers D. A., “Free/Open Source Software: An Alternative for Engineering Students,” FIE 2002. 32nd Annual Frontiers in Education, Vol. 1, IEEE Publ., Piscataway, NJ, 2002, Paper T3G-7. doi:https://doi.org/10.1109/fie.2002.1157982 Google Scholar[64] Campbell S. L., Chancelier J.-P. and Nikoukhah R., Modeling and Simulation in SCILAB, Springer, New York, 2006. doi:https://doi.org/10.1007/0-387-30486-x Google Scholar[65] Holzmann G. J., The SPIN Model Checker: Primer and Reference Manual, Vol. 1003, Addison-Wesley, Reading, MA, 2004. Google Scholar[66] Holzmann G. J., “The Model Checker SPIN,” IEEE Transactions on Software Engineering, Vol. 23, No. 5, May 1997, pp. 279–295. doi:https://doi.org/10.1109/32.588521 Google Scholar[67] Inspiring Applications of Spin [online database] June 2016, http://spinroot.com/spin/success.html [retrieved 25 Jan. 2018]. Google Scholar[68] Holzmann G. J., “Mars Code,” Communications of the ACM, Vol. 57, No. 2, Feb. 2014, pp. 64–73. doi:https://doi.org/10.1145/2556647 CACMA2 0001-0782 CrossrefGoogle Scholar[69] Chopra N. and Er. Bansal L., “Formal Methods for the Verification of Safety Critical Applications Using SPIN Model Checker,” International Journal on Recent and Innovation Trends in Computing and Communication (IJRITCC), Vol. 3, No. 7, July 2015, pp. 4845–4848. doi:https://doi.org/10.17762/ijritcc2321-8169.1507101 Google Scholar[70] Cimatti A., Clarke E., Giunchiglia E., Giunchiglia F., Pistore M., Roveri M., Sebastiani R. and Tacchella A., “NuSMV 2: An OpenSource Tool for Symbolic Model Checking,” Proceedings of Computer Aided Verification (CAV 02), edited by Brinksma E. and Larsen K. G., Lecture Notes in Computer Science, Vol. 2404, Springer, Berlin, 2002. CrossrefGoogle Scholar[71] Bensalem S., Ganesh V., Lakhnech Y., Munoz C., Owre S., Rueß H., Rushby J., Rusu V., Saïdi H., Shankar N. and et al., “An Overview of SAL,” LFM 2000: Fifth NASA Langley Formal Methods Workshop, 2000, pp. 187–196. Google Scholar[72] “Prover Plug-In Product Description,” Prover Technology, Stockholm, https://www.prover.com [retrieved 25 Jan. 2018]. Google Scholar[73] Brat G., Bushnell D., Davies M., Giannakopoulou D., Howar F. and Kahsai T., “Verifying the Safety of a Flight-Critical System,” International Symposium on Formal Methods, Springer, Cham, Switzerland, 2015, pp. 308–324. doi:https://doi.org/10.1007/978-3-319-19249-9_20 CrossrefGoogle Scholar[74] Kahsai T. and Tinelli C., “PKIND: A Parallel k-Induction Based Model Checker,” Proceedings of PDMC 2011, Vol. 72, Electronic Proceedings in Theoretical Computer Science, 2011, pp. 55–62. doi:https://doi.org/10.4204/eptcs.72.6 Google Scholar[75] Halbwachs N., Caspi P., Raymond P. and Pilaud D., “The Synchronous Data Flow Programming Language LUSTRE,” Proceedings of the IEEE, Vol. 79, No. 9, 1991, pp. 1305–1320. doi:https://doi.org/10.1109/5.97300 Google Scholar[76] Berry G., “The Foundations of Esterel,” Proof, Language, and Interaction, edited by Gordon P., Colin S. and Mads T., MIT Press, Cambridge, MA, 1998, pp. 425–454. Google Scholar[77] “Stateflow,” State Machine, MathWorks, Natick, MA, July 2016, http://www.mathworks.com/products/stateflow/ [retrieved 25 Jan. 2018]. Google Scholar[78] Toom A., Tonu N., Marc P., Gandriau M. and Wati I., “Gene-Auto: An Automatic Code Generator for a Safe Subset of Simulink/Stateflow and Scicos,” European Congress on Embedded Real-Time Software (ERTS), Toulouse, 2008, http://www.sia.fr. Google Scholar[79] Rugina A.-E., Dave T., Xavier O. and Guillaume V., “GENE-AUTO: Automatic Software Code Generation for Real-Time Embedded Systems,” Data Systems in Aerospace (DASIA), Vol. 665, Palma de Majorca, Spain, 2008. Google Scholar[80] Toom A., Izerrouken N., Naks T., Pantel M. and Ssi-Yan-Kai O., “Towards Reliable Code Generation with an Open Tool: Evolutions of the Gene-Auto Toolset,” European symposium on Real Time Software and Systems (ERTS2), Vol. 29, No. 1, Toulouse, 2010, pp. 1–8. Google Scholar[81] Rugina A.-E. and Dalbin J.-C., “Experiences with the GENE-AUTO Code Generator in the Aerospace Industry,” Proceedings of the Embedded Real Time Software and Systems (ERTS2), Toulouse, 2010. Google Scholar[82] Feary M. S., “A Toolset for Supporting Iterative Human Automation: Interaction in Design,” NASA Ames Research Center TR 20100012861, Mountain View, CA, 2010. Google Scholar[83] Combéfis S., Giannakopoulou D. and Pecheur C., “Automatic Detection of Potential Automation Surprises for ADEPT Models,” IEEE Transactions on Human-Machine Systems, Vol. 46, No. 2, 2016, pp. 267–278. doi:https://doi.org/10.1109/THMS.2015.2424851 CrossrefGoogle Scholar[84] Whittle J. and Schumann J., “Automating the Implementation of Kalman Filter Algorithms,” ACM Transactions on Mathematical Software, Vol. 30, No. 4, Dec. 2004, pp. 434–453. doi:https://doi.org/10.1145/1039813 ACMSCU 0098-3500 CrossrefGoogle Scholar[85] Denney E. and Fischer B., “Formal Safety Certification of Auto-Generated Aerospace Software,” [email protected], AIAA Paper 2005-6913, 2005, pp. 1–8. doi:https://doi.org/10.2514/6.2005-6913 LinkGoogle Scholar[86] Denney E., Fischer B. and Schumann J., “Adding Assurance to Automatically Generated Code,” 2004 Proceedings. 8th IEEE International Symposium on High Assurance Systems Engineering, IEEE Computer Soc., Los Alamitos, CA, 2004. doi:https://doi.org/10.1109/hase.2004.1281768 Google Scholar[87] 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) [online database] IEEE Publ., Piscataway, NJ, June 2012, http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6220306 [retrieved 25 Jan. 2018]. Google Scholar[88] OPENCOSS: Open Platform for EvolutioNary Certification of Safety-Critical Systems [online database], May 2016, http://www.opencoss-project.eu/node/2 [retrieved 25 Jan. 2018]. Google Scholar[89] CORDIS: Community Research and Development Information Service [online database], May 2016, http://cordis.europa.eu/fp7/ [retrieved 25 Jan. 2018]. Google Scholar[90] Douglass B. P., Real-Time Agility: The Harmony/ESW Method for Real-Time and Embedded Systems Development, Pearson Education, Upper Saddle River, NJ, 2009. Google Scholar[91] Douglass B. P. and Gothe M., “IBM Rational Workbench for Systems and Software Engineering,” IBM Redpapers, Redbook- REDP-4681-00, 2010. Google Scholar[92] Cofer D., Whalen M. and Miller S., “Software Model Checking for Avionics Systems,” 2008 IEEE/AIAA 27th Digital Avionics Systems Conference, IEEE Publ., Piscataway, NJ, 2008. doi:https://doi.org/10.1109/dasc.2008.4702862 Google Scholar Next article FiguresReferencesRelatedDetailsCited byExploring the challenges and benefits for scaling agile project management to large projects: a review25 October 2021 | Requirements Engineering, Vol. 6REStRAIN: Conceptualization of Agile Process Tools Integration with Reference to the Aerospace IndustryMalik Khalfallah23 February 2021 | Journal of Aerospace Information Systems, Vol. 18, No. 4Generating Certification Evidence for Autonomous Aerial Vehicles Decision-MakingDonald H. Costello III and Huan Xu22 October 2020 | Journal of Aerospace Information Systems, Vol. 18, No. 1Propuesta para la aplicación de métodos ágiles en el diseño conceptual de un dron11 November 2020 | Ciencia y Poder Aéreo, Vol. 15, No. 2A Novel Semantic Cohesion Approach for Chinese Airworthiness Regulations: Theory and ApplicationIEEE Access, Vol. 8 What's Popular Volume 15, Number 8August 2018 Metrics CrossmarkInformationCopyright © 2018 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved. All requests for copying and permission to reprint should be submitted to CCC at www.copyright.com; employ the ISSN 2327-3097 (online) to initiate your request. See also AIAA Rights and Permissions www.aiaa.org/randp. TopicsAerodynamicsAeronautical EngineeringAeronauticsAirspeedAirworthinessAviationAviation Authorities and OrganizationsAviation Licenses and CertificationsAviation SafetyAviation StandardsAvionicsGuidance, Navigation, and Control Systems KeywordsAirworthiness CertificationRadio Technical Commission for AeronauticsSoftware SystemsEuropean Organisation for Civil Aviation EquipmentSoftware Considerations in Airborne Systems and Equipment CertificationAirworthinessIntegrated Development EnvironmentsRational Software ArchitectAviationSafety Critical SoftwarePDF Received29 August 2017Accepted1 June 2018Published online17 July 2018
Referência(s)