Abstract: We have been developing a novel virtually transparent epidermal imagery (VTEI) system for laparo-endoscopic single-site (LESS) surgery. The system uses a network of multiple, micro wireless cameras and multiview mosaicing technique to obtain a panoramic view of the surgery area. This view provides visual feedback to surgeons with large viewing angles and areas of interest so that the surgeons can improve the safety of surgical procedures by being better aware of where the surgical instruments are relative to tissue and organs.

Verification of cyber-physical systems is complicated by both their heterogeneous nature as well as their sheer complexity. Cyber-physical systems include hardware, software, and physical  environment, so a formal model must integrate all of these concerns.