3rd ESA Workshop on Avionics, Data, Control and Software Systems - ADCSS 2009

Session

Formal Methods in Software Engineering

4 Nov 2009, 09:00

Newton Conference Center (ESA/ESTEC)

33. Welcome

04/11/2009, 09:00

34. Opportunistic Formal Methods

R. Joshi

04/11/2009, 09:15

35. What to do with Formal Methods in Space (System/)Software Domain?

X. Olive (TAS)

04/11/2009, 09:55

36. Formal Methods for Space Transportation Software

D. Lesens (Astrium ST)

04/11/2009, 10:35

37. Assessing the Formal Development of a Secure Partitioning Kernel with the B-Method

A. Passos (Critical Software)

04/11/2009, 11:30

38. Using HRT-UML and Ada Ravenscar Profile in Sentinel 3

R. López (GMV)

04/11/2009, 12:10

39. Formal Methods in Fligh Software Architecture, Model-based Engineering and Spacecarft Autonomy Technology at NASA/JPL

M. Ingham (NASA/JPL)

04/11/2009, 14:00

40. Formal Verification and Validation of AADL Models

T. Noll (RWTH), VY Nguyen (RWTH)

04/11/2009, 14:40

41. From System Dependability to Software Dependability: Assistance of Formal Methods

P. Bieber (ONERA)

04/11/2009, 15:20

42. Context Constraints Method for Software Formal Verification

E Bonnafous, X Dumas

04/11/2009, 16:00

43. Round Table

04/11/2009, 16:20