HOW TO PUT A CAR ON MARS


InfinIT and ICTSS invite you to a series of events:

HOW TO PUT A CAR ON MARS

and testing of other complex software


Aalborg, 19th-20th November 2012

Do not miss this opportunity to meet Klaus Havelund, Computer Scientist at NASA's Jet Propulsion Laboratory, and participate in an interesting panel discussion.

Read an article about the panel debate on Monday here (in Danish)

Program:

Monday November 19th

Part 1:

 

16:00

Welcome by Kim Guldstrand Larsen

16:15

Panel participants:
Klaus Havelund, NASA's Jet Propulsion Laboratory, USThe Curiosity rover, launched by NASA November 26 2011, is a car-sized robotic rover exploring Gale Crater on Mars. It has now successfully completed the first year of its mission. This has required major technological and scientific developments, including development of a lot of highly complex software. This has been tested using both conventional and new advanced formal testing techniques.
Frits Vaandrager, Radboud University Nijmegen, NL
Mads Budde, Vice President for Programs & Software, TERMA A/S, DK
Carsten Weise, Teamleader, IVU Traffic Technologies AG, DE
Panel debate:The purpose of this panel is to discuss how such testing techniques can be put into wider practice, how to combined them with conventional testing techniques and formal methods, and point out further research directions. The panel will provide an inside perspective of the launch and developments by one of the involved scientists.

17:45

Drinks and networking


Part 2:

 

20:00

Dinner

Tuesday November 20th

Part 3:

 

9:00

Keynote Talk by Klaus Havelund, Jet Propulsion Laboratory – Laboratory for Reliable Software, USA on Requirements-Driven Log Analysis. Further info: http://ictss2012.aau.dk/program.html

10:00

Coffee

10:30

Joerg Brauer, Jan Peleska and Uwe Schulzeon Efficient and Trustworthy Tool Qualification for Model-Based Testing ToolsAymeric Hervieu, Beniot Baudry and Arnaud Gotlieb on Managing Execution Environment Variablilty during Software Testing: an industrial experienceMartin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jand Endresen and Tormod Wien on A Technique for Agile and Automatic Interaction Testing for Product LinesDaniel A. Mayer, Orie Steele, Susanne Wetzel and Ulrike Meyer on CaPTIF: Comprehensive Performance TestIng FrameworkFurther info: http://ictss2012.aau.dk/program.html

12:30 

Lunch

 

Please register by contacting Tina Lindekilde Sørensen at tls@cs.aau.dk 

 

Participation fee:

Part 1:

Dkk 250

Part 2:

Dkk 450

Part 3:

Dkk 400

Part 1+2:

Dkk 600

Part 1+3:

Dkk 600

Part 2+3:

Dkk 800

Part 1+2+3:

Dkk 1000

Cancellation later than November 15th no refunding

Time and place:

Time:               Monday November 19th 2012 and Tuesday November 20th 2012

Place:             Helnan Phønix Hotel
                        Vesterbro 77
                        9000 Aalborg
                        Denmark

Contact:           Tina Lindekilde Sørensen, Phone: +45 9940 3501

Contact e-mail: tls@cs.aau.dk