Pinned Repositories
SpeAR
Specification and Analysis for Requirements Tool
6UCubeSat
This repository contains two versions of 6U CubeSat Attitude Control System in SpeAR, AADL/AGREE, and Simulink/Simulink Design Verifier: a basic model and an RTA model. The basic model utilizes a PID controller for the controller block, while the RTA model controller utilizes a RTA controller design that includes 3 separate components: unverified controller, verified controller, and decision module.
TwoTanksExample
A case study to investigate the process to develop a formal and traceable paradigm to generate Requirements / Architectures / Models for System Design
UxVChallengeProblem
This is the publicly cleared version of the UxV Challenge Problem.
AFifarek's Repositories
AFifarek/SpeAR
Specification and Analysis for Requirements Tool