Program

Title

Aiming to realize a "Reliable IT Society"

Speaker

Tatsuo Tomita, Information-technology Promotion Agency (IPA), Japan

Bio

Tatsuo Tomita has been the Chairman of IPA since January, 2016. Before joining IPA, he served as the CEO, and then, the Chairman of Fujitsu Laboratories Ltd., from April 2010 to December 2015. Before that, he served as Corporate Senior Executive Vice President of Fujitsu Ltd. He is also the President of Information Processing Society of Japan.

Abstract

Since the establishment in 2004 as a policy implementation organization under the jurisdiction of the Ministry of Economy, Trade and Industry (METI), IPA has been actively engaged in activities intended to play an integral part in the execution of various IT initiatives. In recent years, the way our society interacts with IT is undergoing a significant change, due to the rapid diffusion of big data and emergence of AI, along with the advancement in IoT. At IPA, we are aiming at overcoming the challenges that need to be addressed to ensure the realization of a highly safe and convenient society, based on our insights on IT society today and its future. Specifically, we are taking a threefold approach consisting of the efforts to "strengthen information security", "nurture human resources deeply knowledgeable about IT" and "promote the development of highly reliable systems". In this session, some of the above initiatives will be described.

Title

Systematic Approach toward Dependable System Development

Speaker

Takaaki Matsumoto, Information-technology Promotion Agency (IPA), Japan

Bio

Takaaki Matsumoto is the president of Software Reliability Enhancement Center at IPA. Before joining IPA, he had been engaged in the research and development of operating systems, information security and computer architecture at NTT and NTT Data Corporation. Now his interests include software engineering and systems reliability.

Abstract

Although it is expected that promotion of the Internet of Things (IoT) brings us rich and sophisticated social lives, due to the interconnection among a wide variety of products, there might arise safety and security issues that product and service providers cannot predict and assume. In this session some of our initiatives to achieve high dependability in systems used in the IoT era will be described.

Title

R&D activities on test processes, analysis and design in VeriServe Corporation.

Speaker

Koichi Tanizaki, VeriServe Corporation, Japan

Bio

Koichi Tanizaki is a Project Manager of the Development Team at VeriServe.
He has been working as a test engineer for 9 years and working on research and development of test analysis and design.
Koichi has developed and maintained an in-house test analysis and design environment software to support test engineering work in his company.

Abstract

VeriServe is one of the most leading-edge IV&V companies in Japan and provides various testing services in a different perspective from developers. We have founded and used a test process standard, "VSM: VeriServe Standard Method," which is compliant with ISTQB.
In this talk, I discuss a thinking process of test analysis and design and introduce the in-house test analysis and design environment software.

Abstract

At aerospace domain, software testing plays an important role more than other industry expects. In this session, JAXA, ESA and NASA introduce why and how they use software testing in IV&V (Independent Verification and Validation) program with the comparison of each parties character. Also, would like to discover the future needs of the software testing in the end of the session.

Time table

Session 1: 14:00 - 15:30

Case#1
Usage of software testing at NASA IV&V (with VIDEO)

Speaker

Justin R. Morris, NASA

Bio

Justin R. Morris is a computer engineer with NASAﾕs Independent Verification and Validation (IV&V) Program in Fairmont, W.Va., a part of NASAﾕs Goddard Space Flight Center (GSFC). Morris leads the Independent Test Capability team that acquires, develops and maintains embedded test environments for NASA missions supported by NASA IV&V, including the James Webb Space Telescope (JWST), Space Launch System, Multi-Purpose Crew Vehicle, Ground Systems Development and Operations, and OSIRIS-Rex. He is also involved in contract procurement activities and works on the Simulation-to-Flight (STF-1) CubeSat mission.

Case#2
How European Space Agency are using Independent Software Verification and Validation for Flight Software Development

Speaker

Maria Hernek, ESA

Bio

Maria Hernek is heading the Flight Software System Section, Software System Division, in Technical, Engineering and Quality Directorate. She has been working as SW developer and SW verification engineer for various Space project before joining the agency. At ESA she has been a major contributor to the ISVV method which is being used in European Space Industry.

Case#3
How JAXA uses software testing for IV&V, and what is the needs

Speaker

Naoko Okubo, JAXA

Bio

Naoko Okubo is engaged to software IV&V program at JAXA R&D Directorate. She is the member of IV&V working group, which is an international community for benchmarking and discussion about IV&V in aerospace domain.

Session 2: 16:00 - 17:30

Case#4
Integrated Formal Analysis for Software IV&V

Speaker

Hideki Nomoto, JAMSS

Bio

1996-2000 Software IV&V Lead for the ISS Japanese Experiment Module (JEM)
1999-2002 Safety Lead for the H-II Transfer Vehicle (HTV)
2003-2004 Research of software safety at the Massachusetts Institute of
Technology (MIT) Aero Astro Lab
2005-2014 Safety Lead for the H-II Transfer Vehicle (HTV)
2009-2012 Lead HTV Flight Control Team (HTV System)
2013-2014 Lead HTV Flight Control Team (HTV Rendezvous)
2014- Manager Software IV&V

Panel Discussion with audience

Moderator:	Masafumi Katahira, JAXA
Panelists:	MMaria Hernek, ESA Naoko Okubo, JAXA Hideki Nomoto, JAMSS Takao Futagami, TOYO Corp. Koichi Tanizaki, VeriServe Corp.
Theme:	The needs for software testing from Aerospace IV&V domain and Testing technology Abstract At panel, panalists will discuss the demand and the up-to-date information about software testing and software testing technology and answer the question from audience about presentation and their views.