Name: | Description: | Size: | Format: | |
---|---|---|---|---|
316.09 KB | Adobe PDF |
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.