26 research outputs found
Challenges and best practices for big data-driven healthcare innovations conducted by profit–non-profit partnerships – a quantitative prioritization
Promoting innovation: Enhancing transdisciplinary opportunities for medical and engineering students
Investigation of Resistance, Perception and Attitudes of Employees against Change in Information Systems Using Change Management Approach: A Study in a University Hospital
What is the degree of innovation routinely implemented in Dutch radiotherapy centres? A multicentre cross-sectional study
Combining model checking and runtime verification for safe robotics
A major challenge towards large scale deployment of autonomous mobile robots is to program them with formal guarantees and high assurance of correct operation. To this end, we present a framework for building safe robots. Our approach for validating the end-to-end correctness of robotics system consists of two parts: (1) a high-level programming language for implementing and systematically testing the reactive robotics software via model checking; (2) a signal temporal logic (STL) based online monitoring system to ensure that the assumptions about the low-level controllers (discrete models) used during model checking hold at runtime. Combining model checking with runtime verification helps us bridge the gap between software verification (discrete) that makes assumptions about the low-level controllers and the physical world, and the actual execution of the software on a real robotic platform in the physical world. To demonstrate the efficacy of our approach, we build a safe adaptive surveillance system and present software-in-the-loop simulations of the application