编者按:此文件被选为MATLAB Central本周精选
在Simulink中使用子系统的概念来表示系统内部的系统,以提供分层建模。Simulink子系统具有输入(到子系统的显式链接)和输出(从子系统的显式链接)。我们将输入和输出端口视为子系统的显式接口。然而,在Simulink的子系统中存在隐藏的(隐式的)数据依赖关系。隐藏依赖关系源于两个Simulink数据机制:数据存储内存/读/写块和转到/从块。签名工具提取Simulink子系统的签名。签名表示Simulink子系统的接口,使数据流显式地流入和流出子系统。该工具为子系统识别两个有用的签名:强签名和弱签名。强签名标识子系统或其子系统所访问的数据机制。弱签名标识子系统可以访问的数据机制(在层次结构中声明的那些机制),但不一定使用。 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.
•有关安装和如何使用该工具的说明,请参阅附带的用户指南:Signature/doc/Signature_UserGuide.pdf。
•此工具依赖于我们的Simulink实用程序。请在此下载:https://github.com/McSCert/Simulink-Utility.
有关签名的理论背景和如何使用签名的更多信息,有兴趣的读者可以参考:
[1] Marc Bender, Karen Laurin, Mark Lawford, Vera Pantelic, Alexandre Korobkine, Jeff Ong, Bennett Mackenzie, Monika Bialy, Steven Postma,“签名要求:使Simulink数据流和接口显式化”,计算机编程科学,Elsevier, 2015, 113,第1部分,29-50。
有关该工具的功能以及如何使用Simulink进行基于模型的开发的更多信息,请参阅以下两篇论文:
Vera Pantelic, Steven Postma, Mark Lawford, Alexandre Korobkine, Bennett Mackenzie, Jeff Ong, Marc Bender,“Simulink的一个工具集:用Simulink改进开发中的软件工程实践”,第三届模型驱动工程和软件开发国际会议(MODELSWARD 2015), SCITEPRESS, 2015, 50-61。DOI:https://doi.org/10.5220/0005236100500061(最佳论文奖)
[3] Vera Pantelic, Steven Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng,“软件工程实践与Simulink:弥合差距”,国际软件工具技术转移杂志(STTT), 2017, 95-117。DOI:https://doi.org/10.1007/s10009-017-0450-9
引用作为
McSCert(2022)。签名工具GitHub (https://github.com/McSCert/Signature/releases/tag/v3.3)。检索.