Tools and datasets for dependability and security