![]() ![]() |
||||
|
||||
The Software Engineering Institute has developed an Open Source AADL Tool Environment
(OSATE) as a set of plug-ins on top of the open source Eclipse platform (www.eclipse.org).
The set of plug-ins provides a toolset for front-end processing of AADL models. AADL
models can be maintained as textual AADL files or as XML-based AADL model files. The set
of plug-ins consists of
The OSATE front-end has been augmented with a set of additional plug-ins, including an
AADL to MetaH converter, several analysis plug-ins for performing various architecture
consistency checks, and a distributed resource allocation and scheduling analysis plug-in.
A graphical AADL editing front-end based on the Eclipse Graphical Editing Framework (GEF)
for graphically viewing and editing XML-based AADL models is available by the TOPCASED
initiative (www.topcased.org) and has been integrated with OSATE. The integrated version of
TOPCASED is available through the OSATE download page.
An analysis plug-in for fault modeling and reliability analysis for the balloted Error Model Annex
of AADL is has been developed by Embry-Riddle University and will be made available
shortly. It is capable of generating a stochastic process model for analysis by SHARPE. The
University of Pennsylvania has interfaced a process algebra with AADL and is completing an
extension to AADL to support translation of AADL models into CHARON, and hybrid
control system modeling language. The University of Brest has released a version of their
resource and scheduling analysis tool Cheddar that operates on AADL models. See the
AADL Tools webpage at www.aadl.info for further information about tools. |
||||