Running OSATE Analysis with CLI & CI/CD Pipeline

[Jonathan Hromalik]

I want to incorporate AADL and OSATE analysis into an automated CI/CD pipeline and I believe I need to run Osate headless without the GUI. 

Has anyone tried to do this who might be able to provide steps? or does anyone have a solution for running instantiate, FHA analysis, error modeling, etc. from the command line without the GUI?

[Jason Belt]

The following links point to the CLIs of OSATE plugins that enable headless execution of their respective workflows: AGREE, Resolute, and Sireum. Each performs validation and instantiation of the declarative model and are incorporated in CI/CD workflows.

On Wed, Jul 23, 2025 at 6:28 PM Jonathan Hromalik <jdhro...@gmail.com> wrote:

I want to incorporate AADL and OSATE analysis into an automated CI/CD pipeline and I believe I need to run Osate headless without the GUI. 

Has anyone tried to do this who might be able to provide steps? or does anyone have a solution for running instantiate, FHA analysis, error modeling, etc. from the command line without the GUI?

--
You received this message because you are subscribed to the Google Groups "OSATE" group.
To unsubscribe from this group and stop receiving emails from it, send an email to osate+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/osate/41b097a4-9188-44d4-a4ce-7624cdd9b02an%40googlegroups.com.