 |
Safety
Analysis Tool (SAFELAND) is a tool aiming to analyze safety critical
applications written in C or ADA programming language. SAFELAND underlying
basis is the well-established and systematic Fault Tree Analysis (FTA)
technique. A Fault-tree structure is used to represent systematically
failures or, more accurately, the propagation of certain combination
of failures, throughout the system under consideration
Key Benefits
- Parsing of the C or ADA Code by using a library with constants defined by the user.
- Visualization of the Fault Tree and the cut-set extraction with all the information related to them.
- Easy-to-Set and Analyze Hazardous Conditions and immediate visualization of the results.
Copyright
© Advanced Informatics Ltd.