Repository logo
 
Loading...
Thumbnail Image
Publication

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Use this identifier to reference this record.

Advisor(s)

Abstract(s)

Static Verification is not sufficient to cope with many of the challenges of modern and future generation real-time embedded systems: • state-explosion problem of model-checking; • limited automation in deductive reasoning, even with recent advances in SAT and SMT solvers. • Most of the data important to certify a real-time embedded system is related to extra-functional properties: • Duration of tasks; • Energy consumption; • Temperature management; • Other cyber-physical properties. • Unfortunately, most of the extra functional data is only available and verifiable during execution time.

Description

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Keywords

Citation

Research Projects

Organizational Units

Journal Issue