ARVI: Runtime Verification Beyond Monitoring

From Navigators

(Difference between revisions)
Jump to: navigation, search
 
(14 intermediate revisions not shown)
Line 1: Line 1:
{{Project
{{Project
|Acronym=ARVI
|Acronym=ARVI
-
|Title=COST Action IC1402 - Runtime Verification Beyond Monitoring
+
|Title=Runtime Verification Beyond Monitoring
-
|Past Project=no
+
|Past Project=yes
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
|Url=https://www.cost-arvi.eu/
|Url=https://www.cost-arvi.eu/
Line 11: Line 11:
|Duration months=48
|Duration months=48
|Keywords=Runtime Verification
|Keywords=Runtime Verification
 +
|Summary=*''Sponsored by:''
 +
 +
[[Image:COST.png|300px]]
 +
 +
==Summary==
 +
 +
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.
 +
 +
There is a great potential applicability of RV beyond software reliability, if one allows monitors to interact back with the observed system, and generalizes to new domains beyond computers programs (like hardware, devices, cloud computing and even human centric systems). Given the European leadership in computer based industries, novel applications of RV to these areas can have an enormous impact in terms of the new class of designs enabled and their reliability and cost effectiveness.
 +
 +
==Meeting Organization==
 +
 +
[https://www.cost-arvi.eu/?page_id=964 RV Group Work & Management Committee Meeting], FCUL - FCiências.ID (LaSIGE), Lisboa (PT), June 8-9, 2017.
|NavigatorsSite=FCUL
|NavigatorsSite=FCUL
|Team Size=2
|Team Size=2
|Researchers=José Rufino, Inês Gouveia,
|Researchers=José Rufino, Inês Gouveia,
}}
}}

Latest revision as of 18:01, 26 April 2019

https://www.cost-arvi.eu/

  • Sponsored by:

COST.png

Summary

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.

There is a great potential applicability of RV beyond software reliability, if one allows monitors to interact back with the observed system, and generalizes to new domains beyond computers programs (like hardware, devices, cloud computing and even human centric systems). Given the European leadership in computer based industries, novel applications of RV to these areas can have an enormous impact in terms of the new class of designs enabled and their reliability and cost effectiveness.

Meeting Organization

RV Group Work & Management Committee Meeting, FCUL - FCiências.ID (LaSIGE), Lisboa (PT), June 8-9, 2017.

Publications

BibTeX

Navigators - ARVI project
Personal tools
Navigators toolbox