共 50 条
- [11] Formal Verification of Integrated Modular Avionics (IMA) Health Monitoring using Timed Automata 2015 INTERNATIONAL SEMINAR ON INTELLIGENT TECHNOLOGY AND ITS APPLICATIONS (ISITIA), 2015, : 291 - 295
- [14] An AADL-based modeling method for ARINC653-based avionics software 2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, : 224 - 229
- [15] ARINC 653 HYPERVISOR 29TH DIGITAL AVIONICS SYSTEMS CONFERENCE: IMPROVING OUR ENVIRONMENT THROUGH GREEN AVIONICS AND ATM SOLUTIONS, 2010,
- [16] Communications for Integrated Modular Avionics 2007 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2007, : 2498 - 2515
- [17] Industrial Experiences with Resource Management under Software Randomization in ARINC653 Avionics Environments 2018 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD) DIGEST OF TECHNICAL PAPERS, 2018,
- [18] A Streamlined Approach Toward Automated Generation and Validation of ARINC 653-Compliant Avionics Configurations JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 2025,
- [19] Designing ARINC653 Partition Constrained Scheduling for Secure Real Time Embedded Avionics 2015 IEEE 2ND INTERNATIONAL CONFERENCE ON CYBER SECURITY AND CLOUD COMPUTING (CSCLOUD), 2015, : 213 - 217
- [20] Application migration from linux prototype to deployable ima platform using ARINC 653 and open GL 2007 IEEE/AIAA 26TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1-3, 2007, : 1122 - 1126