Previous Next Methods Allocation  
Annex 1  
5.8 Category of Methods "System Behavior Models" (SBM)  

  SVM - Systemverhaltensmodelle

Contents  
  • 5.8.1 Overview
  • 5.8.1.1 Appraisal Criteria
  • 5.8.1.2 Individual Methods
  • 5.8.1.3 Comparison of the individual Methods
  •     
      
  • 5.8.2 Individual Descriptions
  • 5.8.2.1 Petri Nets (PNET)
  • 5.8.2.2 State Charts (STC)
  • 5.8.2.3 Specification and Description Language (SDL)
  • 5.8.1 Overview

    In the Methods Standard, the category of methods System Behavior Models is intended to support the requirement analysis of functional or software portions with high criticality. The support is realized on the levels System, Segment, and SW Unit, when complex real-time behavior occurs, having a great impact on the warranty of the functionality. A special method is only selected within the scope of the operationalization of the Method Standard.

    5.8.1.1 Appraisal Criteria

    Each individual method of the category SBM must at least have the following characteristics and features in order to be applied for the previously mentioned purpose:

    5.8.1.2 Application Criteria

    The application criteria mentioned next are intended to help by selecting individual methods from the category of methods.

    5.8.1.3 Individual Methods

    /Davis, 88/ contains an overview comparing methods for the behavior specification for event-oriented systems. The Methods Standard already includes the following basic methods: decision tables, finite automata, Pseudocode. Next, the following methods are individually introduced:

    5.8.2 Individual Descriptions

    5.8.2.1 Petri Nets (PNET)
    5.8.2.2 State Charts (STC)
    5.8.2.3 Specification and Description Language (SDL)

    Previous Next GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster