Testing Safety Critical Systems with SysML/UML

As systems become increasingly complex and the time to market decreases, systems engineers have to develop novel solutions to testing. The scenario is particularly acute when dealing within the safety critical domain. This paper will seek to highlight how UML and in particular, improvements introduced by SysML can aid the testing process in terms of verification, validation and simulation of software, firmware and mechanical systems. This paper will highlight how UML and SysML constructs can aid testing and is based on many years experience of building and testing systems as well as the experience gained by client companies during consultation. It will highlight on a practical basis how clients have integrated testing into their UML/SysML models to improve their processes and products.