您是否遇到过软件系统失灵的情况？网站崩溃、日历不同步，甚至停电。当然有过！但你知道吗，这些错误很多都是由于系统内部或系统之间的通信错误造成的？根据系统的不同，软件故障的影响可能是巨大的，甚至会造成巨大的经济损失或人员伤亡。软件，尤其是软件密集型系统之间的通信，非常复杂，也很难做到正确无误。然而，我们需要我们直接或间接使用的系统的可靠性，以支持我们的日常生活。 系统验证可以帮助您设计结构合理的嵌入式系统行为。系统验证还能使系统行为简单明了；设计行为合理的系统也更易于维护和调整。系统验证是研究系统通信和信息处理基本原理的领域。系统验证中提出的技术可以证明不存在错误。

第一门课程 "自动机和行为等价 "为后续课程打下基础，向您展示如何将系统行为视为状态机。课程讨论了行为等价性，并通过大量示例和测验进行了说明。本课程讲解了用于行为建模的标签转换系统或自动机，特别是软件控制系统。一个重要的问题是，这种自动机所代表的两个行为何时相等。这个问题的答案并不简单，但由此产生的等价关系是简化复杂行为的有力工具。这使我们能够精确地研究和理解此类系统的行为特性。尤其是在与隐藏行为相结合的情况下，等价还原是洞察系统行为的独特技术，其效果远远超过模拟或测试。利用这种洞察力，我们可以使模型正确无误。这样的模型为生产简洁、可靠和可维护的软件奠定了良好的基础。 本课程是系统验证系列课程的第一部分。系统验证作为一套课程，是名为 "通过嵌入式系统实现物联网 "的大型 EIT 数字在线课程的一部分。