Deadline Extension – NFM 2011 (Updated)

Eric | December 12, 2010

The deadline for NFM 2011 has been extended to December 26th! Merry Christmas!

The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, government and industry, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. The focus of the symposium is on formal methods, and aims to foster collaboration between NASA researchers and engineers and the wider aerospace and academic formal methods communities. The symposium will be comprised of a mixture of invited talks by leading researchers and practitioners, presentation of accepted papers, and panels.

Update: We received more than 140 submissions, (whew) so please stop submitting! ;-)

I wonder if snow shoveling boosts creativity or something… (think)

Comments
Comments Off on Deadline Extension – NFM 2011 (Updated)
Categories
Research
Tags
NASA, NFM

3rd NASA Formal Methods Symposium

Eric | July 26, 2010

The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, government and industry, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. The focus of the symposium is on formal methods, and aims to foster collaboration between NASA researchers and engineers and the wider aerospace and academic formal methods communities. The symposium will be comprised of a mixture of invited talks by leading researchers and practitioners, presentation of accepted papers, and panels.

Important Dates

Submission deadline: December 19, 2010
Notification of acceptance/rejection: January 21, 2011
Final version due: February 18, 2011
Conference: April 18-20, 2011

Read the rest of this entry »

Comments
Comments Off on 3rd NASA Formal Methods Symposium
Categories
Research
Tags
NASA, NFM

Descent of the Phoenix Lander

Eric | May 28, 2008

image I am truly amazed by this picture of the Phoenix Lander, parachuting down to the surface of Mars. Not only does this image come from a planet that’s damn far away, the photo was also shot from an incredibly large distance. MRO was 760km away from the lander when it took this shot. I would like a camera like that!

 

imageThis second image is not less remarkable, showing the lander itself (top left), the discarded heat shield (middle) and the parachute (bottom left).

Comments
Comments Off on Descent of the Phoenix Lander
Categories
Misc
Tags
Mars, NASA, Phoenix, Photo

Racer: Effective Race Detection Using AspectJ

Eric | May 7, 2008

image

I am happy to announce the availability of my latest publication (joint work with Klaus Havelund, to appear at ISSTA 2008). This time it’s about how to detect data races in multi-threaded Java programs using three novel pointcuts that we implemented as a language extension to AspectJ, and using a novel algorithm called Racer that makes use of these pointcuts. We applied our implementation to the NASA K9 Rover Excecutive and found 70 data races, only one of which was known to NASA developers, although extensive studies had been performed on the code, using all sorts of error detection tools, at a time where 68 of these races were already present!

Download the paper here, our extended Technical Report here, or continue reading here.

Comments
Comments Off on Racer: Effective Race Detection Using AspectJ
Categories
Research
Tags
AspectJ, Bug finding, Java, NASA, Race detection, Racer, Rover, Semantic pointcuts