LUCAS-frukost: The Gurkh Project: Rethinking Hardware Software Codesign

Date: October 05, 2005 (Wednesday) at 09:00 to 10:00

Speaker: Kristina Lundqvist, MIT

The classical approach to mission critical embedded system development has been to select a proven hardware platform and use software as a means of providing the necessary system capability. A predetermined hardware platform constrains the set of possible system designs as the partitioning of capability between hardware and software components is already made. Also, the evolution of system capabilities is limited to the capabilities of the selected hardware. Hardware software codesign techniques provide a means of rethinking the classical approach by delaying the partitioning of functionality between hardware and software as late as possible in the design cycle. The Gurkh project was stated as a means of providing a tool supported framework for the design development and sustainment of mission critical embedded systems.

The presentation today will cover three critical aspects of the Gurkh project: the VAT tool, the Ravenscar profile of Ada 95 and formal verification through model checking. The VAT tool enables extraction of formal models from VHDL specification and the visualization of the extracted models. The Ravenscar profile of Ada 95 enables the extraction of timed automata models of software behavior. Formal verification of the complete system behavior is carried out through the composition of the component hardware and software models. The verification itself is carried out through the use of the UPPAAL tool.

Room: LTH, E:5119

Last modified Dec 9, 2011 12:59 pm

8/1255