Groups
Sign in
Groups
OSATE
Conversations
Labels
About
Send feedback
Help
OSATE
Contact owners and managers
1–30 of 381
This group is a support forum for
OSATE
. It is the place to
ask questions about using OSATE, model analyses, etc.
discuss potential bugs and propose features or improvements
discuss development of additional analyses
other things like the above.
Mark all as read
Report group
0 selected
Carlos
Sep 24
Question on Annex F.20 Example with Two Modules
In the ARINC 653 annex, there is an example showing two modules communicating over a bus called
unread,
Question on Annex F.20 Example with Two Modules
In the ARINC 653 annex, there is an example showing two modules communicating over a bus called
Sep 24
Carlos
,
jjhugu...@gmail.com
2
Jul 18
how do you model a mode transition that depends on two events?
Please review the definition of events in AADL. An event is a pure signal. It is either absent or
unread,
how do you model a mode transition that depends on two events?
Please review the definition of events in AADL. An event is a pure signal. It is either absent or
Jul 18
Carlos
, …
jjhugu...@gmail.com
3
Jul 18
Modeling a NvM storage but from S/W perspective
To complement Frank's answer AADL uses memory for both HW and SW, one can add properties to
unread,
Modeling a NvM storage but from S/W perspective
To complement Frank's answer AADL uses memory for both HW and SW, one can add properties to
Jul 18
Carlos
,
Sam Procter
3
Jul 18
Is AGREE really integrated into OSATE?
I found it. I had to go to Help > Install additional OSATE components. In the dialog, I then
unread,
Is AGREE really integrated into OSATE?
I found it. I had to go to Help > Install additional OSATE components. In the dialog, I then
Jul 18
bert li
, …
Carlos Ramos
10
Jul 18
problem with aadl model
There seems to be no version beyond OSATE2 2.14.0.vfinal. I have to redact my bug report to correct
unread,
problem with aadl model
There seems to be no version beyond OSATE2 2.14.0.vfinal. I have to redact my bug report to correct
Jul 18
Carlos Ramos
Jul 5
Can ALISA requirements help me write better and more structured requirements?
I noticed that I can write a requirement and use the “for” clause to reference a feature on the
unread,
Can ALISA requirements help me write better and more structured requirements?
I noticed that I can write a requirement and use the “for” clause to reference a feature on the
Jul 5
Carlos Ramos
2
Jul 5
OSATE always gives warnings for requirements that are already referencing another requirement
I want to add to this after trying to do the same, but this time using goals like “see goal”. I
unread,
OSATE always gives warnings for requirements that are already referencing another requirement
I want to add to this after trying to do the same, but this time using goals like “see goal”. I
Jul 5
Carlos Ramos
, …
jjhudak
3
Jun 25
Feature groups and data ports
Hi Carlos: “possibility of using things like feature groups for example or in the case of SysML using
unread,
Feature groups and data ports
Hi Carlos: “possibility of using things like feature groups for example or in the case of SysML using
Jun 25
Faten Fakhfakh
, …
Jason Belt
5
Jun 3
How I can prove the correctness of a property using OSATE
Hi Faten, I'm a developer of HAMR which is a submodule of Sireum. I just tried both installation
unread,
How I can prove the correctness of a property using OSATE
Hi Faten, I'm a developer of HAMR which is a submodule of Sireum. I just tried both installation
Jun 3
Brian Larson
,
jjhugu...@gmail.com
3
Apr 15
End-to-end flows between threads in different systems
Jerome, This is a very clever solution. Thank you. I had not considered f_P_out in the process type
unread,
End-to-end flows between threads in different systems
Jerome, This is a very clever solution. Thank you. I had not considered f_P_out in the process type
Apr 15
Lutz Wrage
, …
Brian Larson
4
Apr 2
New stable release: OSATE 2.14.0
I'm happy to report that multitude.net now has a valid SSL/TLS certificate, redirects access from
unread,
announcement
New stable release: OSATE 2.14.0
I'm happy to report that multitude.net now has a valid SSL/TLS certificate, redirects access from
Apr 2
Alexey Pavlyuk
,
Lutz Wrage
6
Mar 28
re-opening faulttree in graphical mode
No, we don't have that functionality in OSATE. On Thursday, March 28, 2024 at 7:04:08 AM UTC-4
unread,
re-opening faulttree in graphical mode
No, we don't have that functionality in OSATE. On Thursday, March 28, 2024 at 7:04:08 AM UTC-4
Mar 28
Lutz Wrage
Mar 26
OSATE 2.14.0 release candidate
A release candidate build of OSATE 2.14.0 is available at https://osate-build.sei.cmu.edu/download/
unread,
announcement
OSATE 2.14.0 release candidate
A release candidate build of OSATE 2.14.0 is available at https://osate-build.sei.cmu.edu/download/
Mar 26
Frank Singhoff
Mar 26
Fwd: Last call for contributions - ADEPT 2024: AADL by its practitioners, 14 June 2024, Barcelona, Spain
-------- Message transféré -------- Sujet : Last call for contributions - ADEPT 2024: AADL by its
unread,
Fwd: Last call for contributions - ADEPT 2024: AADL by its practitioners, 14 June 2024, Barcelona, Spain
-------- Message transféré -------- Sujet : Last call for contributions - ADEPT 2024: AADL by its
Mar 26
Liam Jennings
, …
Brian Larson
5
Mar 19
Graphically viewinstance or implementations on MacOS
Try "Open Diagram" from the context menu in OSATE 2.13.0. You'll get something like
unread,
Graphically viewinstance or implementations on MacOS
Try "Open Diagram" from the context menu in OSATE 2.13.0. You'll get something like
Mar 19
Brian Larson
Mar 15
Solving missing IResourceServiceProvider.Registry.INSTANCE
The BLESS plugin was having trouble getting its Injector to generate code using HAMR. In constructors
unread,
Solving missing IResourceServiceProvider.Registry.INSTANCE
The BLESS plugin was having trouble getting its Injector to generate code using HAMR. In constructors
Mar 15
Frank Singhoff
Mar 7
Fwd: Call for contributions - ADEPT 2024: AADL by its practitioners, 14 June 2024, Barcelona, Spain
(apologies for multiple copies of this message) -----------------------------------------------------
unread,
Fwd: Call for contributions - ADEPT 2024: AADL by its practitioners, 14 June 2024, Barcelona, Spain
(apologies for multiple copies of this message) -----------------------------------------------------
Mar 7
António Ferreira
Feb 4
Problem with OSATE installation
Upon trying to install OSATE through Eclipse I was unable to change Eclipse's perspective to the
unread,
Problem with OSATE installation
Upon trying to install OSATE through Eclipse I was unable to change Eclipse's perspective to the
Feb 4
António Ferreira
Feb 4
OSATE installation error
Upon trying to install OSATE through Eclipse I was not able to change Eclipse's perspective to
unread,
OSATE installation error
Upon trying to install OSATE through Eclipse I was not able to change Eclipse's perspective to
Feb 4
Avi Shaked
, …
jjhudak
6
Jan 29
Learning about AADL+AGREE
Hi Avi: I just saw your followup message. I am a bit biased since I am a co-author of the course. It
unread,
Learning about AADL+AGREE
Hi Avi: I just saw your followup message. I am a bit biased since I am a co-author of the course. It
Jan 29
Brian Larson
Jan 28
BLESS 3.2.3 works fine with OSATE v2.13.0-final
I don't know what I did to fix the missing injector provider issue, but the current build of
unread,
BLESS 3.2.3 works fine with OSATE v2.13.0-final
I don't know what I did to fix the missing injector provider issue, but the current build of
Jan 28
Lutz Wrage
Jan 19
Developers: Update to Eclipse 2023-12
I have created a new setup for Eclipse 2023-12. All developers should use it to install a fresh
unread,
Developers: Update to Eclipse 2023-12
I have created a new setup for Eclipse 2023-12. All developers should use it to install a fresh
Jan 19
Frank Singhoff
12/23/23
Fwd: Call for contributions - ADEPT 2024: AADL by its practitioners
-------- Message transféré -------- Sujet : Call for contributions - ADEPT 2024: AADL by its
unread,
Fwd: Call for contributions - ADEPT 2024: AADL by its practitioners
-------- Message transféré -------- Sujet : Call for contributions - ADEPT 2024: AADL by its
12/23/23
Brian Larson
3
11/29/23
BLESS 3.2.2 does not work with OSATE 2.13.0 or 2.13.90
Why getResourceServiceProvider fails to find an IResourceServiceProvider is still baffling, so I
unread,
BLESS 3.2.2 does not work with OSATE 2.13.0 or 2.13.90
Why getResourceServiceProvider fails to find an IResourceServiceProvider is still baffling, so I
11/29/23
Brian Larson
,
Lutz Wrage
3
11/10/23
Time-out installing Additional OSATE Components
Lutz, I tried Install Additional OSATE Components again, and it worked after two days of timeouts. It
unread,
Time-out installing Additional OSATE Components
Lutz, I tried Install Additional OSATE Components again, and it worked after two days of timeouts. It
11/10/23
Ehsan Ahmad
,
Lutz Wrage
2
11/7/23
".... cannot be resolved to a type" error
Did you download javafx and set the preference? Try restarting and a full build (project > clean
unread,
".... cannot be resolved to a type" error
Did you download javafx and set the preference? Try restarting and a full build (project > clean
11/7/23
Eric Lubat
,
Brian Larson
2
10/20/23
Looking for the subprograms in an instanciation of an AADL model
Eric, Look for useful utilities and classes for instance models in package org.osate.aadl2.instance.
unread,
Looking for the subprograms in an instanciation of an AADL model
Eric, Look for useful utilities and classes for instance models in package org.osate.aadl2.instance.
10/20/23
chenhanlin
10/4/23
Question about the file e.tycho:tycho-versions-plugin:set-version -Dartifacts=osate2.main-pom -Dtycho.mode=maven -DnewVersion= -Dproperties=osate.version
I tried to set up a development and the Eclipse Updater have finished Performing Git Clone, when it
unread,
Question about the file e.tycho:tycho-versions-plugin:set-version -Dartifacts=osate2.main-pom -Dtycho.mode=maven -DnewVersion= -Dproperties=osate.version
I tried to set up a development and the Eclipse Updater have finished Performing Git Clone, when it
10/4/23
chenhanlin
, …
Brian Larson
5
9/22/23
Errors in OSATE Development Set-up
Sometimes, I've found the need to incrementally clean projects to get rid of all error problems,
unread,
Errors in OSATE Development Set-up
Sometimes, I've found the need to incrementally clean projects to get rid of all error problems,
9/22/23
Lutz Wrage
9/14/23
New stable release: OSATE 2.13.0
A new stable release of OSATE, version 2.13.0, is now available for download at http://osate-build.
unread,
announcement
New stable release: OSATE 2.13.0
A new stable release of OSATE, version 2.13.0, is now available for download at http://osate-build.
9/14/23