共 50 条
- [1] CERTIFICATION CONCERNS OF INTEGRATED MODULAR AVIONICS (IMA) SYSTEMS DASC: 2008 IEEE/AIAA 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1 AND 2, 2008, : 181 - +
- [2] Incremental Assurance of Multicore Integrated Modular Avionics (IMA) 2021 IEEE/AIAA 40TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2021,
- [3] Model extraction for ARINC 653 based avionics software MODEL CHECKING SOFTWARE, PROCEEDINGS, 2007, 4595 : 243 - +
- [4] An Ontology for System Reconfiguration: Integrated Modular Avionics IMA Case Study RECENT TRENDS AND ADVANCES IN MODEL BASED SYSTEMS ENGINEERING, 2022, : 189 - 198
- [5] Verification support for ARINC-653-based avionics software SOFTWARE TESTING VERIFICATION & RELIABILITY, 2011, 21 (04): : 267 - 298
- [6] ARINC 653 AND IMA-COMPLIANT HIGH ROBUSTNESS FILE SYSTEMS DASC: 2008 IEEE/AIAA 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1 AND 2, 2008, : 38 - 42
- [7] Partition Modeling and Optimization of ARINC 653 Operating Systems in the Context of IMA 2016 IEEE/AIAA 35TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2016,
- [8] Leveraging Driverless Car Investment in Next Generation Integrated Modular Avionics (IMA) 2016 IEEE/AIAA 35TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2016,
- [10] Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 321 - 331