Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.22/6802
Título: Formal Contracts for Runtime Verification Support in the Ada Programming Language
Autor: Matos Pedro, André
Pereira, David
Pinho, Luis Miguel
Sousa Pinto, Jorge
Data: 2015
Relatório da Série N.º: ARCS 2015;
Resumo: 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.
Descrição: Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.
URI: http://hdl.handle.net/10400.22/6802
Aparece nas colecções:ISEP – CISTER – Pósteres apresentados a eventos científicos

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
POST_CISTER__Formal Contracts for Runtime Verification.pdf316,09 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.