JEDI Center(JAXA's Engineering Digital Innovation Center)

2016/4/5

High Reliability Software System Verification Laboratory

High Reliability Software System Verification Laboratory's page was opened.

2011/07/14

High-Reliability RTOS to fly toward Space

The high-reliability Real Time OS (RTOS) developed by JAXA's Engineering Digital Innovation (JEDI) Center will be launched towards space at first by carried with H-IIB launch vehicle.

Jan. 20 (Tue.) - Jan. 22 (Thr.), 2015: JAXA/IPA 12th International Workshop on Critical Software Systems (WOCS²)
Sola City Conference Center, Japan
Jan. 15 (Wed.) - Jan. 17 (Fri.), 2014: JAXA/IPA 11th International Workshop of Critical Software Systems (WOCS²)
Sola City Conference Center, Japan
Sep. 27 (Thu.) - Sep. 28 (Fri.), 2012: JAXA/IPA 10th International Workshop on Critical Software Systems (WOCS²)
Tokyo Station Conference, Japan
Nov. 17 (Thu.) - Nov. 18 (Fri.), 2011: JAXA/IPA 9th International Workshop on Critical Software Systems (WOCS2011-2 )
Pacifico Yokohama, Japan
Jan. 18 (Tue.) - Jan. 19 (Wed.), 2011: 8th Workshop on Critical Software (WOCS)
Akihabara Convention Hall
Nov. 16 - Nov. 18, 2010: Research Exhibition in SC10
New Orleans, Louisiana, USA
Sep. 28 (Tue.) - Sep. 29 (Wed.), 2010: "New Horizon of Rocket Engine Modeling and Simulation"
Joint Symposium between University of Tokyo (Social Cooperation Program) and JAXA
Takeda Hall (Takeda Bldg. 5F), University of Tokyo
April 18 (Sun.), 2010: Open-house Event at Chofu Aerospace Center
Nov. 14 (Sat.) - Nov. 20 (Fri.), 2009: Research Exhibition in SC09
Portland, Oregon, USA