可调度性验证相关论文
随着现代化的推进,计算机软件已广泛应用于航天航空、武器装备、交通等安全攸关的系统中。由于在安全攸关实时系统中一个微小的逻......
ARINC653标准规定了综合模块化航电(integrated modular avionics,IMA)系统的两级调度模式,随着系统规模的增大,IMA系统可调度性验......
为解决复杂工作流的时间建模与可调度性验证问题，提出了将简化规则应用到Petri网工作流模型中的方法。首先，给出了时间约束Petri网的......
工作流建模阶段的验证工作对工作流的成功执行具有重要意义。首先分析了与工作流执行密切相关的资源和时间特性,考虑到工作流应用......
结构分析与设计语言AADL在工业控制、汽车、航空航天等任务关键和实时领域的嵌入式系统开发中得到了广泛的应用。为在开发早期......
市场环境的变化对于各个企业都提出了越来越高的要求,更多的企业意识到只有多组织间的相互协同,才能够满足客户日益增长的需求。在......
综合模块化航空电子系统（Integrated modular avionics,IMA）中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本......
