Welcome to OSATE

Here we will collect information about OSATE. For now this site contains mostly information that has been migrated from the AADL Wiki to here.