一种S~(2)ML流的建模与验证方法

作者:刘静; 丁郭欢; 孙海英; 康介祥; 尹伟; 高杰; 王辉; 吴志伟; 杨琛琛
来源:2021-05-14, 中国, CN202110527960.3.

摘要

本发明公开了一种S~(2)ML流的建模与验证方法,其特点是采用S~(2)ML流模型的分析框架对实时系统进行时延分析和验证,具体包括:S~(2)ML流的图形化建模、S~(2)ML流模型保存为文本格式、S~(2)ML流模型映射为AADL模型和对S~(2)ML流模型进行时延分析,以验证其时延属性是否满足系统设计需求。本发明与现有技术相比具有对实时系统中的流进行建模,并验证其时延属性,方法简便,成本低廉且安全可靠,较好的解决了实时系统时延建模与验证问题,为安全攸关系统的验证奠定了基础。