Michael Lipaczewski, Simon Struck, Frank Ortmeier: SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level Editor Support. Proceedings of the 2nd International Workshop on Developing Tools as Plug-Ins (TOPI), IEEE, 2012.

Abstract

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 developeddecades ago and thus cannot cope with the complexity of modern systems. Model based analysis techniques where developed to deal with the complexity of software-intensive systems. However, due to the lack of tool support these techniques are currently limited to highly skilled experts. Thus model-based analysis is rarely used by system engineers. Based on the safety analysis modeling language (SAML) framework we propose the S3E , which integrates a complete safety analysis environment into the eclipse platform. S3E covers the whole safety analysis work flow. This implies a powerful editor for model creation, a seamless integration of model-analysis tools and presentation as well as evaluation of the analysis results into one environment. In this paper we present the current state of S3E and first experiences with the eclipse plug-in development.

BibTeX (Download)

@conference{saml-sde-ICSE2012,
title = {SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level	Editor Support},
author = { Michael Lipaczewski and Simon Struck and Frank Ortmeier},
url = {https://www.researchgate.net/profile/Frank_Ortmeier/publication/261095247_SAML_goes_eclipse_-_Combining_model-based_safety_analysis_and_high-level_editor_support/links/5704fb7408ae13eb88b937cb.pdf},
year  = {2012},
date = {2012-01-01},
booktitle = {Proceedings of the 2nd International Workshop on Developing Tools	as Plug-Ins (TOPI)},
pages = {67-72},
publisher = {IEEE},
abstract = {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 developeddecades ago and thus cannot cope with the complexity of modern systems. Model based analysis techniques where developed to deal with the complexity of software-intensive systems. However, due to the lack of tool support these techniques are currently limited to highly skilled experts. Thus model-based analysis is rarely used by system engineers. Based on the safety analysis modeling language (SAML) framework we propose the S3E , which integrates a complete safety analysis environment into the eclipse platform. S3E covers the whole safety analysis work flow. This implies a powerful editor for model creation, a seamless integration of model-analysis tools and presentation as well as evaluation of the analysis results into one environment. In this paper we present the current state of S3E and first experiences with the eclipse plug-in development.},
keywords = {model-based, VECS},
pubstate = {published},
tppubtype = {conference}
}