文件名称:osate中Analyze Fault Impact工具使用的样例
文件大小:15KB
文件格式:ZIP
更新时间:2022-08-06 17:43:40
OSATE FaultImpact AADL
osate中Analyze Fault Impact工具使用的样例
【文件预览】:
stepper-motor
----pom.xml(3KB)
----Propertysets()
--------CasePSC.aadl(441B)
----.settings()
--------org.eclipse.core.resources.prefs(57B)
----.project(393B)
----doc()
--------markdown()
--------html()
----.gitignore(33B)
----diagrams()
--------CasePositionControl_SMS_Original.aadl_diagram(9KB)
--------CasePositionControl_SMS_Operational_Environment_original.aadl_diagram(8KB)
----packages()
--------CasePositionControl.aadl(30KB)
--------SMErrorTypes.aadl(1KB)