A Methodology for Automating Assurance Case Generation

Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey +2

Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The ce…