Plug-in of PRISM for OSATE

osate / examples

Examples and case-study that use OSATE

56 stars 67 forks source link

Plug-in of PRISM for OSATE #5

Closed ksk261188 closed 8 years ago

ksk261188 commented 8 years ago

Hi,

Can anyone suggest the suitable procedure in developing the plugin of PRISM for OSATE? We are working in Aerospace domain and have lot of AADL Aerospace architecture models that needs to be verified using PRISM.

ZenCCoding commented 8 years ago

Sorry , I don't know it. But can U post the video of tutorial online? I'm learning AADL but something really confused me like architecture design, how to make my model completely. Yes, I am reading Feiler's book "Model-based engineering with AADL' but it didn't support some backgroud about AADL. If you can give me some suggestions about how to learn and study it I am really happy and do my best to extend it:)

lwrage commented 8 years ago

This is for bug reports. Please post questions on the mailing list.