Browse Prior Art Database

AN APPROACH TO COMPONENT DESIGN OF ROBUST SOFTWARE SYSTEMS

IP.com Disclosure Number: IPCOM000009086D
Original Publication Date: 1999-Jun-01
Included in the Prior Art Database: 2002-Aug-07
Document File: 2 page(s) / 106K

Publishing Venue

Motorola

Related People

Vsevolod Kotlyarov: AUTHOR [+2]

Abstract

Software development seeks to provide software products complying with all requirements, specifica- tions and acceptance criteria. Thereby, libraries of earlier created components and templates are often used. The library components must have a guaran- teed quality level. To ensure the quality of the com- plete software product, (a) the quality of reused components is verified and non-compliant compo- nents are eliminated or (b) the components are selected with a given high quality level. In this paper the second way (b) is discussed.

This text was extracted from a PDF file.
At least one non-text object (such as an image or picture) has been suppressed.
This is the abbreviated version, containing approximately 50% of the total text.

Page 1 of 2

MOTOROLA Technical Developments

AN APPROACH TO COMPONENT DESIGN OF ROBUST SOFTWARE SYSTEMS

by Vsevolod Kotlyarov and Petr Panteleyev

INTRODUCTION

  Software development seeks to provide software products complying with all requirements, specifica- tions and acceptance criteria. Thereby, libraries of earlier created components and templates are often used. The library components must have a guaran- teed quality level. To ensure the quality of the com- plete software product, (a) the quality of reused components is verified and non-compliant compo- nents are eliminated or (b) the components are selected with a given high quality level. In this paper the second way (b) is discussed.

COMPONENT MODEL

  Figure 1 illustrates a multioutput operating mod- ule. Set M(p) of information control outputs com- plies with a condition of the resource completeness. For any input value p at the information inputs, any output state is classified into IM(p)l resomce-com- plete classes. This classification results in the oper- ation of some particular output belonging to the set M(p). Module p has a resource-complete recognizer which filters information and reacts explicitly to abnormal events by sending signals to correspond- ing control outputs. Thereby, the module actively avoids undefined results. A fundamental operator formalism can be used to model the multioutput module. The module gets information only from its inputs and access to the internal data of the module is not allowed.

  Figure 2 illustrates the multioutput operating module with objects ("OBI"). The objects are the central element of the approach and characterized by state data and program code. The objects receive messages from other objects and sends messages to the other objects via specified external interfaces - as shown in the model - by connecting lines (net structure). Only inputs and outputs of the same type can be connected.

  An object either waits for an external signal such as a message from another object or performs a state transition as a reaction to the received signal. The transition is a quantum of the object program and can not be interrupted by any external event which could change the internal object data. Each transition is a reaction to a certain external message in a certain state and changes the object data, send- ing a message to o...