“GRIF is developed by experienced field reliability engineers, based on a think tank on underlying theories for dependability modeling. Since everything is fully transparent for the user, he or she can exactly know what is modeled, providing a proof of seriousness. The Boolean, Markovian, and simulation modules are part of the most scientifically accurate software tools that meet the industrial needs for dependability analyses.”
“We have made extensive use of the Petri software since its early beginnings. We highly appreciate the flexibility of the tool and the numerous improvements made over last years, improvements in line with end user needs. In addition the SATODEV support team has proved its capacity in solving problems on the spot. We highly recommend the up-to-date software packages and SATODEV to reliability and availability modeling guys.”
“For over twenty years, we have been using CECILIA as part of our research into AltaRica models for operational safety analysis. This environment enables us to implement the most mature theoretical principles of AltaRica modeling and analysis in a graphical modeling and simulation environment. This capability was instrumental in our early work with system designers to validate the Model-Based Safety Assessment (MBSA) approach.
We also appreciate the fact that SATODEV's experts are quick to answer to our more fundamental questions. Today, CECILIA is our preferred tool for analyzing the safety of new generations of complex aerospace systems, such as drones, hybrid-powered vehicles and multi-core computing platforms. Thank you SATODEV!”