최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기한국항공우주학회지 = Journal of the Korean Society for Aeronautical & Space Sciences, v.49 no.6, 2021년, pp.473 - 480
장정훈 (MOASOFT Corp.) , 강유선 (MOASOFT Corp.) , 이지현 (MOASOFT Corp.)
In this paper, We analyze and present improvements to problems in software quality through Static Analysis for Open Source, which is widely used as the Flight Controller software for small unmanned aerial vehicle drones. MISRA coding rules, which are widely applied based on software quality, have be...
The open standards for drone hardware (https://pixhawk.org)
Kim, T. G. Kim, C. H. Rhee, J. H. Fan Fei, Zhan Tu, Gregory Walkup, Xiangyu Zhang, Xinyan Deng and Dongyan Xu, "RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles Through Control-Guided Testing," 28th USENIX Security Symposium, August 14-16, 2019, pp. 425~442.
ALIAS ROBOTICS Robot Cybersecurity, The Cybersecurity Status of PX4, pp. 11~18.
SGS-TUV Saar GmbH, Certificate NO FS/71/220/15/0105 for LDRA tool suite (CERT. REPORT NO. K1C20003), 2015.
LDRA Ltd., User Guide for LDRA tool suite Version 9.5, 2016, pp. 341~343.
MISRA, MISRA-C++:2008, Guidelines for the use of the C++ language in critical systems, 2008, pp. 17~173.
LDRA Ltd., MISRA-C++:2008 Standards Model Compliance for C++, 2020.
RTCA Inc, DO-178C, Software Considerations in Airborne Systems and Equipment Certification, 2011, p. 100.
IEC, IEC 61508-3, Functional safety of electrical/ electronic/programmable electronic safety-related systems - Part 3: Software requirements, 2nd Ed., 2010, p. 57.
ISO, ISO 26262-6, Road Vehicles-Functional Safety-Product development at the software level, 2011, p. 26.
IEC, IEC 62279, Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems, 2nd Ed., 2015, p. 75.
IEC, IEC 60880, Nuclear power plants - Instrumentation and control systems important to safety - Software aspects for computer-based systems performing category A functions, 2nd Ed., 2006, p. 161.
IEC, IEC 62304, Medical device software - Software life cycle processes, 1st Ed., 2006, pp. 90~91.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.