Title :
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
fDate :
Nov. 28 2006-Dec. 1 2006
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;
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
DOI :
10.1109/CIMCA.2006.176
