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 |
|
|
Kalender 
