OSATE

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

You can use an installer for Sireum rather than sources: https://sireum.org/getting-started/ On

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/

-------- Message transféré -------- Sujet : Last call for contributions - ADEPT 2024: AADL by its

Try "Open Diagram" from the context menu in OSATE 2.13.0. You'll get something like

The BLESS plugin was having trouble getting its Injector to generate code using HAMR. In constructors

(apologies for multiple copies of this message) -----------------------------------------------------

Upon trying to install OSATE through Eclipse I was unable to change Eclipse's perspective to the

Upon trying to install OSATE through Eclipse I was not able to change Eclipse's perspective to

Hi Avi: I just saw your followup message. I am a bit biased since I am a co-author of the course. It

I don't know what I did to fix the missing injector provider issue, but the current build of

Building on Brian's post, below is a concrete example using your model (I added a thread

I have created a new setup for Eclipse 2023-12. All developers should use it to install a fresh

-------- Message transféré -------- Sujet : Call for contributions - ADEPT 2024: AADL by its

Why getResourceServiceProvider fails to find an IResourceServiceProvider is still baffling, so I

Lutz, I tried Install Additional OSATE Components again, and it worked after two days of timeouts. It

Did you download javafx and set the preference? Try restarting and a full build (project > clean

Eric, Look for useful utilities and classes for instance models in package org.osate.aadl2.instance.

I tried to set up a development and the Eclipse Updater have finished Performing Git Clone, when it

Sometimes, I've found the need to incrementally clean projects to get rid of all error problems,

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

Yes, OSATE uses SWT for the UI. On Tuesday, September 12, 2023 at 9:51:32 AM UTC-4 Robert Jones wrote

You are using an old setup file (2022-06) instead of the latest (2023-03). Is that intentional? For

1 - I prefer if folks download and test a staged build. There are situation where something could be

Hi, These checks were part of older versions of OSATE, they have been removed as they were triggering

In the past, I was able to use jUCMNav (https://github.com/JUCMNAV/LEGACY_seg.jUCMNav.git) together

You are probably behind a corporate proxy that does SSL inspection, eg, Zscaler. If this is the case

The 404 is fine. It's the root directory of a p2 repository. There are no html files in it. On