墨尔本大学高完整性系统工程(SWEN90010)辅导

同学你好，我们可以辅导墨尔本大学高完整性系统工程(SWEN90010)High Integrity Systems Engineering课程。

高完整性系统是必须设计成高可靠性水平的系统，即高水平的安全、安保、可靠性和性能。在本课程中，学生将探索用于分析、设计和实现可靠系统的目标、原则、技术和工具。

High integrity systems are systems that must be engineered to a high level of dependability, that is, a high level of safety, security, reliability and performance. In this subject students will explore the aims, principles, techniques and tools that are used to analyse, design and implement dependable systems.

主题包括：高完整性系统的介绍;安全关键系统和安全工程;系统的数学模型;容错系统设计:合同设计;静态验证;和基于模型的测试。

对可靠系统的特征进行分类，并在域中识别这些特征将先进的验证方法应用于系统属性的验证和测量将一系列技术应用于高完整性系统的分析、设计和验证

每周课时：1小时Lecture，1小时Workshop

作业形式：项目报告作业，期末考试

如果同学需要辅导墨尔本大学高完整性系统工程(SWEN90010)High Integrity Systems Engineering课程，可以直接联系我们客服老师咨询。