2016-04-21 10:17

Jorge Villamayor, Ph.D Student working in HPC4EAS research group, was invited to presented his work “Runtime Characteristics for Fault Tolerance: RADIC Architecture” on a European Cooperation In Science and Technology (e-COST) meeting.
The e-COST Action is Runtime Verification beyond Monitoring (ARVI). Runtime verification (RV) is a computing analysis paradigm based on observing a system at runtime to check its expected behavior. RV has emerged in recent years as a practical application of formal verification, and a less ad-hoc approach to conventional testing by building monitors from formal specifications.

This Action aims to build expertise by putting together active researchers in different aspects of runtime verification, and meeting with experts from potential application disciplines. The main goal is to overcome the fragmentation of RV research by

  1.   the design of common input formats for tool cooperation and comparison;
  2. the evaluation of different tools, building a growing sets benchmarks and running tool competitions; and
  3. by designing a road-map and grand challenges extracted from application domains.