 |
 |
|
||||||||||||
| Funded Engineering Doctorate (EngD) in Large Scale Complex IT Systems (LSCITS), Research Project: Timing Validation and Verification of Critical Systems, Sponsored by Rapita Systems Ltd | ||||||||||||
Applications are invited for a student to work on a research project in validation and verification arguments for timing correctness of critical embedded real-time systems, likely commencing October 2010. The research project is fully funded and will be carried out in conjunction with studying for an Engineering Doctorate (EngD) in Large Scale Complex IT Systems (LSCITS). The Programme is a full time, 4-year doctoral level research degree involving a taught component, similar in scope to an MSc, and a research component requiring the Research Engineer to work closely with a sponsoring organisation. The successful candidate will be based at Rapita Systems Ltd’s offices in the IT Centre at York Science Park (adjacent to The University of York), and will be assigned an industrial supervisor from Rapita Systems Ltd. and an academic supervisor from the University of York. This 4 year Engineering Doctorate project focuses on the validation and verification arguments of the timing aspects of large scale real-time embedded systems in a safety critical context. The hypothesis of the project is that next generation large safety critical real-time embedded systems can be successfully analysed using hybrid measurement and analysis based methods. New arguments for validation and verification are required to support the certification process, in particular in the context of new standards like the Do178-C. The work is also related to the EU FP7 PROARTIS project where Rapita Systems is one of the partners. The project will involve an investigation into the state of the art in validation and verification of timing properties and the requirements of the different standards (both civil and defense). The aim is to formulate a set of standard arguments and evidence in support of the certification process for next generation safety critical real-time embedded systems, as well as design guidelines that aid the verification and validation process. The project will use the RapiTime toolset (see www.rapitasystems.com) as a case study on an industrial system. Outcomes of the project include: an extensive literature review of the set of available techniques with their suitability to support the evidence required by the standards; guidelines; review of standards; tool qualification package and results of an industrial case study. The ideal candidate should have a strong background in both software engineering and mathematics, an understanding of real-time systems, and good communication skills. Prior relevant commercial / industrial experience would be advantageous. Applicants should be highly motivated and have a minimum of an upper second-class honours degree in Computer Science or related discipline (e.g. Electrical Engineering). Informal enquiries can be made to Dr Guillem Bernat, CEO of Rapita Systems bernat@rapitasystems.com or Mrs Becky Polson, LSCITS EngD Centre Administrator, bpolson@cs.york.ac.uk Funding Notes The successful applicant will receive a tax-free stipend from the Engineering and Physical Sciences Council (EPSRC) of £16,666 p.a. Additional support to cover travel to conferences will also be available. Please note there are eligibility requirements (see http://www.epsrc.ac.uk/funding/students/pages/eligibility.aspx) |
||||||||||||
|