【技术实现步骤摘要】
一种嵌入式实时系统可调度分析方法
[0001]本申请涉及嵌入式系统可调度分析的领域，尤其是涉及一种嵌入式实时系统可调度分析方法。
技术介绍
[0002]以航空航天为典型代表安全/任务关键嵌入式实时系统，一方面需要保证功能执行正确性，同时需要保证功能时间的正确性。同时在嵌入式实时系统中，I O资源是十分重要的，例如传感器资源、作动器资源、网络资源等。现有的嵌入式系统调度设计与分析方法，关注处理器与部署的软件任务，缺乏对I O资源的支持，或者把I O资源抽象到任务和处理器中，这导致可调度分析的结果不太准确。
技术实现思路
[0003]有鉴于此，本申请提供一种嵌入式实时系统可调度分析方法，解决了现有技术中的问题，提高可调度分析结果的准确度。
[0004]本申请提供的一种嵌入式实时系统可调度分析方法采用如下的技术方案：
[0005]一种嵌入式实时系统可调度分析方法，包括：
[0006]步骤1：建立基于AADL的I O模型；
[0007]步骤2：建立基于时间自动机的嵌入式系统模型；
【技术保护点】
【技术特征摘要】
1.一种嵌入式实时系统可调度分析方法，其特征在于，包括：步骤1：建立基于AADL的IO模型；步骤2：建立基于时间自动机的嵌入式系统模型；步骤3：模拟嵌入式系统运行，进行可调度性分析。2.根据权利要求1所述的嵌入式实时系统可调度分析方法，其特征在于，所述步骤1具体包括：建立IO资源提供者模型，包括数据、存储和IO设备；建立IO资源订阅者模型，包括线程和进程；建立IO资源的关系模型，包括PCP、IPCP、PIP协议，在IO资源关系模型中；建立订阅者访问资源的开始和结束时间。3.根据权利要求1所述的嵌入式实时系统可调度分析方法，其特征在于，所述步骤2具体包括：建立任务的时间自动机模型，建立操作系统调度策略的时间自动机模型，建立IO资源调度策略的时间自动机模型，建立任务的时间自动机、操作系统调度策略...
【专利技术属性】
技术研发人员：郭鹏，张晓，李亚晖，李运喜，吴娜，
申请(专利权)人：中国航空工业集团公司西安航空计算技术研究所，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。