In this paper, we present a comprehensive survey focusing on software safety and security verification and validation, particularly concerning medical devices, with a specific focus on artificial pancreas systems (APS) used in diabetes treatment. Medical device software represents one of the most critical cyber-physical applications, where failures can have immediate life-threatening consequences. Therefore, our survey emphasizes the critical role of verification and validation procedures in ensuring the reliability of such systems, as evidenced in existing literature. Furthermore, we explore the application of software analysis and modeling techniques in the certification, validation, and verification processes of the software employed in these systems.