Software and architecture modelling with omega-UML and validation with IF

We present a short overview on the UML profile for real-time systems and the validation methodology developed in the Omega project making use of the capabilities of the IF/IFx toolbox. We demonstrate the usage of the profile and the tool on hand of a case study: we used the profile to model both the functional and the run-time architecture of the Ariane 5 flight software and succeeded in doing joint validation using different abstractions. We evaluate the obtained results and sketch a roadmap for our future work.