4 papers
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey +3
Autonomous CPSs are often required to handle uncertainties and self-manage the system operation in response to problems and increasing risk in the operating paradigm. This risk may…
Workflow Automation for Cyber Physical System Development Processes
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine +3
Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performanc…
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…
Dynamic-Weighted Simplex Strategy for Learning Enabled Cyber Physical Systems
Shreyas Ramakrishna, Charles Hartsell, Matthew P Burruss +2
Cyber Physical Systems (CPS) have increasingly started using Learning Enabled Components (LECs) for performing perception-based control tasks. The simple design approach, and their…