Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Nelissen, Geoffrey; Pereira, David; Pinho, Luís Miguel

http://hdl.handle.net/10400.22/7065

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
COM_CISTER_2015.pdf		378.95 KB	Adobe PDF	Download

Send Feedback

Authors

Nelissen, Geoffrey

Pereira, David

Pinho, Luís Miguel

Abstract(s)

With the advent of always more complex computing platforms (e.g., multicore processors, many-core accelerators, network on chips, distributed systems interconnected with various communication networks) and the adoption of new computing paradigms to exploit the power of those architectures, verifying whether a system respects its functional (e.g. order of execution) and extra-functional (e.g., talk deadlines and minimum inter-arrival times) specifications became a big challenge. Static verificationhas proven limited either because of the state explosion problem as in the case of approaches based on model checking, or simply due to theoretical limitations related to the expressivity and decidability of approachesbased on deductive verification.