WOSD 2015

5th Workshop on Open Systems Dependability (WOSD) - Tuesday, November 3rd, room: West Square

Program
 

Session #1: 11:00 - 11:40
 

11:00-11:05 Opening     

11:05-11:10 Welcome address by Mario Tokoro (Sony CSL)

11:10-11:50 Keynote address: Evaluating software architectures for open systems dependability in the mission-critical systems by Alberto Avritzer

11:50-11:15 Talk 1: Ecosystem-based assurance for plug-and-play medical systems by Oleg Sokolsky (Pennsylvania)

11:15-11:40 Talk 2: A case study of enterprise application development using DEOS by Tatsumi Nagayama (Symphony)

Lunch break: 11:40 - 14:00
 

Session #2: 14:00 - 15:15
 

14:00-14:25 Talk 3: The challenge of assuring autonomous systems by Robin Bloomfield (Adelard and City University London)

14:25-14:50 Talk 4: A Petri net model of the DEOS life cycle by Makoto Takeyama (Kanagawa)

14:50 - 15:15 Talk 5: The impact of "openness" on safety critical FPGA based system by Kateryna Netkachova (Adelard and City University London), Vyacheslave Kharchenko (KhAI) and Vladimir Sklyar (Radiy)

Coffee break: 15:15 - 16:00 
 

Session #3: 16:00 - 17:30
 

16:00-16:25 Talk 6: Open systems dependability standardization activity in IEC TC56 by Yoshiki Kinoshita (Kanagawa)

16:25-17:30 Panel: Advances of the Open Systems Dependability Concept - study and deployment (Panelist T.B.A.)

17:30 Closing