Integrated performance and reliability specification for digital avionics systems

摘要

This paper describes an automated tool for performance and reliability assessment of digital avionics systems. called the Automated Design Tool Set (ADTS). ADTS is based on an integrated approach to design assessment that unifies traditional performance and reliability views of system designs, and that addresses interdependencies between performance and reliability behavior via exchange of parameters and results between mathematical models of each type.