参考网页

Vensim建模指南

本建模指南旨在介绍构建和使用模型的一些基本概念,并提供一些示例以提高理解。如果您是Vensim新手,应首先阅读Vensim用户指南。

本指南中的每一章都包含一个模型或一组模型,您可以在阅读本章时构建这些模型。

本指南中很少有关于构建模型的机械说明。如果遇到问题,您可能希望返回用户指南,找到构建类似结构的说明。

Introducing SCADE Model–Based Development into a Safety-Critical System Environment

将基于SCADE模型的开发引入安全关键系统环境。

一文读懂基于SCADE模型的形式化方法 - 知乎 (zhihu.com)

SCADE基础功能模块 - SCADE–高安全性建模 - (51lm.cn)

BPMN流程建模指南(1)概述 - 知乎 (zhihu.com)


参考文档

  • C:\Users\huiyu\Desktop\文档\SCADE\SCADE.doc

  • C:\Users\huiyu\Desktop\文档\SCADE\相关文档\SCADE Suite

  • 安全关键混成系统建模与验证方法研究.caj