一种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流模型进行时延分析,以验证其时延属性是否满足系统设计需求。本发明与现有技术相比具有对实时系统中的流进行建模,并验证其时延属性,方法简便,成本低廉且安全可靠,较好的解决了实时系统时延建模与验证问题,为安全攸关系统的验证奠定了基础。

• 单位
  华东师范大学