Past projects

We have recently ceased ongoing work on the following projects. We will attempt to retain information about these projects as long as is possible but since the links below go direct to people home pages they therefore may become unavailable as people leave the real-time group.

• Javelin (DTI) Worst case execution time analysis of a neutral architecture form. This project investigates how worst case execution time analysis can be performed on JBC so that it can be portable and on the mechanisms required to include annotations on the Java class file to be able to perform such analysis.
• LORCAS (LOng-term Research into Commercial Avionics Systems) (DTI). No web page is available for this project.
• VASTU (EPRSRC) Investigating the idea of value-based scheduling: a means of achieving flexible behaviour at run-time through the use of a 'value' parameter for selecting the 'most useful' combinations of services to support under different environmental and system conditions.
• DrTee (Distributed Real-Time Execution Environment) (EPRSC).
• DESSERTS (DEsign Synthesis for Safety Engineered Real-Time Systems) (EPRSC).
• GUARDS(Generic Upgradable Architecture for Real-Time Dependable Systems) (EPRSC) - Developing a generic architecture based on reusable basic building blocks for the validation and certification of safety-critical real-time systems.
• DeVa (Design for Validation). Software validation with respect to dependability requirements rather than functional requirements with particular emphasis on system structuring issues.
• HIJA (EU). No web page is available for this project.
• Portable Code for Safety Critical Systems (EPSRC). No web page is available for this project.
• JavaMen (DTI). No web page is available for this project.
• DIRC Interdisciplinary Research Collaboration in Dependability (EPSRC). Because society is increasingly reliant on computer systems. Much scientific progress has been made in achieving high dependability in computer hardware and software, but wider systems involving computers, people and business or social organisations are often disastrously unsuccessful and the cause of huge financial losses or worse. It is evident that satisfactory resolution of this dangerous situation demands major breakthroughs in understanding the fundamental problems that arise in attempts to build systems involving complex interactions amongst numbers of computers and human beings. This large EPSRC funded project, involving five UK universities, has a number of key research themes, one of these is timing which is the focus of the work at York.
• DEMOS (Digitally Enhanced Micro Operating System) (DTI). This project is looking to implement parts of the Inferno operating system in hardware (on FPGA). Initially, it is considering the communications component, Styx.
• FRESCOR (Framework for Real-time Embedded Systems based on COntRacts) (EU). This project is a consortium research project funded in part by the European Union. The FRESCOR project brings together a strong consortium of 11 leading members of industry and academia. The main objective of the project is to develop the enabling technology and infrastructure required to effectively use the most advanced techniques developed for real-time applications with flexible scheduling requirements, in embedded systems design methodologies and tools, providing the necessary elements to target reconfigurable processing modules and reconfigurable distributed architectures.
• FIRST (Flexible Integrating Scheduling Technology) (EU). FIRST is an EU funded project considering modern and future scheduling schemes. York and 3 other leading European research institutions are involved. The objective of the proposed research is to develop a real-time scheduling framework for applications demanding various types of tasks, constraints, and scheduling paradigms within the same system. The FIRST project will investigate co-operation and coexistence of standard real-time scheduling schemes (time-triggered and event-triggered, dynamic and fixed priority based, as well as off-line based) integration of different task types (such as hard and soft, or more flexible notions, e.g., from control or quality-of-service demands, and fault-tolerance mechanisms) and temporal encapsulation of subsystems in order to support the composability and re-usability of available components including legacy subsystems.