[confproc]
A. Paz
/ 2019
/ A requirements modelling language to facilitate avionics software verification and certification
/ 2019IEEE/ACM 6th International Workshop on Requirements Engineering and Testing (RET)
/
: 1~8
[confproc]
T. Saraç
/ 2019
/ Certification aspects of model based development for airborne software
/ 2019 IEEE 2nd International Conference on Information and Computer Technologies (ICICT)
/
: 285~291
[confproc]
N. Park
/ 2018
/ A development of OFP auto code generating tool for air vehicle built-In test
/ Proceeding of the 2018 KSAS Fall Conference
: 609~613
[confproc]
S. Ahn
/ 2014
/ Secure methodology of the autocode integrity for the helicopter fly-by-wire control law using formal verification tool
/ Proceeding of the 2014 KSAS Fall Conference
: 398~405
[confproc]
S. K. Paek
/ 2016
/ Embedded software design using parameter data item
/ Proceeding of the 2016KSAS Fall Conference
/
: 553~554
[confproc]
S. Y. LEE
/ 2019
/ Proposed PDIF generation program for flight testing in various scenarios
/ Proceeding of the 2019 KSAS Fall Conference
/
: 1403~1404
[journal]
W. K. Youn
/ 2015
/ Software certification of safety-critical avionic systems: DO-178C and its impacts
/ IEEE Aerospace and Electronic Systems Magazine
30(4)
: 4~13
[book]
M. Hochstrasser
/ 2017
/ Cham, Advances in Aerospace Guidance, Navigation and Control
/ Springer
: 69~86
[journal]
M. Hochstrasser
/ 2019
/ Cham, Model-Driven Engineering and Software Development
/ Springer, Cham, Model-Driven Engineering and Software Development
991
: 380~405
[confproc]
A. Paz
/ 2016
/ On the exploration of model-bsed support for DO-178C-compliant avionics software development and certification
/ 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
/
: 229~236
[journal]
H. M. Joe
/ 2016
/ A study on means of compliance of airborne software per DO-178C
/ KCA
64
: 61~79
[web]
/ 2020
/ WIKI
/ https://ko.wikipedia.org/wiki/SREC
[journal]
N. E. Rodnishchev
/ 2015
/ To estimation of control law parameters for the lateral motion of aircraft taking into account wind disturbances
/ Russian Aeronaut
58
: 407~412
[journal]
J. Holsten
/ 2015
/ Flight control law design criteria for the transition phase for a tiltwing aircraft using multi-objective parameter synthesis
/ CEAS Aeronaut J
/
6
: 17~30
[confproc]
H. J. Choi
/ 2019
/ Design of an integrated flight control model for light civil helicopter and configuration of the simulation environment with the dynamics model
/ Proceeding of the 2019 KSAS Fall Conference
/
: 1040~1041