The healthcare demonstrator of the TAPPS Project is a new model of Health Trolley, specifically designed to assist healthcare professionals in daily patient care activities, such as pharma administration or application of medical aids and devices. The demo, elaborated for the month #20 of the project shows the implementation of the communication between the Critical World (where essential trolley functions run, namely drawer management) and the Trusted World (hosting mainly the application to assign therapies to patients). The tests have been performed using an experimental workbench, including the real trolley control board connected with three drawer locks and the HiKey board, where the TAPPS architecture is implemented. The first component is a PIC-based, custom control board for drawer management, which includes a UART interface – connected to the HiKey96 board – and up to 36 drawer locks.
According to the trusted toolchain, the Critical app to control the trolley drawers (namely, the Trolley Control Unit app) has been designed using 4DIAC, and then modeled as a Chromosome node to ensure a trusted communication with the outside world. The generated code is verified by the SMV model checker. Critical apps can be uploaded (as suppliers) and downloaded (as subscribers) on/from the marketplace. Moreover, a beta-version of a Trusted app has been developed to perform prescription and administration of drugs, medical devices and clinical consumables: this application includes a patients’ database and works to assign therapies and drawers. However, since drawer indexes are randomly generated, the match between drawers and patients is not transparent: the two Execution Environments (EE) are then isolated from each other, but a secured communication can be performed.