Feeds

UK tech biz grinding to halt as Reg space programme sucks in talent

Code biz kingpin volunteers his firm's services

  • alert
  • submit to reddit

Secure remote control for conventional and virtual desktops

The Special Projects Bureau is raising a few pints of foaming real ale today in honour of Escher Technologies, which has kindly offered to probe the intimate inner workings of our Low Orbit Helium Assisted Navigator (LOHAN) project.

Click here for a bigger version of the LOHAN graphicThe Aldershot-based company "researches, develops and delivers tools for the efficient construction of provably-correct software", and since head honcho David Crocker is a fan of El Reg's ballocket tomfoolery, he got in touch to see if his company's services might be of any use.

David, a paid-up member of ale campaigners CAMRA, told us: "With PARIS and now LOHAN, The Register has demonstrated how a modest budget can be enough to push back the boundaries of technology, by applying classic British innovation.

"We are delighted to be contributing our skills towards this giant leap towards getting the UK space launch programme off the ground again, and we look forward to discussing the details over a pint or two of real ale."

Splendid stuff. Specifically, David and his team are keen to have a shufti at any mission-critical software we might be developing, using for example the Escher C Verifier.

David told us: "Escher Technologies' software verification tools use automated theorem proving to demonstrate mathematically that software is robust and meets its specifications for all inputs - or (alternatively!) to highlight problem areas. The tools are used in developing software for airborne systems, gas detection and other safety-critical applications."

As LOHAN fans will know, reader Neil Barnes is currently working selflessly on a barometric altimeter, which is one of the possible methods for triggering the Vulture 2's rocket motor at a predetermined altitude.

Of course, we're not saying there's anything wrong with Neil's coding, but there's no harm in having an extra pair of eyes giving it the once-over, or for that matter examining any other code we might develop for LOHAN.

Suffice it to say, the cockles of our hearts are well and truly warmed by the voluntary input of Escher Technologies, and indeed the aforementioned Mr Barnes, The Southampton Uni postgrad Vulture 2 design team and our various SPB volunteers, without whom there would be no British space programme. ®

Further LOHAN resources:

  • New to LOHAN? Try this mission summary for enlightenment.
  • You can find full LOHAN coverage right here.
  • Join the expert LOHAN debate down at Reg forums.
  • All the LOHAN and Paper Aircraft Released Into Space (PARIS) vids live on YouTube.
  • For our SPB photo archive, proceed directly to Flickr.
  • We sometimes indulge in light consensual tweeting, as you can see here.

LOHAN - A Special Projects Bureau production in association with...

  • 3T RPD logo
  • University of Southampton logo
  • Applied Vacuum Engineering logo
  • Escher Technologies logo: Tools for the efficient construction of provably-correct software

Secure remote control for conventional and virtual desktops

More from The Register

next story
SCREW YOU, Russia! NASA lobs $6.8bn at Boeing AND SpaceX to run space station taxis
Musk charging nearly half as much as Boeing for crew trips
Boffins say they've got Lithium batteries the wrong way around
Surprises at the nano-scale mean our ideas about how they charge could be all wrong
Thought that last dinosaur was BIG? This one's bloody ENORMOUS
Weighed several adult elephants, contend boffins
Europe prepares to INVADE comet: Rosetta landing site chosen
No word yet on whether backup site is labelled 'K'
India's MOM Mars mission makes final course correction
Mangalyaan probe will feel the burn of orbital insertion on September 24th
Cracked it - Vulture 2 power podule fires servos for 4 HOURS
Pixhawk avionics juice issue sorted, onwards to Spaceport America
City hidden beneath England's Stonehenge had HUMAN ABATTOIR. And a pub
Boozed-up ancients drank beer before tearing corpses apart
'Duck face' selfie in SPAAAACE: Rosetta's snap with bird comet
Probe prepares to make first landing on fast-moving rock
prev story

Whitepapers

Providing a secure and efficient Helpdesk
A single remote control platform for user support is be key to providing an efficient helpdesk. Retain full control over the way in which screen and keystroke data is transmitted.
Saudi Petroleum chooses Tegile storage solution
A storage solution that addresses company growth and performance for business-critical applications of caseware archive and search along with other key operational systems.
Security and trust: The backbone of doing business over the internet
Explores the current state of website security and the contributions Symantec is making to help organizations protect critical data and build trust with customers.
Reg Reader Research: SaaS based Email and Office Productivity Tools
Read this Reg reader report which provides advice and guidance for SMBs towards the use of SaaS based email and Office productivity tools.
Security for virtualized datacentres
Legacy security solutions are inefficient due to the architectural differences between physical and virtual environments.