Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/25975
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Murta, Daniel R. | - |
dc.contributor.author | Oliveira, José Nuno Fonseca | - |
dc.date.accessioned | 2013-11-06T14:42:31Z | - |
dc.date.available | 2013-11-06T14:42:31Z | - |
dc.date.issued | 2013-05 | - |
dc.identifier.uri | https://hdl.handle.net/1822/25975 | - |
dc.description | Techn. Report TR-HASLab:01:2013 | por |
dc.description.abstract | The production of safety critical software is bound to a number of safety and certification standards in which estimating the risk of failure plays a central role. Yet risk estimation seems to live outside most programmers’ core practice, involving simulation techniques and worst case analysis performed a posteriori. In this paper we propose that risk be constructively handled in functional programming by writing programs which choose between expected and faulty be- haviour and by reasoning about them in a linear algebra extension to the standard algebra of programming. In particular, the paper calculates propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts. | por |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | por |
dc.language.iso | eng | por |
dc.rights | openAccess | por |
dc.subject | Linear algebra of programming | por |
dc.subject | Probabilistic risk assessment | por |
dc.subject | Program transformation | por |
dc.subject | Fault propagation | por |
dc.title | Calculating fault propagation in functional programs | por |
dc.type | report | por |
dc.peerreviewed | yes | por |
sdum.publicationstatus | published | por |
oaire.citationConferencePlace | HASLab / INESC TEC & UM | por |
Aparece nas coleções: | HASLab - Relatórios técnicos |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
haslabtr201301.pdf | PDF único | 462,7 kB | Adobe PDF | Ver/Abrir |