Project Map
We try our best to maintain the online presence of our projects, however we're often too busy researching and coding to keep these pages 100% up-to-date. Please contact a team member to find out more about a particular project if you have any questions.
Active Projects
 |
Clove Enterprise ProjectClove, in partnership with the NHS, seeks to bring the latest cutting-edge research in autonomic system design to the area of healthcare, with an integrated, self-adaptive suite of services encompassing emergency care prioritisation, agenda services, and NHS integration. The software is currently in its second phase release with the East Lancashire NHS PCT. |
 |
Neptune Ph.D. Research ProjectNeptune is a language designed by Dr. Miseldine that can be used to power autonomic systems. It provides software engineering support that underpins many of the implementations of the other projects of the group. Work is being conducted to extend the language and its tools into new areas and to deal with new issues, such as highly-scalable system designs. |
Trident Ph.D. Research ProjectTrident is a formalism that applies dialects of predicate logic to computational problems. To this end situation calculus has been widely applied to the problems of scaling autonomic computing up to large-scale systems. Additionally the mathematics of large, complex networks is of great interest in studying the dynamics of planet wide distributed systems such as the Internet and World Wide Web. Stochastic extensions to the situation calculus are also of great interest especially in application to Markov Decision Problems and Partially Observable Markov Decision Problems ((PO)MDPs.
|
|
 |
Self-Organisition - Classifying, Detecting and Utilising Emergence Ph.D. Research ProjectIn this project the emergence of self-organistaion in large scale systems is considered as a solution to the scalability problem. To this end it is sought to classify various sorts of observed emergent features, specify tools to aid the detection of such emergence and seek methods for taking advantage of systems self-organiation.
|
Completed Projects
2nrich EPSRC Funded Research Project2nrich aims to investigate disciplined approaches to modelling evolving users’ cross-cutting decision concerns to enable high-assurance breast cancer clinician’s decision activities in specialist referral centres, and to better inform patients of choice of treatment following surgery. Members from DASEL worked with Infomatic colleagues at LJMU to deliver software and formal support to achieve these aims. |
|
WITSA Survey Research ProjectThe World Information and Technology Alliance required interactive survey software to be developed to collect eGovernment research data from many of the world's established and emerging government organisations. The software was written and delivered using Neptune, allowing adaptive questioning and interactive reporting. The survey was successfully delivered and handled responses from over 60 different countries. |
|
Enrich Research ProjectThe focus of this project is legacy data rather than legacy systems. The project is concerned with applying advanced software engineering to support the New Product Development processes (NPD) in manufacturing industry. We are particularly concerned with the problems of managing legacy data which may be required by distributed NPD teams in different organisations based upon internet technologies. |
|
FRESET Research Projecthe underlying aims of the project are to improve the fundamental understanding of the in-vehicle telematics technologies that can be deployed on Commercial Vehicles and Public Transport. The knowledge gained during the deployment of these technologies will assist in the investigation and development of computer based telematic systems engineering design toolkit capable of using multi criteria to guide the designer through a systematic and optimum design route. |