Repository logo
 
Publication

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

dc.contributor.authorNelissen, Geoffrey
dc.contributor.authorPereira, David
dc.contributor.authorPinho, Luís Miguel
dc.date.accessioned2015-12-03T11:53:25Z
dc.date.available2015-12-03T11:53:25Z
dc.date.issued2015
dc.descriptionPresented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.pt_PT
dc.description.abstractWith 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.pt_PT
dc.identifier.urihttp://hdl.handle.net/10400.22/7065
dc.language.isoengpt_PT
dc.relationFCOMP-01-0124-FEDER-037281 (CISTER)pt_PT
dc.relationARTEMIS/0003/2012, JU grant nr. 333053 (CONCERTO)pt_PT
dc.relationARTEMIS/0001/2013, JU grant nr. 621429 (EMC2)pt_PT
dc.relation.ispartofseriesACTRISS;2015
dc.titleToward a Run-Time Verification Framework for Real-Time Safety-Critical Systemspt_PT
dc.typeconference object
dspace.entity.typePublication
oaire.citation.conferencePlace10, Apr, 2015. Brussels, Belgiumpt_PT
oaire.citation.titleSeminar Action Temps Réel:Infrastructures et Services Systémespt_PT
person.familyNamePinho
person.givenNameLuis Miguel
person.identifier.ciencia-id8112-2108-F3B2
person.identifier.orcid0000-0001-6888-1340
person.identifier.ridM-3416-2013
person.identifier.scopus-author-id6602594556
rcaap.rightsopenAccesspt_PT
rcaap.typeconferenceObjectpt_PT
relation.isAuthorOfPublicationfd791145-af93-47d9-bbe8-647a326d2f39
relation.isAuthorOfPublication.latestForDiscoveryfd791145-af93-47d9-bbe8-647a326d2f39

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
COM_CISTER_2015.pdf
Size:
378.95 KB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description: