可调度性验证相关论文
随着现代化的推进,计算机软件已广泛应用于航天航空、武器装备、交通等安全攸关的系统中。由于在安全攸关实时系统中一个微小的逻......
为解决复杂工作流的时间建模与可调度性验证问题，提出了将简化规则应用到Petri网工作流模型中的方法。首先，给出了时间约束Petri网的......
工作流建模阶段的验证工作对工作流的成功执行具有重要意义。首先分析了与工作流执行密切相关的资源和时间特性,考虑到工作流应用......
实时系统在工业界和人们日常生活中扮演着日益重要的角色，其开发方法学和实现技术也一直是学术界研究的热点课题。面向对象的分析和......
市场环境的变化对于各个企业都提出了越来越高的要求,更多的企业意识到只有多组织间的相互协同,才能够满足客户日益增长的需求。在......
综合模块化航空电子系统（Integrated modular avionics,IMA）中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本......
