|
所在平台: Coursera |
课程主页: https://www.coursera.org/learn/system-validation-behavior
课程评论：没有评论
课程名称：系统验证（2）：模型过程行为 课程概述：系统验证是研究系统通信和信息处理基本原理的领域，是计算机科学和软件开发进一步发展的逻辑步骤。该课程通过基于系统行为模型的自动化分析，确保系统能够正确运行。系统验证中提出的技术可以证明系统不存在错误，设计出的嵌入式系统行为不仅结构合理，而且使系统行为更简单，易于理解。这意味着系统不仅能正确运行，并且更易于维护和适应。“模型过程行为”是“自动机与行为等价”课程的后续MOOC。这门课程将教授如何建模过程行为，特别是协议和分布式算法，深入探讨系统行为的属性，并保持简单以避免状态空间的爆炸。阅读材料为J.F. Groote和M.R. Mousavi所著的《建模与分析通信系统》，MIT出版社，2014年。 该课程是系统验证系列课程的第二部分，系统验证作为一系列课程，是更大范围内名为“通过嵌入式系统的物联网”的EIT数字在线项目的一部分。 课程大纲： 1. 顺序行为 2. 数据类型 3. 并行行为
Name:Sequential behaviour
Description:
Name:Data types
Description:
Name:Parallel behaviour
Description:
System Validation is the field that studies the fundamentals of system communication and information processing. It is the next logical step in computer science and improving software development in general. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do. The techniques put forward in system validation allow to prove the absence of errors. It allows to design embedded system behaviour that is structurally sound and as a side effect enforces you to make the behaviour simple and insightful. This means that the systems are not only behaving correctly, but are also much easier to maintain and adapt. ’Model process behaviour' is the follow up MOOC to 'Automata and behavioural equivalences'. This MOOC shows you how to model process behaviour, in particular protocols and distributed algorithms, dive deeper in the properties of system behaviour, and keep things simple to avoid a state space explosion. Reading material. J.F. Groote and M.R. Mousavi. Modeling and analysis of communicating systems. The MIT Press, 2014. This course is part 2 of the set of courses for System Validation. System Validation, as a set of courses, is part of a larger EIT Digital online programme called 'Internet of Things through Embedded Systems'.
