Osate 2 is an open-source tool platform to support AADL v2. In January 2012 correction to a number of errata to AADL v2 have been approved. These revisions, referred to as AADL v2.1, are supported by OSATE 2 and are summarized in AS5506B.
This tool intends both end users and tool developers. For the formers, it provides a complete textual editor for AADL and a set of simple analysis tools. For the laters, it provides a full support for the AADL meta-model on an Eclipse platform.
OSATE2 comes in two versions: the stable and testing. Complete details between these two versions are detailed on the Osate 2 download page. There are direct links for each version.
- Stable version: http://www.aadl.info/aadl/osate/stable
- Testing version: http://www.aadl.info/aadl/osate/testing
A graphical editor is available in OSATE. A video presentation is available on http://www.aadl.info/aadl/currentsite//documents/20140327-osate-ge-presentation.wmv
- Editing a first AADL model: Small tutorial to show how to create a first AADL model with Osate 2.
- Installing GIT feature in OSATE2: How to install GIT support on OSATE2
- OSATE2 Online Help: OSATE2 Online Help
- For more AADL/OSATE tool plug-ins, you can also have a look at this page.
- Using the code generation in OSATE
The core consists in supporting the language in Eclipse. It relies on EMF, UML2 and XText. By itself, the core provides the fundamentals to use the basics of AADL (textual and hierarchical editor, instantiation of the model) and build OSATE2 plug-ins. The sources are available on github, see https://github.com/osate/osate2-core.
The official plug-ins are part of the OSATE2 releases and included in update site. Their source is available on github (see https://github.com/osate/osate2-plugins). Actually, we support the following plug-ins:
- OSATE 2 Validation plug-ins
- OSATE 2 ARINC653 framework
- Instance Model Viewer
- The Lute Constraint Language
- Error Model Annex V2
- Error Annex V1: Error Annex V1 plug-in for OSATE 2. Includes export to Petri net from Ana Rugina. It does not have syntax coloring or hyperlinks.
- Adele Graphical Editor: as OSATE2 plug-in from ElliDiss.
- RDALTE: Requirements Definition and Analysis Language (RDAL) Plug-in for OSATE 2
- AADL-BA-FrontEnd: AADL Behavior Annex plug-in for OSATE 2
- Model management extension: support for using Sphinx technology.
There are different ways to use OSATE:
- Eclipse plugin: you can use OSATE2 either by using the Eclipse graphical framework
- As a standalone Java application (also called command-line): the following page
Also, you might be interested by our list of OSATE 2 tips & tricks.
OSATE2 Sources/Developer area
Osate 2 sources are hosted on a Git repository. Useful links:
- https://github.com/osate: Top-level page for the Osate 2 repositories;
- https://github.com/osate/osate2-core: Git repository for the sources of the core;
- https://github.com/osate/osate2-plugins: Git repository for the sources of analysis plug-ins.
The following pages are dedicated to people that intend to contribute to Osate 2 or develop specific tools on top of it.
- Getting Osate 2 sources: This page aims at providing a step-by-step tutorial to get the sources of Osate 2, build them and launch the tool;
- General Changelog
- Update the local sources: How to get locally the changes that happened on the repository since the last check out;
- Submitting a patch: How to produce a patch suitable for integration in the sources;
- Reporting a bug: How to report a bug and follow its evolution;
- Prepare a release: How to prepare a new release
- Adding annex to components: How to add programmatically annex to AADL components
- Building a new version: How to build OSATE 2 with Maven
- Changing Branding Information: Changing the branding information before making a release
- Updating the Meta-Model: change the meta model and ecore model
- Development hints
- Metamodel updates
For information on plug-in development under OSATE 2 please see OSATE 2 Plug-ins.
For information about API changes see please see OSATE V2 Plugin Development