Software Analysis Research Group

Current Projects of the SARG

People

Papers

Links

Research

Credits

Domain Analysis

We are devising methods by which a software component's input domain can be divided in order to assess reliability of its parts. We are developing methods by which the parts can be mathematically merged with the component's expected usage in order to obtain an operational-based reliability measure.

Procedural CPS

We have previously shown how CPS conversion can be used in the functional-programming paradigm to formulate components amenable to composition. We are now extending the methods to the more commonly-used procedural paradigm. This is challenging because of the virtually limitless global state available (unlike the functional paradigm).

We are developing a tool to analyse C (and possibly Ada) programs, producing new components as required for our composition techniques, as well as domain information and a Markov model. The domain information can be fed into the domain analysis tool, and the results from that, combined with the Markov model structure can be fed into the reliability composition tool, below.

Component Reliability Composition

We are developing a tool that can take a Markov model, component reliability and domain information and an operational profile and produce an accurate system reliability.

Supporting Evidence

We are devising a number of example systems (and converting existing ones) in order to demonstrate our methods. Experiments will be performed on these systems in order to validate our assumptions about composability and reliability.

Functional Operating System

The FunOS FunOS project is to develop a highly configurable operating system -- one that can change its operation in fundamental ways while it is running. For example each program running on the system could use a different API, and a program could install a special file system or keyboard driver to make its work more efficient. There are many programming language issues that arise from this work.