XSTAMPP: An eXtensible STAMP Platform As Tool Support for Safety Engineering

نویسندگان

  • Asim Abdulkhaleq
  • Stefan Wagner
چکیده

STPA (Systems-Theoretic Processes Analysis) is a new hazard analysis technique based on STAMP. STPA is already being used in different industrial domains (e.g. space, aviation, medical or automotive). To support the application of STPA and make using STPA more efficient, we developed an open tool called A-STPA. However, the current usage of ASTPA by safety analysts in different areas shows a number of shortcomings in terms of documenting unsafe control actions, drawing different levels of control structure diagrams, documenting the causal factors in STPA Step 2 and supporting the application of STPA in different areas. In this paper, we present an extensible STAMP platform called XSTAMPP as tool support designed specifically to serve the widespread adoption and use of STPA in different areas, to facilitate STPA application to different systems and to be easily extended to include different requirements and features. Moreover, XSTAMPP has the potential to be extended in the future to support the application of CAST for accident analysis. We believe that XSTAMPP is a useful first step toward establishing a base platform to support the application of STAMP methodologies in different domains. Keywords-STAMP; STPA; CAST approach; safety analysis; Eclipse

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

XSTAMPP 2.0: New Improvements to XSTAMPP Including CAST Accident Analysis and an Extended Approach to STPA

XSTAMPP (eXtensible STAMP Platform ) is a software tool developed to serve the widespread adoption and use of STAMP methodologies in different domains. The first version of XSTAMPP supported only the STPA application. In this paper, we present a new version of XSTAMPP, including CAST accident analysis and extended approach to STPA. We developed two new plug-in tools called (1) A-CAST (Automated...

متن کامل

BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning

We describe BON-CASE, an extensible tool for the BON modelling language. The tool’s support for formal techniques – in particular, for formal specification of contracts and frames, as a platform for verification of Eiffel code, for lightweight integration with existing reasoning tools (such as type checkers, theorem provers, and static assertion checkers), and its extensible architecture – is d...

متن کامل

Enhancing Tool Support for Situational Engineering of Agile Methodologies in Eclipse

In recent years, with the growth of software engineering, agile software development methodologies have also grown substantially, replacing plandriven approaches in many areas. Although prominent agile methodologies are in wide use today, there is no method which is suitable for all situations. It has therefore become essential to apply Situational Method Engineering (SME) approaches to produce...

متن کامل

Open Tool Support for System-Theoretic Process Analysis

STPA (System-Theoretic Process Analysis) is a new hazard analysis technique which builds on STAMP, a process and accident model using concepts of system and control theory. In this paper, we present A-STPA an open tool to help transform STPA to an executable STPA which automates the activities of STPA. We develop the A-STPA tool to assist safety analysts in performing STPA. Moreover, it will gi...

متن کامل

AP1: A Platform for Model-Based Software Engineering

This thesis describes the AP1 system, which serves as a platform for model-based CASE technology. AP1 is a set of libraries and tools that support different activities in the software development process. It provides different layers of reusable CASE functionality, and thus facilitates CASE tool development and integration. Some key problems of software development are addressed, such as the st...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014