SysML安全性扩展及其到AADL故障模型的自动转换方法

摘要

本发明公开了SysML安全性扩展及其到AADL故障模型的自动转换方法，SysML现有的语义不足以表达安全性相关的信息，本发明利用SysML的扩展机制开发了一个Safety Profile文件，通过该Profile文件将安全性相关信息集成至SysML模型中，然后通过转换工具，将已集成安全性相关信息的SysML模型转换为带错误附件的AADL模型。