El estándar rp -4754 aborda los aspectos de ingeniería de sistemas de la certificación de aeronaves，包括los sistemas的requisitos de los sistemas, la validación de los requisitos, El diseño de los sistemas y la verificación de los sistemas。Está respaldado ado DO-178，详细说明我们的目标是certificación软件，您的DO-254，详细说明我们的目标是certificación硬件。ARP-4754A, 2010年公众号，比例información为我们的modelado y simulación para la captura de requisitos, el prototipado y la validación de requisitos。

我们的目标是estándares como ARP-4754, DO-178和DO-254，如果我们想要更多的时间，你需要在文件中进行verificación riguroas的活动。

我们使用elDiseño basado en modelos, ingenieros含量satisfacer洛杉矶objetivos de arp - 4754 y al mismo) tiempo obtener锻炼耐力en cuanto成本y tiempo de comercializacion asociados con la pronta verificacion de los requisitos el捆扎automatizado con requisitos, la simulacion y el分析de los莫德罗la comprobacion de los estandares de los莫德罗La generación de elements de informed y La reutilización de los casos de pueba。

MATLAB，系统的作曲家y金宝appsoportan el diseño basado en modelos para ARP-4754 como se ilustra a continuación。