Title: An architecture supporting safety critical software