ABSTRACT
In the following section 2 we shortly explain the used UML/SysML diagrams (Rupp, Hahn et al. 2005; SysML Specification 2007; UML Specification 2005; Weilkiens 2006). In section 3 we first define the term ‘‘safety requirement’’. In the second part of section 3 we gather the properties of safety requirements that allow a characterization of safety requirements. In section 4 we show exemplarily the representation of safety requirements with UML and SysML. In section 5 we describe how the modeled safety requirements can be verified using an UML model of a system of interest. In section 6 we present a summarizing table that describes the general approach of modeling and verifying safety requirements with UML. In section 7 we give a summary and draw a conclusion.
