Operative architecture design and modelling for the validation of real-time applications | IEEE Conference Publication | IEEE Xplore