文章基本信息

标题：Requirements specification and evaluation for transient faults in communication protocols based on RT-FRIDA framework
本地全文：下载
作者：Alexandre S. Roque ; Gerson L. Nunes ; Edison P. Freitas 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：10
页码：76-81
DOI：10.1016/j.ifacol.2018.06.240
语种：English
出版社：Elsevier
摘要：AbstractThis paper presents an evaluation of requirements specification for two critical real-time control systems, which depends of industrial communications protocols. It is proposed the use of aspect-oriented modeling (AOM) to map transient fault behaviors in design phases, with RT-FRIDA framework extended for fault modeling capabilities. Requirements specification for an Active suspension control system and for a fault detection control system applied in agricultural implements was made as case study. Faults are specified as non-functional requirements and evaluated applying a quantitative softgoal weight method. Results presented indicates aspect-oriented fault modeling as an important ally to specify faults that have potential to degrade performance of real-time control systems.
关键词：KeywordsCommunication protocolstransient faultsreal-time systemsrequirements analysis