Hello, I have been trying out COMPASS for the past few weeks, but I have not quite managed to get what I want out of it. I am mostly interested in quantitative measures such as unreliability and unavailability. Using the battery_sensor example provided with COMPASS, I could at least obtain a measure for unreliability in the Safety/Fault Tree Evaluation tab. However, this feature works by generating fault trees - I have been under the impression that COMPASS has more expressive power than fault trees. And I have no idea how to measure unavailability using COMPASS - the battery_sensor example is not repairable and neither are most of the examples provided with COMPASS. I believe the Performability/IMC Analysis feature should also be able to give me quantitative results, but all I can get out of it is "Long Run Average: 0.0". I have noticed the warning "The root component contains ports. Performability results are undefined.", but even with a SLIM model I made myself featuring no ports in its root component, I get the same result. I am using a property of the form "Globally, {not sys.is_alive} holds eventually with probability > 0.0". Is there any way to obtain measures of unreliability and more importantly, unavailability from COMPASS? Is the only way to get these measures via Fault Tree Generation? Additionally, I have been wondering if there is any kind of archive of this mailing list - I have been looking for one but have not found any. Best Regards, Hermann Walth