共 50 条
- [1] Reusing Certified, Safety-Critical Avionics Software 2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
- [3] Experimental assessment of astree on safety-critical avionics software COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2007, 4680 : 479 - +
- [5] Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 53 - +
- [9] Composable Safety-Critical Systems Based on Pre-Certified Software Components 23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSRE 2012), 2012, : 343 - 348
- [10] Managing Cache Partitioning in Multicore Processors for Certifiable, Safety-Critical Avionics Software Applications 2014 IEEE/AIAA 33RD DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2014,