Requirements Definition of Safe Software Using the Behavioral Patterns Analysis (PBA) Approach: The Railroad Crossing System

Author

El-Ansary, Assem

Author_Institution

Emergent Technol. USA Inc., Atlanta, GA

fYear

2006

fDate

Nov. 28 2006-Dec. 1 2006

Firstpage

80

Lastpage

80

Abstract

This paper is concerned with a new event-oriented approach named the behavioral pattern analysis approach (BPA). In BPA, events are considered the primary objects of the world model. BPA is a more effective alternative to use cases in modeling and understanding the functional requirements. The event defined in BPA is a real-life conceptual entity that is unrelated to any implementation. The BPA behavioral patterns are temporally ordered according to the sequence of the real world events.

Keywords

formal specification; railways; safety-critical software; behavioral patterns analysis; event-oriented approach; functional requirement; railroad crossing system; requirements definition; safe software; Embedded system; Failure analysis; Formal specifications; Natural languages; Pattern analysis; Real time systems; Software safety; Software systems; Unified modeling language; Yarn;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational Intelligence for Modelling, Control and Automation, 2006 and International Conference on Intelligent Agents, Web Technologies and Internet Commerce, International Conference on

Conference_Location

Sydney, NSW

Print_ISBN

0-7695-2731-0

Type

conf

DOI

10.1109/CIMCA.2006.176

Filename

4052721