Home
Projects
Talks
Members
Log In
DSG Projects
The Dependable Systems Group is associated with a number of projects.
Long Term Research
Hume Language
Glasgow parallel Haskell(GpH) programming Language
Glasgow distributed Haskell(GdH) programming Language
Current Projects
Islay: Adaptive Hardware Systems with Novel Algorithmic Design and Guaranteed Resource Bounds
CORE: Cooperative Reasoning for Automatic Software Verification
Embounded: Automatic Prediction of Resource Bounds for Embedded Systems
CO-STAR*
Haptic Interfaces for the Virtual Manufacture and Assembly of Micro, Medium and Large Scale Products
PAMGUARD
High Level Techniques for Distributed Telecommunications Software
The SCIEnce project (Symbolic Computation Infrastructure for Europe)
Recently Completed Projects
Embedded Software for Autonomous Vehicle Control using Optical Sensing
High Level Programming for Computational Grids
SPADEase: Towards Increased Verification Automation for High Integrity Software Engineering
DAIDALOS Designing Advanced network Interfaces for the Delivery and Administration of Location independent, Optimised personal Services
Automatic Guidance for the Formal Verification of High Integrity Ada
OPHELIA: Open Platform and metHodologies for devELopment tools IntegrAtion
Socio-Technical Systems Design
Evaluating Functional Distribution
Performance Evaluation of Parallel Functional Programs
Systems Reengineering Patterns
Functional Distributed Interactive Systems
Parallelising Compilation of Standard ML through Prototype Instrumentation and Transformation