1.Integrating UML/SysML and GSN/Assurance Case: New Tool Demonstration Kenji Hiranabe (Change Vision, Inc) Kenji Taguchi (AIST)2. Agenda • Introduction • Background and…