Radio Technical Commission for Aeronautics
Semantic Scholar uses AI to extract papers important to this topic.
Power systems are the most complex systems and have great importance in modern life. They have direct impacts on the… Expand As of today, model-based testing (MBT) is considered as leading-edge technology in industry. We sketch the different MBT variants… Expand One of the key services envisioned in support of the NextGen and SESAR concepts is the 4D Trajectory Data Link (4DTRAD) Service… Expand For researchers performing invasion and migration assays, the CIM-Plate 16 used with the xCELLigence RTCA DP Instrument from… Expand Many safety-related, certification standards exist for developing safety-critical systems. System safety assessments are common… Expand R euse has been defined variously: Definitions range from " the systematic practice of developing software from a stock of… Expand This tutorial provides a practical approach to assessing modified condition/decision coverage (MC/DC) for aviation software… Expand In a joint project with the FAA, NASA Langley is developing a hardware design in accordance with RTCA DO-254: Design Assurance… Expand This article describes the rationale for formal methods and considers the benefits, weaknesses, and difficulties in applying… Expand