state-space methods; embedded systems; process control; vehicles; program verification; divide and conquer methods; high-assurance continuous process-control systems; continuous state spaces; real-time embedded systems; high-quality software development; independently developable end-user assessable logical; IDEAL; vehicle control system; formal verification;
机译:过程控制系统的面向方面的自动化分解,可确保超高可靠性
机译:可靠的效果筛选:用于监视不断发展的软件系统中性能下降的分布式连续质量保证过程
机译:可靠的效果筛选:用于监视不断发展的软件系统中性能下降的分布式连续质量保证过程
机译:高可靠性连续过程控制系统的公平性和性能方面的分解
机译:基于可独立开发的最终用户可评估逻辑方面的用于超高可靠性保证的过程控制系统的系统开发。
机译:新型连续血糖监测仪的性能评估:连续血糖监测系统的性能评估:精确的绝对相对偏差是评估的一部分
机译:可靠的效果筛选:分布式连续质量保证流程,用于监控不断发展的软件系统中的性能下降
机译:附录F - 质量保证程序。程序1 - 用于符合性确定的气体连续排放监测系统的质量保证要求。意见和回应摘要