OSATE

I set up a 2025-03 development environment and checked out the 2.17.0-RELEASE tag. When launching an

Hello Yara If the tools in the Isolette example are the same that you want to use and what you are

A new stable release of OSATE, version 2.17.0, is now available for download at http://osate-build.

The following links point to the CLIs of OSATE plugins that enable headless execution of their

Hello everyone, I am a Beginner to OSATE platform , till now i can only generate Instance view of my

Thanks! I think its best if you open an issue here https://github.com/loonwerks/Resolute/issues Or a

Hello, I am new to the community, I am learning AADL, ALISA and Resolute. I am referring back to the

Hello, I have a question regarding the lifetime of local variables defined in the Behavior Model

A new stable release of OSATE, version 2.16.0, is now available for download at http://osate-build.

When you check for updates via the Help menu, OSATE contacts all registered update sites. If one of

Clive, Does right-clicking in the space immediately to the left of the AADL text (see image below)

Your advice was very valuable - thank you for sharing your expertise. On Wednesday, April 16, 2025 at

It sounds like you have tried to install a development setup for OSATE. You only need that if you

I attempted to use the OSATE development environment (Setting up an OSATE development environment —

Steve, Because Xtext does not avail the full pred-LL(*) grammar of ANTLR, users are forced to define

A new stable release of OSATE, version 2.15.0, is now available for download at http://osate-build.

Hi, Why do you need to model a file descriptor for that? Check this example. You'll see I have a

In the ARINC 653 annex, there is an example showing two modules communicating over a bus called

Please review the definition of events in AADL. An event is a pure signal. It is either absent or

To complement Frank's answer AADL uses memory for both HW and SW, one can add properties to

I found it. I had to go to Help > Install additional OSATE components. In the dialog, I then

There seems to be no version beyond OSATE2 2.14.0.vfinal. I have to redact my bug report to correct

I noticed that I can write a requirement and use the “for” clause to reference a feature on the

I want to add to this after trying to do the same, but this time using goals like “see goal”. I

Hi Carlos: “possibility of using things like feature groups for example or in the case of SysML using

Hi Faten, I'm a developer of HAMR which is a submodule of Sireum. I just tried both installation

Jerome, This is a very clever solution. Thank you. I had not considered f_P_out in the process type

I'm happy to report that multitude.net now has a valid SSL/TLS certificate, redirects access from

No, we don't have that functionality in OSATE. On Thursday, March 28, 2024 at 7:04:08 AM UTC-4

A release candidate build of OSATE 2.14.0 is available at https://osate-build.sei.cmu.edu/download/