Many Universities today do not implicitly or explicitly require computer engineering or computer science students to do design. In order for MBSE to reach its full potential, this will have to change.
This edition focuses on the occurrence and detectability assessments. This approach is recommended in the IEEE 1633 Recommended Practices for Software Reliability.
Assessing Occurrence and Detectability for Software Failure Modes
Since the first recorded software failure in 1962, the prevailing approach to deploying software-intensive systems has been to hope for the best—only to be proven wrong repeatedly
If you can predict weather down to the hour, you can predict software defects