Hume (Higher-order Unified Meta-Environment) is a strongly typed, mostly-functional language with an
integrated tool set for developing, proving and assessing concurrent, safety-critical systems.
In November 2007, a swarm of driverless vehicles will take to the road for the DARPA
Urban Challenge– the third installation of the Pentagon-sponsored Grand
Challenge competition for autonomous vehicles. Gear up for the big day
with "The Great Robot Race," NOVA's look back at the last Grand
Challenge. Meet the teams who took on--on conquered--the grueling
130-mile course and discover how artificial intelligence, laser-guided
vision, GPS navigation, and 3-D mapping systems can
get a vehicle from point A to point B without any help from a human
driver. From concept to construction to the final competition, "The
Great Robot Race" delivers the absorbing inside story of clever
engineers and their unyielding drive to create a champion, capturing
the only aerial footage that exists of the Grand Challenge.
The MRG project has developed the infrastructure needed to endow mobile code
with independently verifiable certificates describing its resource behaviour.
AbsInt's WCET Analyzers statically compute tight bounds for the worst-case
execution time of tasks in real-time systems. They directly analyze binary executables and take the intrinsic
cache and pipeline behavior into account.
Aims to develop the technology for establishing trust and security for the next generation of global
computers, using the Proof Carrying Code paradigm.
This page was last modified on
Thursday 7 January 2010 18:20:02.
This site is maintained by Robert Rothenberg
(r r at cs dot st - andrews dot ac dot uk).
