Model-driven engineering; fault-tolerance; reliability; soft-errors; statecharts;
机译:软件的好处:使用正确的软件可以提高您的生产率并消除错误。完成后发现METFIN拥有公认的软件解决方案
机译:单元测试用于优化嵌入式软件开发:Frank Buechner介绍了如何通过单元测试减少嵌入式应用程序中的软件错误。
机译:使用先进的软件技术进行高度可靠的嵌入式软件开发
机译:在软错误下可靠执行StateChart-Degress的正确嵌入式软件
机译:自修复元胞自动机可纠正有缺陷的嵌入式程序存储器中的软错误。
机译:校正力传感器动态误差的软件
机译:嵌入式软件执行时间的可靠估计
机译:用于安全可靠地执行高后果软件的嵌入式系统