search

GaloisInc / csaf

Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (classical and learning enabled) with respect to the system dynamics.
BSD 3-Clause "New" or "Revised" License
11 stars 4 forks source link

Aadl experimentation #99

Closed podhrmic closed 3 years ago

podhrmic commented 3 years ago

This branch adds an AADL model of the F16 example. An AGREE spec and some example timing analysis are in progress.

Copy of: https://gitlab-ext.galois.com/assuredautonomy/csaf_architecture/-/merge_requests/67