Hans-Peter Hoffmann, Ph.D., IBM

This paper describes a SysML-based process that systems engineers can use to capture requirements and specify architecture. The approach uses model execution as a means for requirements verification and validation.