Formalizing Ethical Design in Prostate Cancer Image Analysis: A Preliminary Case Study

Although artificial intelligence h as s hown potential to transform healthcare, adoption in clinical practice has been limited due to concerns regarding systems’ trustworthiness. Several ethical guidelines have been issued to address these concerns, however, implementation is often challenging. We describe a preliminary case study to implement the Coalition for Health AI ethical guidelines in the design of a prostate abnormality detection system, using formal specifications to address challenges of conflicting principles and translation into design requirements. Initial evaluation indicates that formal specifications are effective in addressing these challenges.