THE FUTURE IS NOW

Safety and Product Assurance

The ultimate safety technology we have cultivated in space is available for use in private sector projects

Safety and Product Assurance for SpacecraftSafety and Product Assurance for Spacecraft

Safety and Product Assurance for AircraftSafety and Product Assurance for Aircraft

An accident that would be considered minor on earth can have catastrophic consequences in the enclosed environment of space. In addition to ensuring measures against the three main hazards of fire, depressurization and air contamination, the work involved in safety and product assurance includes carrying out exhaustive checks on every item delivered to the ISS and doing everything within our ability to protect the safety of the crew complying with stringent safety requirements.

We evaluate the reliability and safety of every item delivered into space by examining details from each material through the component to the overall system. We also provide suggestions for improvements to the developers and manufacturers and make independent assessment to ensure that the stringent quality standards set by NASA and JAXA are met.

The knowledge and knowhow required to do this enable us to cater to companies involved in the aircraft industry and railway industry, for which extremely strict safety standards are in demand, and we have begun to expand the use of the technology developed for space to private enterprises on earth.

System Safety Independent Verification and Validation

Software IV&V improves safety by identifying problems related to system safety and software reliability and verifying the correct operation of the software during emergency situations.

JAMSS’s IV&V business was started at the same time as NASA’s. Affiliations with Massachusetts Institute of Tech-nology (MIT), the University of Southern Denmark and other such institutions have enabled us to accumulate leading-edge software verification technology in the field of spacecraft software, for which ultimate levels of safety are demanded. JAMSS utilizes its unique “The Integrated Formal Verification” technology for software IV&V. “The Integrated Formal Verification” enables conducting strict formal verification for safety critical part of the target software. “The Integrated Formal Verification” extracts safety critical part of the software by hazard analysis or resilience engineering. It then performs strict verification pin-pointing the identified safety critical part for the all possible combinations of conditions by means of formal modeling technique. This allows us to identify potential accident causes that will only occur under extremely rare conditions so that the software can be recreated with higher levels of safety.

System Safety Independent Verification and Validation

Building systems that require high-level safety

Building systems that require high-level safety

Building systems that require high-level safety

We believe that IV&V will soon begin to penetrate the fields that have stringent safety standards in place for complex software, such as the automotive industry, the airline industry and the railway industry, etc.