编者按:这个文件被选为MATLAB中央选择的
子系统中使用的概念模型来表示系统内部系统提供层次化的建模。万博1manbetx港口万博1manbetx(显式链接到一个仿真软件子系统子系统),和外港从子系统(显式链接)。我们认为港口和外港的显式接口子系统。然而,有隐藏(隐性)数据依赖关系在仿真软件的子系统。万博1manbetx隐藏的依赖是由于两个模型数据机制:数据存储内存/读/写和转到/从街区。万博1manbetx的签名工具提取签名模型子系统。万博1manbetx签名代表仿真软件子系统的接口,使数据流的子系统明确。万博1manbetx该工具识别为一个子系统两个有用的签名:强烈的签名和疲软的签名。强劲的签名识别子系统的数据访问机制,或任何它的孩子。疲软的签名标识子系统可以访问的数据机制(声明那些更高的层次),但不一定是使用。 The Signature Tool can be used to either explicitly include the signatures in the model itself, or export the signatures into a text/tex/docx file.
•安装说明和如何使用该工具,请参阅用户指南包括:签名/ doc / Signature_UserGuide.pdf。
•这个工具依赖于我们的仿真软件工具。万博1manbetx请在这里下载:https://github.com/McSCert/万博1manbetxSimulink-Utility。
更多关于签名的理论背景和他们如何可以使用,感兴趣的读者被称为:
[1]马克•本德凯伦三月桂酸甘油酯,马克获悉Vera Pantelic亚历山大•Korobkine杰夫Ong贝内特Mackenzie,莫妮卡面包卷,史蒂文Postma,“签名要求:数据流模型和接口明确,“科学的计算机编程,爱思唯尔,2015年,113年,第1部分,29-50。万博1manbetx
更多关于工具的功能,以及它如何与仿真软件可用于基于模型的开发,看到两篇论文:万博1manbetx
[2]维拉Pantelic,史蒂文Postma,马克获悉约翰亚历山大•Korobkine贝内特Mackenzie,杰夫Ong马克•本德”仿真软件工具集:提高软件工程实践与仿真软件开发,“第三届国际研讨会论文集在模型驱动工程和软件开发(MODELSWAR万博1manbetxD 2015), SCITEPRESS, 2015, 50 - 61。DOI:https://doi.org/10.5220/0005236100500061(最佳论文奖)
[3]维拉Pantelic,史蒂文Postma,马克获悉莫妮卡Jaskolka,班尼特麦肯齐,亚历山大•Korobkine马克•本德杰夫Ong戈登标志,艾伦•Wassyng“软件工程实践和仿真软件:缩小差距,“国际期刊对技术转让的软件工具(STTT), 2017年,95 - 117。万博1manbetxDOI:https://doi.org/10.1007/s10009 - 017 - 0450 - 9
引用作为
McSCert (2021)。签名工具GitHub (https://github.com/McSCert/Signature/releases/tag/v3.3)。检索。
