The primary representation is an AADL model annotated with the appropriate properties.
You must create and use at least one unique (not distributed by someone else) property set.
The model must use AGREE and Resolute queries to prove and validate the appropriateness and quality.
The model must include at least one variation point with multiple variants.
The model must use multiple analyses from OSATE.
The architecture description must include a safety case that argues that all the required properties have been met.
The model must be documented using Views and Beyond template.
Some significant portion of the project's AADL model must compile to petri nets using ocarina.
Each week there will be a milestone that will require a brief narrative that presents the result.
You must present a 10 minute overview of the architecture using the required elements of the project. 

For the first milestone - provide requirements written in reqspec; both functional and nonfunctional. List the quality attributes affected by the non-functional attributes. by March 19th 11:59 PM