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