Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.22/7065
Título: Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems
Autor: Nelissen, Geoffrey
Pereira, David
Pinho, Luis Miguel
Data: 2015
Relatório da Série N.º: ACTRISS;2015
Resumo: 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.
Descrição: Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.
URI: http://hdl.handle.net/10400.22/7065
Aparece nas colecções:ISEP – CISTER – Comunicações em eventos científicos

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
COM_CISTER_2015.pdf378,95 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.