共 50 条
- [3] Zero Trust Avionics Systems (ZTAS) 2023 IEEE/AIAA 42ND DIGITAL AVIONICS SYSTEMS CONFERENCE, DASC, 2023,
- [4] A Survey of Optimal Hardware and Software Mapping for Distributed Integrated Modular Avionics Systems APPLIED SCIENCES-BASEL, 2020, 10 (08):
- [6] SOFTWARE MODEL CHECKING FOR AVIONICS SYSTEMS DASC: 2008 IEEE/AIAA 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1 AND 2, 2008, : 1209 - 1216
- [7] RESEARCH ON INTEGRATED TECHNOLOGY AND MODEL IN AVIONICS SYSTEM 2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,
- [8] An automatic development process for integrated modular avionics software 1600, Academy Publisher (08): : 1088 - 1095
- [9] Research on integrated technology and model in avionics system 2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,
- [10] Safety-based Software Reconfiguration Method for Integrated Modular Avionics Systems in AADL Model 2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2018, : 450 - 455