Fabio Duchi

Learn More
Amongst the features of Service Oriented Architectures (SOAs), their flexibility, dynamicity, and scalability make them particularly attractive for adoption in the ICT infrastructure of organizations. Such features come at the cost of improved difficulty in monitoring the SOA for error detection: i) faults may manifest themselves differently due to services(More)
Together with the increasing complexity of Critical Systems, an increased interest in safety standards has been observed in the latest years. In order to support experts on Verification & Validation (V&V) tasks, automated tools are being developed. RACME is a tool designed to import, interpret and correlate the different outcomes of the V&V activities. The(More)
  • 1