Qais

Quantitative analysis of interacting systems: foundations and algorithms

Grant BI1-2012_PTDC/EIA-CCO/122240/2010_UMINHO

WP1 - Calculating fault propagation in functional programs

This site contains the experimental part of the homonym paper by D.R. Murta, and J.N. Oliveira (submitted).

Please download and unzip file website.zip first and then move to the just created directory website.

For the Haskell part run

ghci -XNPlusKPatterns paper_haskell_matlab

and follow the examples in Part I of paper_haskell_matlab.pdf

For the MATLAB part, open MATLAB in the same directory, where all the executables can be found, and run Part II of paper_haskell_matlab.pdf

Please report comments, bugs etc to Daniel Murta (danielrpmurta@gmail.com) or Jose Oliveira (jno@di.uminho.pt).

WP2 - Faults which interfere with termination

(...dually: programs which shouldn't terminate and sometimes do so...) On-going work, requires sub-distributions.

WP3 - Calculating fault propagation in component-oriented software

Paper: J.N. Oliveira. Preparing Relational Algebra for "Just Good Enough" Hardware. In RAMiCS, volume 8428 of LNCS, pages 119-138 (DOI: 10.1007/978-3-319-06251-8_8) Springer Berlin / Heidelberg, 2014. (Slides of the presentation.)

NB: In the experiments underlying this paper we are using a probabilistic extension of a monadic library written in Haskell for the component coalgebraic combinators of Barbosa's PhD thesis: see the MMM Libray.

r8 - 06 Oct 2014 - 21:24:25 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM