[aadl-modeling]: fixes

Peter Feiler phf at sei.cmu.edu
Mon May 22 09:30:45 EDT 2017


They have been disabled until they are corrected. They were sometimes incorrectly reporting issues.

From: aadl-modeling-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu [mailto:aadl-modeling-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu] On Behalf Of Luciana Burgareli
Sent: Monday, May 22, 2017 8:25 AM
To: AADL Modeling <aadl-modeling at lists.sei.cmu.edu>
Subject: Re: [aadl-modeling]: fixes

Hello,

Thank you very much for your reply.

We picked up the latest fix (osate2-2.2.3-v20170519-1911-win32.win32.x86_64.zip) and installed it. However, we realized that there is no Analyses/Fault Analyses/Consistency Checks.

Please, we would like to know if that analisys is temporarialy disabled or it will be removed from next versions.

Best regards,
Luciana, Nanci Naomi and Rovedy


2017-05-19 10:16 GMT-03:00 Peter Feiler <phf at sei.cmu.edu<mailto:phf at sei.cmu.edu>>:
You pick up the fixes to the OSATE implementation from http://osate.org/download-and-install.html#download-locations
Depending on how old your installation is you may want to download the product version rather than from the update site – in particular when there is a change in version of the Eclipse and Xtext.

Peter

From: aadl-modeling-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu<mailto:sei.cmu.edu at lists.sei.cmu.edu> [mailto:aadl-modeling-bounces+phf<mailto:aadl-modeling-bounces%2Bphf>=sei.cmu.edu at lists.sei.cmu.edu<mailto:sei.cmu.edu at lists.sei.cmu.edu>] On Behalf Of Luciana Burgareli
Sent: Friday, May 19, 2017 8:11 AM
To: AADL Modeling <aadl-modeling at lists.sei.cmu.edu<mailto:aadl-modeling at lists.sei.cmu.edu>>
Subject: [aadl-modeling]: fixes

Hello,


How to incorporate the fixes from https://github.com/osate/ErrorModelV2/issues ? Is it enough to update the files?
Best Regards,
Luciana, Nanci Naomi and Rovedy

-------------- next part --------------
HTML attachment scrubbed and removed


More information about the aadl-modeling mailing list