search

loonwerks / AMASE

This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).
BSD 3-Clause "New" or "Revised" License
6 stars 4 forks source link

Analysis handler should use consistent commands and views #18

Open kfhoech opened 2 years ago

kfhoech commented 2 years ago

Issue #16 established a rerun command id for AMASE and applies it in the Verify All with Faults handler.

But, not all of the AMASE analyses work this way. Other analyses do not use the AMASE safety results view nor to they consistently apply terminate and rerun handlers. For consistency and independence from AGREE, AMASE should define its own terminate handlers and corresponding command ids, migrate the analyses to use the AMASE terminate and rerun handlers and command ids, and migrate analyses to use the safety results view