机译:嵌入式控制系统的基于仿真的验证方法:传统和高级建模,测试和验证技术的概述
Model-Based Development group, Toyota Technical Center, Los Angeles, California USA;
Toyota Technical Center, Los Angeles, California USA;
Model-Based Development group, Toyota Technical Center, Los Angeles, California USA;
Powertrain Control Department, Toyota Technical Center, Ann Arbor, Michigan USA;
Testing; Numerical models; Complexity theory; Process control; Embedded systems; Automotive engineering; Aerospace safety; Medical devices; Performance evaluation; Verification;
机译:应用调度程序测试用例技术验证多处理器定时触发的嵌入式系统中的调度程序实现
机译:基于NCES的建模和基于CTL的可重构嵌入式控制系统验证
机译:风力涡轮机液压桨距控制系统:液压蓄能器的高级建模与验证
机译:特定于语言的方法与独立于语言的方法:将语义嵌入到用于测试和验证访问控制策略的元模型中
机译:存在模型不确定性的概率系统的验证和最优控制的正式技术。
机译:基于生理的药代动力学(PBPK)建模和模拟方法:已发布的模型应用和模型验证的系统评价
机译:特定于语言还是独立于语言的方法:将语义嵌入到元模型中以测试和验证访问控制策略
机译:基于定时计算技术的先进车辆控制系统建模与验证