More and more functions in complex technical systems are realized in software. This leads to the term of "software-intensive systems". However, many of these systems require highest dependability standards as system failure might cause injuries or even deaths. Traditional techniques for safety analysis and methods for software design are no longer sufficient. In academia, and particularly in our research group, several new model-based methods to solve this problem have been developed in the last decade. » Read More