{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:07:55Z","timestamp":1729624075393,"version":"3.28.0"},"publisher-location":"Reston, Virigina","reference-count":32,"publisher":"American Institute of Aeronautics and Astronautics","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,6,19]]},"DOI":"10.2514\/6.2012-2573","type":"proceedings-article","created":{"date-parts":[[2012,12,18]],"date-time":"2012-12-18T17:53:44Z","timestamp":1355853224000},"update-policy":"http:\/\/dx.doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":13,"title":["Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation"],"prefix":"10.2514","author":[{"given":"Matt","family":"Webster","sequence":"first","affiliation":[{"name":"Virtual Engineering Centre"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil","family":"Cameron","sequence":"additional","affiliation":[{"name":"Virtual Engineering Centre"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Jump","sequence":"additional","affiliation":[{"name":"University of Liverpool"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[{"name":"University of Liverpool"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1387","published-online":{"date-parts":[[2012,9,6]]},"reference":[{"unstructured":"1Weibel, R. E. and Hansman, R. J. \u201cSafety Considerations for Operation of Unmanned Aerial Vehicles in the National Airspace System,\u201d Tech.Rep.ICAT-2005-1,MITInternationalCenterforAirTransportation,2005.","key":"p_1"},{"volume-title":"World Unmanned Aerial Vehicle Systems: 2011 Market Profile and Forecast","year":"2011","author":"Zaloga S. J.","key":"p_2"},{"unstructured":"3Civil Aviation Authority, \u201cCAP 553 BCAR Section A: Airworthiness Procedures where the CAA has Primary Responsibility for Type ApprovaloftheProduct,\u201dhttp:\/\/www.caa.co.uk\/docs\/33\/CAP553.PDF,October2011.","key":"p_3"},{"unstructured":"4CivilAviationAuthority,\u201cCAP722UnmannedAircraftSystemOperationsinUKAirspace-Guidance,\u201dhttp:\/\/www.caa.co.uk\/ docs\/33\/CAP722.pdf,April2010.","key":"p_4"},{"volume-title":"Proceedings of theNATORTOWorkshopAVT-173onVirtualPrototypingofAffordableMilitaryVehiclesUsingAdvancedMDO","year":"2011","author":"Cooper J.","key":"p_5"},{"volume-title":"Royal Aeronautical Society Unmanned Aircraft Systems Annual Two Day Conference","year":"2011","author":"Jones A.","key":"p_6"},{"key":"p_7","first-page":"228","volume-title":"The 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011","author":"Webster M.","year":"2011"},{"unstructured":"8CivilAviationAuthority,\u201cCAP393AirNavigation: TheOrderandtheRegulations,\u201dhttp:\/\/www.caa.co.uk\/docs\/33\/CAP393. pdf,April2010.","key":"p_8"},{"key":"p_9","first-page":"2011","volume":"8","author":"Cameron N.","year":"2011","journal-title":"AIAAModelingand SimulationTechnologiesConference,Portland,Oregon,Aug."},{"unstructured":"10Wooldridge,M.,AnIntroductiontoMultiagentSystems,JohnWiley&Sons,2002.","key":"p_10"},{"volume-title":"AISB'08Workshop,2008","author":"Dennis L.A.","key":"p_11"},{"unstructured":"13Holzmann,G.,TheSpinModelChecker: PrimerandReferenceManual,AW,2004.","key":"p_13"},{"doi-asserted-by":"publisher","key":"p_14","DOI":"10.1007\/978-3-540-69850-0_1"},{"unstructured":"15Havelund, K., Lowry, M., Park, S., Pecheur, C., Penix, J., Visser, W., and White, J. L. \u201cFormal Analysis of the Remote Agent Before and AfterFlight,\u201dTheFifthNASALangleyFormalMethodsWorkshop,Virginia,USA,2000.","key":"p_15"},{"volume-title":"National Highway Traffic Safety Administration Toyota Unintended Acceleration Investigation - Appendix A","year":"2011","key":"p_16"},{"volume-title":"On-the-Fly, LTL Model Checking with SPIN: Inspiring Applications","year":"2012","key":"p_17"},{"issue":"2","key":"p_18","first-page":"203","volume":"10","author":"Visser W.","year":"2003","journal-title":"AutomatedSoftwareEngineering"},{"unstructured":"19Kwiatkowska,M.,Norman,G.,andParker,D.\u201cPRISM:ProbabilisticSymbolicModelChecker,\u201dProc.12thInt.Conf.ModellingTechniques andToolsforComputerPerformanceEvaluation(TOOLS),Vol.2324of LNCS,Springer,2002,pp.200-204.","key":"p_19"},{"doi-asserted-by":"crossref","unstructured":"20Dennis, L. A., Fisher, M., Webster, M. P., and Bordini, R. H. \u201cModel Checking Agent Programming Languages,\u201d Automated Software Engineering,Vol.19,No.1,March2012,pp.5-63.","key":"p_20","DOI":"10.1007\/s10515-011-0088-x"},{"unstructured":"22Fisher,M.,AnIntroductiontoPracticalFormalMethodsUsingTemporalLogic,Wiley,2011.","key":"p_22"},{"unstructured":"23Baier,C.andKatoen,J.P.,PrinciplesofModelChecking,MITPress,Cambridge,MA,USA,2008,ISBN978-0-262-02649-9.","key":"p_23"},{"unstructured":"24AdvancedRotorcraftTechnology,Inc.\u201cFLIGHTLAB,\u201dhttp:\/\/www.flightlab.com\/flightlab.html.Accessed2012-05-28.","key":"p_24"},{"volume-title":"ProvingCorrectnessofUnmannedAerialVehicleCooperativeSoftware,\u201dProc","year":"2005","author":"Sward R.E.","key":"p_25"},{"unstructured":"26Chaudemar,J.C.,Bensana,E.,andSeguin,C.\u201cModelBasedSafetyAnalysisforanUnmannedAerialSystem,\u201dProc.DependableRobots inHumanEnvironments(DRHE),2010.","key":"p_26"},{"unstructured":"27Jeyaraman, S., Tsourdos, A., Zbikowski, R., and White, B. \u201cFormal Techniques for the Modelling and Validation of a Co-operating UAV TeamthatusesDubinsSetforPathPlanning,\u201dProc.AmericanControlConference,2005.","key":"p_27"},{"unstructured":"28Sirigineedi, G., Tsourdos, A., Zbikowski, R., andWhite, B.A. \u201cModellingandVerificationofMultipleUAVMissionUsingSMV,\u201dProc. FMA-09,Vol.20ofEPTCS,2009.","key":"p_28"},{"key":"p_29","first-page":"1863","volume-title":"Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011","author":"Bass E. J.","year":"2011"},{"doi-asserted-by":"publisher","key":"p_30","DOI":"10.1145\/186025.186051"},{"doi-asserted-by":"publisher","key":"p_31","DOI":"10.1007\/978-3-642-05089-3_35"},{"unstructured":"32RTCAInc.\u201cDO-178B:SoftwareConsiderationsinAirborneSystemsandEquipmentCertification,\u201dDecember1992.","key":"p_32"},{"unstructured":"33RTCAInc.\u201cDO-178C:SoftwareConsiderationsinAirborneSystemsandEquipmentCertification,\u201dDecember2011.","key":"p_33"},{"unstructured":"34RTCAInc.\u201cDO-333: FormalMethodsSupplementtoDO-178CandDO-278A,\u201dDecember2011.","key":"p_34"}],"event":{"name":"Infotech@Aerospace 2012","location":"Garden Grove, California"},"container-title":["Infotech@Aerospace 2012"],"original-title":[],"link":[{"URL":"http:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/6.2012-2573","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,21]],"date-time":"2021-03-21T05:54:08Z","timestamp":1616306048000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/6.2012-2573"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,19]]},"references-count":32,"alternative-id":["10.2514\/6.2012-2573","10.2514\/MIAA12"],"URL":"https:\/\/doi.org\/10.2514\/6.2012-2573","relation":{},"subject":[],"published":{"date-parts":[[2012,6,19]]}}}