Safe and secure I/O sharing for mixed-criticality embedded real-time systems for avionics