ESACS Meetings and Events


Meetings

Nov. - Dec., 2003 Final Meeting Alenia, Torino
October, 15-16, 2003 Meeting with JAA ONERA, Toulouse
May, 14-15, 2003 Meeting with JAA Airbus F, Toulouse
April, 2-3, 2003 WP4 meeting, JAA ONERA, Paris
December, 10-11, 2002 WP4 meeting AIRBUS UK, Filton
September, 5-6, 2002 mid-project review OFFIS, Oldenburg
July, 8-10, 2002 Milestone M2 meeting Prover, Stockholm
March, 21-22, 2002 WP2 and WP3 meeting IRST, Trento
December, 4-6, 2001 WP2,WP3 and JAA meeting AIRBUS-F, Toulouse
September, 11-12, 2001 WP2 and WP3 meeting AIRBUS-D, Hamburg
[Hamburg meeting pictures]
July, 18, 2001 WP2 meeting Frankfurt
June, 6-7, 2001 WP1 deliverable review and WP2 start meeting OFFIS, Oldenburg
April, 10-11, 2001 WP1 requirement definition workshop BAES, Filton
March, 8-9, 2001 kick-off meeting Alenia, Torino

Dissemination events

Event:NATO Research & Tecnology Organization "Symposium on Combat Survivability of Air, Sea, and Land Vehicles", Aalborg-Denmark, 23- 26 September 2002
Authors:ALENIA
Title:Safety Assessment Of Aircraft Mounted Systems
Event:JOURNEE ALTARICA(AltaRica User Day, Toulouse, 21 October 2002
Authors:AIRBUS F, ONERA, LABRI
Title:Analysis of an aircraft (A320) hydraulic system with Cecilia-OCAS
Event:EDCC4 (4th European Dependable Computing Conference),Toulouse, 23-25 October 2002
Authors:ONERA
Title:Combination of Fault Tree Analysis and Model-Checking for Safety Assessment of Complex System
Event:ISDF Workshop (French Dependability Club Workshop),Toulouse, 2 November 2002
Authors:AIRBUS F, ONERA, LABRI
Title:Analysis of an aircraft (A320) hydraulic system with Cecilia-OCAS
Event: UAVNET, Meeting #6, Turin, 4-5 February 2003
Authors:ALENIA
Title:Safety Assessment Process for UAV
Event:AIRBUS France Seminar, Toulouse, 18 March 2003
Authors:AIRBUS F, ONERA, GFI Consulting
Title: AIRBUS F, ONERA, GFI Consulting ESACS Preliminary results : Safety Assessment with Altarica Tools
Event:PARIS AIR SHOW 2003 Le Bourget 15-22 June 2003
Authors:SIA
Title: Seminar on "Computer aided Safety Analysis Methodology". Three sessions of interactive presentation at the SIA Stand during the Trade Visitors days.
Event: ESREL 2003,Maastricht,15-18 June 2003
Authors: ESACS partners
Title: ESACS: an integrated methodology for design and safety analysis of complex systems
Event:ESREL 2003, Maastricht, 15-18 June 2003
Authors:IRST
Title:Integrating Fault Tree Analysis with Event Ordering Information
Event:FM 2003, Pisa, 8-14 September 2003
Authors:Alenia, IRST, SIA
Title:Improving Safety Assessment of Complex Systems: An industrial case study
Event:SAFECOMP 2003 Edimburgh, 23-26 September 2003
Authors:IRST
Title:Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform
Event: SECONDA GIORNATA DELLA RICERCA,ROMA, 1 October 2003
Authors:SIA
Title:ESACS Poster
Event:JOURNEE ALTARICA(AltaRica User Day), Marseille, 20-21 October 2003
Authors:AIRBUS F, ONERA, LABRI, GFI
Title:TBD
Event: ESREL 2004, Berlin 14-18 June 2004
Authors:PROVER
Title:A common framework for design and safety analyses using formal methods.

Overview Partners Deliverables Publications Meetings Documentation Projects