A creation method of comprehensive cases and specifications for hardware and software combined test to detect undesirable events of an industrial product using HAZOP
A creation method of comprehensive cases and specifications for hardware and software combined test to detect undesirable events of an industrial product using HAZOP
复制标题
一种利用HAZOP检测工业产品不良事件的软硬件联合测试综合案例和规范的创建方法
DOI：
10.1080/18824889.2022.2069914
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Watanabe Yoshimichi
中科院分区：
文献类型：
--
作者：
Takahashi Masakazu;Ueno Kouji;Anang Yunarso;Watanabe Yoshimichi
本文提出了一种软硬件联合测试（HSCT）的综合案例和规范的创建方法，以利用危险与可操作性研究（HAZOP）检测由软件控制的工业产品的不良事件。通过使用创建的HSCT规范进行测试，所提出的方法检测工业产品的不良事件。为了消除工业产品中的不良事件，重要的是要确认HSCT中尽可能多的不良事件的行为。然而，由于HSCT病例是由工程师手动创建的，因此HSCT病例的覆盖范围不足。本文提出了一种综合的HSCT案例创建方法和规范，以解决HSCT案例覆盖不足的问题。实施以下对策以实现所提出的方法。(1)定义从硬件和软件规范中提取HAZOP中使用的参数的方法，并定义创建HSCT案例和规范所需的信息。(2)准备HSCT的HAZOP指导词。(3)定义参数和引导词的格式，以及参数和引导词结合创建HSCT病例的步骤。(4)提出了一个与HSCT案例相对应的HSCT规范的创建过程。(5)提出包括方法（1）-（4）的适当HSCT程序。由于所提出的方法的应用程序，25%以上的充分HSCT的情况下创建和40%以上的不良事件被检测到相比，手动创建。此外，创建时间缩短了27%。
This paper proposes a creation method of comprehensive cases and specifications for hardware and software combined test (HSCT) to detect undesirable events of an industrial product controlled by software using hazard and operability studies (HAZOP). By testing with created HSCT specifications, the proposed method detects undesirable events of the industrial product. To remove undesirable events in industrial products, it is important to confirm the behaviour of as many undesirable events as possible in HSCT. However, since the HSCT cases were manually created by engineers, the coverage of the HSCT cases was insufficient. This paper proposes a comprehensive creation method of HSCT cases and specifications to resolve the problem of insufficient coverage of HSCT cases. The following countermeasures are implemented to realize the proposed method. (1) Define the method for extracting the parameters used in HAZOP from the hardware and software specifications, and define the information necessary to create HSCT cases and specifications. (2) Prepare HAZOP guide words for HSCT. (3) Define the format of parameters and guide words and the procedure for creating HSCT cases by combining parameters and guide words. (4) Propose a creation procedure of HSCT specifications corresponding to the HSCT cases. (5) Propose an adequate HSCT procedure that includes methods (1)–(4). As a result of the application of the proposed method, 25% more adequate HSCT cases are created and 40% more undesirable events were detected in comparison with the manual creation. Additionally, the creation time was reduced by 27%.
嵌入式系统安全关键软件的软件鉴定方法
DOI：
10.1007/978-3-642-35594-3_25
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Jang;Soon
通讯作者：
Soon
关于抑郁症的理解和处理：专题讨论——从综合的角度
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
中釜洋子;ほか;藺牟田洋美・権藤恭之;稲垣宏樹・権藤恭之;中釜洋子;増井幸恵・権藤恭之;野村あすか;中釜洋子
通讯作者：
中釜洋子