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

Need validation error when fault hypothesis resides in component type #8

Open janetlj opened 6 years ago

janetlj commented 6 years ago

Need validation error for fault hypothesis residing in component type, as the tool recognizes fault hypothesis when it resides in component implementation.