AADL-BA-FrontEnd
From AadlWiki
AADL-BA-FrontEnd for OSATE 2 is an editor for AADL V2 behavior specifications, integrated to OSATE 2. It is developped and maintained by the TELECOM ParisTech AADL team. At this moment, AADL-BA-FrontEnd only works with the latest OSATE 2 testing version (http://www.aadl.info/aadl/osate/testing/products/)
Contacts are:
- sebastien [dot] gardoll [at] telecom-paristech.fr (preferred)
- etienne [dot] borde [at] telecom-paristech.fr
Links:
