Research on verification of behavior requirement patterns based on action sequences

Research on verification of behavior requirement patterns based on action sequences

Function behavior requirements（FBR） and safety behavior requirements（SBR） were described by action se-quences.Compared with the traditional logic or graphic form,action sequences can express the temporal relationship among interactive behaviors more exactly.Moreover,FBR pattern and SBR pattern are c...

Full description

Saved in:
Bibliographic Details
Main Authors: DU Jun-wei1, XU Zhong-wei2, JIANG Feng1
Format: Article
Language:zho
Published: Editorial Department of Journal on Communications 2011-01-01
Series:Tongxin xuebao
Subjects:
safety-critical system
action sequence
behavioral requirement pattern
labeled transition system
pattern verification
Online Access:http://www.joconline.com.cn/zh/article/74418254/
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://www.joconline.com.cn/zh/article/74418254/

Similar Items