SAML goes eclipse: combining model-based safety analysis and high-level editor support


Software-intensive systems become more and more important in safety critical applications, mainly because of the rising number and complexity of embedded system. Many traditional safety analysis techniques where developed decades ago and thus cannot cope with the complexity of modern systems. Model based analysis techniques where developed to deal with the… (More)


2 Figures and Tables