摘要：随着中断控制在嵌入式实时系统中的不断广泛应用,中断控制的可靠性是系统设计中面临的重要问题。虽然基于体系结构分析与设计语言(AADL)的形式化方法为这一问题的解决提供了思路,但AADL自身缺少有效的元素和方法来描述和建模中断。为此,提出一种结合AADL与中断控制器的中断控制系统设计方法,并运用GSPN可靠性计算模型对可靠性进行分析,从而为AADL在航电系统中的应用提供了思路。

摘要：目前生产线上的汽车防抱死制动系统(ABS)测速传感器齿圈质量检测均采用人工目视法,其劳动强度大、误检率高、效率低。研究了一种ABS齿圈缺陷检测装置。综合利用转换测量技术、数据采集技术以及自动控制技术,通过反射型光纤传感器实现对齿圈的自动扫描和缺陷检测。经实际运行检测,证明该装置可靠性高、稳定性好,软件界面友好,误检率不大于1%,检测速度达到10 s/PCS,能快速检测齿圈是否合格,有效提高了齿圈的检测效率和准确性,确保了齿圈的出厂合格率在100%的水平。