Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/35226
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Pedro, André Matos | por |
dc.contributor.author | Pereira, David | por |
dc.contributor.author | Pinho, Luís Miguel | por |
dc.contributor.author | Pinto, Jorge Sousa | por |
dc.date.accessioned | 2015-05-20T13:52:14Z | - |
dc.date.available | 2015-05-20T13:52:14Z | - |
dc.date.issued | 2014 | - |
dc.identifier.citation | A. M. Pedro, D. Pereira, L. M. Pinho, and J. S. Pinto. Towards a Runtime Verification Framework for the Ada Programming Language. In Proceedings of the 19th International Conference on Reliable Software Tech- nologies (RST-AE 14), volume 8454 of Lecture Notes in Computer Science, pages 58–73, Berlin, Heidelberg, 2014. Springer-Verlag. | por |
dc.identifier.isbn | 978-3-319-08310-0 | - |
dc.identifier.issn | 0302-9743 | por |
dc.identifier.uri | https://hdl.handle.net/1822/35226 | - |
dc.description.abstract | Runtime verification is an emerging discipline that investigates methods and tools to enable the verification of program properties during the execution of the application. The goal is to complement static analysis approaches, in particular when static verification leads to the explosion of states. Non-functional properties, such as the ones present in real-time systems are an ideal target for this kind of verification methodology, as are usually out of the range of the power and expressiveness of classic static analyses. In this paper, we present a framework that allows real-time programs written in Ada to be augmented with runtime verification capabilities. Our framework provides the infrastructures which is needed to instrument the code with runtime monitors. These monitors are responsible for observing the system and reaching verdicts about whether its behavior is compliant with its non-functional properties. We also sketch a contract language to extend the one currently provided by Ada, with the long term goal of having an elegant way in which runtime monitors can be automatically synthesized and instrumented into the target systems. The usefulness of the proposed approach is demonstrated by showing its use for an application scenario. | por |
dc.description.sponsorship | This work was partially supported by Portuguese National Funds through FCT (Portuguese Founda- tion for Science and Technology) and by ERDF (European Regional Develop- ment Fund) through COMPETE (Operational Programme ’Thematic Factors of Competitiveness’), within projects FCOMP-01-0124-FEDER-037281 (CISTER), FCOMP-01-0124-FEDER-015006 (VIPCORE) and FCOMP-01-0124-FEDER- 020486 (AVIACC); and by FCT and EU ARTEMIS JU, within project ARTEMIS/0003/2012, JU grant nr. 333053 (CONCERTO). | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.rights | openAccess | por |
dc.subject | Runtime verification | por |
dc.subject | Ada | por |
dc.subject | Monitors | por |
dc.title | Towards a runtime verification framework for the Ada Programming Language | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | The original publication is available at www.springerlink.com | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 58 | por |
oaire.citationEndPage | 73 | por |
oaire.citationTitle | Proceedings of the 19th International Conference on Reliable Software Technologies (RST-AE 14), Lecture Notes in Computer Science | por |
oaire.citationVolume | 8454 | por |
dc.identifier.doi | 10.1007/978-3-319-08311-7_6 | por |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
dc.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Computer Science | por |
sdum.conferencePublication | Proceedings of the 19th International Conference on Reliable Software Technologies (RST-AE 14), Lecture Notes in Computer Science | - |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2014_RST(AE)_14.pdf | Documento principal | 436,07 kB | Adobe PDF | Ver/Abrir |