WO2013047140A1 - Ft diagram creation assistance device and ft diagram creation assistance program - Google Patents

Ft diagram creation assistance device and ft diagram creation assistance program Download PDF

Info

Publication number
WO2013047140A1
WO2013047140A1 PCT/JP2012/072731 JP2012072731W WO2013047140A1 WO 2013047140 A1 WO2013047140 A1 WO 2013047140A1 JP 2012072731 W JP2012072731 W JP 2012072731W WO 2013047140 A1 WO2013047140 A1 WO 2013047140A1
Authority
WO
WIPO (PCT)
Prior art keywords
event
data
unit
diagram
editing
Prior art date
Application number
PCT/JP2012/072731
Other languages
French (fr)
Japanese (ja)
Inventor
克成 山本
洋二 平岡
古川 慈之
Original Assignee
ジヤトコ株式会社
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Priority claimed from JP2011211326A external-priority patent/JP2013072719A/en
Priority claimed from JP2011211325A external-priority patent/JP5334140B2/en
Application filed by ジヤトコ株式会社 filed Critical ジヤトコ株式会社
Publication of WO2013047140A1 publication Critical patent/WO2013047140A1/en

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06QINFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00Administration; Management
    • G06Q10/10Office automation; Time management
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/07Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/079Root cause analysis, i.e. error or fault diagnosis
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06QINFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00Administration; Management
    • G06Q10/06Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling

Definitions

  • the present invention relates to a technique for analyzing the cause of failure of a device, system, etc. and improving its reliability.
  • FTA Fault Tree Analysis
  • FIG. 19 is an example of an FT diagram.
  • the failure event “the transmission loss by the belt vehicle is large” is analyzed. Since this failure event occurs when “slip amount is large” or “friction force is large”, “slip amount is large” and “friction force is large” are subordinate events of the failure event, and their relationship is Logical OR.
  • the upper event and the lower event are simply connected by a ruled line, and it is not described whether the lower event in the same row is a logical sum or logical product.
  • This is a logical product of the lower-order events in the same row, since in many cases the logical sum is used, the logical sum is simply connected between the higher-order event and the lower-order event and between the lower-order events in the same row with ruled lines. This is because “AND” indicating a logical product is described beside the ruled line connecting the upper event and the lower event.
  • FT diagrams are often created using the ruled line function of spreadsheet software such as Microsoft's Excel (registered trademark). This is because the spread rate of spreadsheet software is high, and because the spread rate is high, it is suitable for another engineer to use an FT diagram created by a certain engineer.
  • spreadsheet software such as Microsoft's Excel (registered trademark).
  • An object of the present invention is to make it easy to edit an FT diagram.
  • an FT diagram creation support device that edits first data describing a tree structure of an FT diagram in a markup language, thereby generating second data.
  • FT diagram creation comprising: an export unit for expressing a tree structure of the FT diagram by ruled lines and character strings on a sheet of spreadsheet software based on the second data, thereby generating third data
  • a support device is provided.
  • a computer edits first data describing a tree structure of an FT diagram in a markup language, thereby generating second data, and the second processing function described above.
  • a program for realizing the export function for expressing the tree structure of the FT diagram by ruled lines and character strings on the sheet of the spreadsheet software based on the data and generating third data thereby is provided. .
  • the FT diagram can be easily edited.
  • FIG. 1 is an overall configuration diagram of an FT diagram creation support apparatus.
  • FIG. 2 is a diagram for explaining the function of the FT diagram creation support apparatus.
  • FIG. 3 is a flowchart showing the processing contents of the import unit.
  • FIG. 4 is a diagram showing a state in which an event is searched from data of an FT diagram created by spreadsheet software by the import unit.
  • FIG. 5 is a diagram showing XML data generated by the import process.
  • FIG. 6 is an example of a tree structure displayed on the display unit.
  • FIG. 7 is a diagram illustrating a state in which a lower event is added to the top event.
  • FIG. 8 is a diagram illustrating a state in which a lower event is deleted.
  • FIG. 9 is a diagram illustrating a state in which a lower event is moved.
  • FIG. 1 is an overall configuration diagram of an FT diagram creation support apparatus.
  • FIG. 2 is a diagram for explaining the function of the FT diagram creation support apparatus.
  • FIG. 3 is
  • FIG. 10 is a diagram illustrating a state in which a lower event is copied.
  • FIG. 11 is a flowchart showing the processing contents of the event analysis unit.
  • FIG. 12 is a diagram showing the state of analysis by the event analysis unit.
  • FIG. 13 is a diagram showing an example of a term dictionary of fault value terms.
  • FIG. 14 is a diagram illustrating an example of a term dictionary of physical quantity terms.
  • FIG. 15 is a flowchart showing the processing contents of the consistency verification unit.
  • FIG. 16 is a diagram showing display on the display unit and XML data before and after the consistency verification.
  • FIG. 17 is a flowchart showing the processing contents of the export unit.
  • FIG. 18 is a diagram showing how the XML data is converted into the data format of the spreadsheet software by the export unit.
  • FIG. 19 is a diagram showing an example of an FT diagram.
  • FIG. 1 shows the overall configuration of the FT diagram creation support apparatus 100.
  • the apparatus 100 includes an input / output unit 1, a processing unit 2, a storage unit 3, a display unit 4, and an operation unit 5, and as shown in FIG. -Import function that imports FT diagram data created by Excel (registered trademark) of Macrosoft Corporation and converts it into data written in markup language-FT written in markup language Editing function for editing a diagram on the display unit 4
  • Event analysis function for analyzing the specific contents of an event of an FT diagram described in a markup language FT of an FT diagram described in a markup language before or after editing
  • Consistency verification function for verifying consistency (whether or not the development of subordinate events is correct)-FT diagram data described in the markup language after editing is converted into a spreadsheet software data format and exported It has a function.
  • the data of the FT diagram created by the spreadsheet software is the data of the FT diagram in which the tree structure is expressed by ruled lines and character strings on the sheet of the spreadsheet software. As shown in FIG. 19, a character string written in a cell surrounded by a ruled line is regarded as an event, and the tree structure of the FT diagram is expressed by connecting each event with a ruled line.
  • FT diagram data described in a markup language is XML (Extensible Markup Language) data, and the contents of each event of the FT diagram and their tree structure are used using tags. Describe. In the following description, “FT diagram data described in a markup language” is assumed to be XML data.
  • each event element is composed of a start tag ⁇ FaultTreeNode> and an end tag ⁇ / FaultTreeNode>.
  • the start tag ⁇ FaultTreeNode> there are various attributes of the corresponding event (label attribute indicating the contents of the event, unit attribute indicating the unit of physical quantity handled by the event, qstate attribute indicating the fault value state of the event, and the relationship between the lower events Logic attribute indicating logical sum or logical product and verification attribute indicating physical quantity consistency verification result) are included.
  • the vertical relationship between the lower event and the higher event is expressed by placing the lower event element between the start tag ⁇ FaultTreeNode> and the end tag ⁇ / FaultTreeNode> of the higher event.
  • events in the same row are expressed by arranging those elements in parallel.
  • the end tag ⁇ / FaultTreeNode> can be omitted as appropriate when the relationship between events is clear only with the start tag ⁇ FaultTreeNode>.
  • the input / output unit 1 is a wired or wireless network interface, a card reader, a USB connector, Bluetooth (registered trademark), or the like.
  • the input / output unit 1 is used for exchanging data with an external server, personal computer or the like.
  • the data to be exchanged mainly includes FT diagram data created by spreadsheet software for importing into the apparatus 100, and spreadsheet software edited or created by the apparatus 100 and exported from the apparatus 100. FT diagram data in data format.
  • the processing unit 2 includes a microprocessor, RAM, ROM, and the like.
  • the microprocessor reads the program stored in the ROM or the storage unit 3 (to be described later) into the RAM and executes it, thereby executing the import unit 21, the editing unit 22, the event analysis unit 23, and the consistency verification unit. 24 and the export unit 25. Specific processing contents of each unit will be described later.
  • the storage unit 3 is a storage device such as a hard disk or a flash memory.
  • the storage unit 3 stores data and programs necessary for the processing of the processing unit 2.
  • the display unit 4 is a display device such as a liquid crystal display.
  • the display unit 4 displays the tree structure of the FT diagram, the consistency verification result of the FT diagram, the XML data being edited or created, and the like.
  • the operation unit 5 is an input device such as a keyboard, a mouse, and a touch panel.
  • the operation unit 5 receives various operations from the user.
  • the import unit 21 has a function of reading the data of the FT diagram created by the spreadsheet software through the input / output unit 1 and converting the data into XML data.
  • FIG. 3 is a flowchart showing the processing contents (program contents) of the import unit 21.
  • the processing contents of the import unit 21 will be described with reference to this.
  • the import unit 21 searches for a top event from an FT diagram created by spreadsheet software in S1.
  • a top event is an event in which there is no further event above it.
  • the import unit 21 searches for cells surrounded by ruled lines in order from the upper left of the sheet.
  • the import unit 21 determines whether a top event has been found. If it is determined that a top event has been found, the process proceeds to S3, and if not, the process ends.
  • the import unit 21 sets the found top event cell as an analysis target cell. Further, the import unit 21 prepares XML data including a start tag ⁇ FaultTreeDocument> and an end tag ⁇ / FaultTreeDocument> indicating that the data is FT diagram data, and adds a top event to the XML data. Specifically, the top event element including the start tag ⁇ FaultTreeNode> and the end tag ⁇ / FaultTreeNode> is added between the start tag ⁇ FaultTreeDocument> and the end tag ⁇ / FaultTreeDocument>.
  • the import unit 21 acquires a character string from the analysis target cell, and sets the acquired character string as the label attribute of the event corresponding to the analysis target cell. Further, the import unit 21 searches the area on the right side of the analysis target cell. If there is a character string “AND”, the import unit 21 determines that the lower event of the event corresponding to the analysis target cell is a logical product. It is judged that. Then, the import unit 21 sets “OR” for the logical sum and “AND” for the logical product as the logic attribute of the event corresponding to the analysis target cell.
  • the import unit 21 searches for a lower event of the analysis target cell. Specifically, a ruled line extending to the right side from the analysis target cell is traced, and a cell surrounded by the ruled line ahead is searched.
  • the import unit 21 determines whether a lower event has been found. If it is determined that a subordinate event has been found, the process proceeds to S7, and if not, the process proceeds to S8.
  • the import unit 21 sets the discovered lower event cell as the analysis target cell, and adds the lower event to the XML data.
  • the element of the lower event is arranged between the start tag ⁇ FaultTreeNode> and the end tag ⁇ / FaultTreeNode> of the upper event, thereby expressing that it is a lower event.
  • the process returns to S4, the label attribute is set for the lower event, and further lower events are searched.
  • the import unit 21 repeats the processes from S4 to S7 until no lower events are found.
  • the import unit 21 searches for an event in the same row as the analysis target cell (hereinafter referred to as the same row event). Specifically, a ruled line branching downward from a ruled line extending to the left from the analysis target cell is traced, and a cell surrounded by a ruled line ahead of the ruled line is searched.
  • the import unit 21 determines whether the same event has been found. If it is determined that a similar event has been found, the process proceeds to S10; otherwise, the process proceeds to S11.
  • the import unit 21 sets a cell of the found same-order event as an analysis target cell, and adds the same-order event to the XML data. Elements of the same event are arranged so as to be in parallel with other elements of the same event, thereby expressing that they are the same event. Then, the process returns to S4, the label attribute is set for the same event, and the lower event and the same event are searched again.
  • the import unit 21 repeats the processes from S4 to S10 until no parallel event is found.
  • the import unit 21 sets the upper event of the same-line event found immediately before in the analysis target cell.
  • the import unit 21 determines whether the event corresponding to the analysis target cell is a top event. If the event is a top event, the import unit 21 ends the process. If not, the import unit 21 returns to S8 and searches for the same event again. .
  • FT diagram data created with spreadsheet software is converted to XML data by the above processing.
  • FIG. 4 shows how the import unit 21 searches for events from the data of the FT diagram created by the spreadsheet software.
  • FIG. 5 shows the XML data generated by the import process.
  • the tree structure of the FT diagram is expressed by the inclusion relationship of the tags ⁇ FaultTreeNode> ⁇ / FaultTreeNode>, and each event has a label attribute, a logic attribute, and a verification attribute. However, since the physical quantity consistency verification has not yet been performed, the verification attribute contains a temporary value.
  • the display unit 4 displays the tree structure in a format as shown in FIG.
  • the displayed tree structure is the same as the tree structure of the FT diagram expressed by ruled lines and character strings, but to make the tree structure easier to see, click the folder illustration displayed on the left side of the event with lower events. Then, it becomes possible to fold or expand the subordinate events.
  • the editing unit 22 has a function of correcting the tree structure on the display unit 4 while viewing the tree structure of the FT diagram displayed on the display unit 4.
  • the editing unit 22 reflects the changed content in the XML data.
  • FIG. 7 shows a state in which a lower event is added to the top event.
  • the left side in the figure is the display content of the display unit 4, and the right side in the figure is the XML data corresponding thereto. Further, the upper side in the figure shows a state before editing, and the lower side in the figure shows a state after editing (the same applies to FIGS. 8 to 10).
  • the editing unit 22 displays an editing menu (not shown) on the display unit 4.
  • the edit menu includes “Add”, and when the user selects it, a window for inputting event attributes opens.
  • the editing unit 22 causes the display unit 4 to display ⁇ event> below the top event.
  • the editing unit 22 reflects the content in the XML data in real time, and an element of ⁇ event> is added to the XML data as shown on the right side in the figure.
  • ⁇ event> is a subordinate event of the top event
  • the element of ⁇ event> is arranged under the top event start tag ⁇ FaultTreeNode>.
  • the top event end tag ⁇ / FaultTreeNode> is omitted.
  • FIG. 8 shows a state in which a lower event is deleted.
  • the editing unit 22 displays an editing menu (not shown) on the display unit 4.
  • the edit menu includes “delete”, and when the user selects this, the editing unit 22 deletes ⁇ event> in the display unit 4.
  • the editing unit 22 reflects the content in the XML data in real time, and the element of ⁇ event> is deleted from the XML data as shown on the right side in the figure.
  • FIG. 9 shows a state where the lower event is moved.
  • “event A”, “event B”, and “event C” are arranged in the same row below the top event.
  • the editing unit 22 changes “event A” to “event B” on the display unit 4. Move down.
  • the editing unit 22 reflects the contents in the XML data in real time, and as shown on the right side in the figure, the element of “event A” is “ It is moved between the start tag ⁇ FaultTreeNode> and the end tag ⁇ / FaultTreeNode> of “event B”.
  • FIG. 10 shows a state when a lower event is copied.
  • “event B” and “event C” are arranged in the same row below the top event, and “event A” is arranged below “event B”.
  • the editing unit 22 causes the display unit 4 to display an editing menu (not shown).
  • the editing menu includes “Copy” and “Paste”.
  • the editing unit 22 displays the display unit. 4, “event B” and “event A” are moved below “event C”.
  • the editing unit 22 reflects the contents in the XML data in real time, and, as shown on the right side in the figure, in the XML data, the ⁇ EventC> ⁇ FaultTreeNode > And an end tag ⁇ / FaultTreeNode> are added elements of “event B” and “event A”.
  • the editing function described here is a part of the function of the editing unit 22, but similarly for other functions, when the tree structure of the FT diagram is changed on the display unit 4, the changed content is changed to XML. Reflected in the data in real time.
  • the user does not need to be aware of the XML tag and the description method. If the tree structure displayed on the display unit 4 is edited on the display unit 4, the XML data can be easily rewritten. it can.
  • the event analysis unit 23 has a function of analyzing a unit of physical quantity and a failure value state from the label attribute of each event and adding a unit attribute and a qstate attribute to each event.
  • FIG. 11 is a flowchart showing the processing contents (program contents) of the event analysis unit 23.
  • the processing contents of the event analysis unit 23 will be described with reference to this.
  • the event analysis unit 23 extracts all events from the XML data and adds their label attributes to the event list in S21.
  • the event list is text data for the work of this analysis.
  • the event analysis unit 23 determines whether the event list is empty. If the event list is empty, the process ends. If the event list includes an event, the process proceeds to S23.
  • the event analysis unit 23 sets the event at the top of the list as a target event that is an event to be analyzed, and sets the content as a target character string.
  • the event analysis unit 23 searches for a fault value term from the rear side of the target character string as shown in FIG.
  • the search is performed by matching with the term dictionary using the term dictionary shown in FIG.
  • the fault value term is a term that indicates what state the physical quantity included in the event will cause the failure.For example, if the event is ⁇ high voltage '', it is ⁇ high '', ⁇ length '' If the event is “short”, “short” becomes the fault value term.
  • the event analysis unit 23 determines whether a fault value term has been found. If a fault value term is found, the process proceeds to S26, and if not, the process proceeds to S28.
  • the fault value state attribute corresponding to the found fault value term is read, and this is set as the qstate attribute of the event to be analyzed.
  • the qstate attribute is, for example, “+” if “high”, and “ ⁇ ” if “short”.
  • the event analysis unit 23 deletes the fault value term from the target character string.
  • the event analysis unit 23 further searches for a physical quantity term from the rear side of the target character string.
  • the term dictionary shown in FIG. 14 is used, and a physical quantity term is searched by matching with the term dictionary.
  • the physical quantity term is, for example, “voltage” if the event is “high voltage”, and “length” if the event is “short”.
  • the event analysis unit 23 determines whether a physical quantity term has been found. If a physical quantity term is found, the process proceeds to S30, and if not, the process proceeds to S31.
  • the event analysis unit 23 refers to the term dictionary shown in FIG. 14, reads the unit of the discovered physical quantity term, and sets this as the unit attribute of the event to be analyzed.
  • the attribute of the physical quantity term is, for example, “V” for “voltage” and “m” for “length”.
  • the consistency verification unit 24 verifies whether or not the lower event is appropriately developed based on the physical quantity relationship between the upper event and the lower event in the XML data before or after editing, and each event based on the verification result. Has a function to set the verification attribute.
  • FIG. 15 is a flowchart showing the processing contents (program contents) of the consistency verification unit 24.
  • the processing content of the consistency verification unit 24 will be described with reference to this.
  • the consistency verification unit 24 determines in S41 whether the event to be verified is a basic event.
  • a basic event is a subordinate event that does not have a subordinate event. If the event to be verified is a basic event, there is no point in verifying the consistency. Therefore, the process proceeds to S42, and the verification attribute of the event to be verified is set to 0 indicating “unverified”. If the event to be verified is not a basic event, the process proceeds to S43.
  • the consistency verification unit 24 determines whether any of the following is established. -The event to be verified does not include physical quantities. -None of the sub-events of the event to be verified contains physics.
  • the unit of the physical quantity of the event to be verified can be expressed by adding or subtracting the unit of the physical quantity of the lower event. That is, the physical quantity of the event to be verified and the physical quantity of the lower event are the same unit.
  • the unit of the physical quantity of the event to be verified can be expressed by multiplication / division or power multiplication of the unit of the physical quantity of the lower event. That is, the unit of the physical quantity of the event to be verified can be expressed using the unit of the physical quantity of the lower event.
  • This process is performed for all events included in the XML data, and the verification attribute is set for all events.
  • FIG. 16 shows the display on the display unit 4 and the XML data before and after the consistency verification.
  • the value of the verification attribute of each event is set, and the tree structure displayed on the display unit 4 is an illustration showing the verification result, for example, “match” indicates a circle, “invalid” A “match” is displayed on the right side of each event, and a “hyphen” is displayed on the right side of each event.
  • the user can easily know the possibility that the expansion of the sub-event has not been properly performed and the location where the expansion has not been appropriately performed, and can refer to it when correcting the FT diagram. .
  • the export unit 25 has a function of converting the XML data edited by the editing unit 22 into a data format of spreadsheet software.
  • FIG. 17 is a flowchart showing the processing contents (program contents) of the export unit 25.
  • the processing contents of the export unit 25 will be described with reference to this.
  • the export unit 25 determines whether a top event is included in the XML data in S51. If the top event is not included, the process ends. If the top event is included, the process proceeds to S52.
  • the export unit 25 prepares an empty sheet of spreadsheet software, and sets a predetermined cell at the upper left of the sheet as an editing target cell. Furthermore, the top event of the XML data is set as the target event.
  • the export unit 25 writes the contents of the label attribute of the target event in the edit target cell and surrounds the cell with a ruled line.
  • the export unit 25 determines whether there is a lower event in the target event. If there is a lower event, the process proceeds to S55, and if not, the process proceeds to S56.
  • the export unit 25 changes the editing target cell to a cell on the right side by a predetermined cell, and draws a ruled line extending to the cell.
  • the relationship between the target event and the lower event is a logical product
  • the character “AND” is written in the blank cell located above the ruled line. Then, the target event is changed to the lower event.
  • the process returns to S53, and the export unit 25 writes the contents of the label attribute of the target event in the edit target cell and surrounds the cell with a ruled line.
  • the export unit 25 determines whether the same event exists in the target event. If the same event exists, the process proceeds to S57, and if not, the process proceeds to S58.
  • the export unit 25 changes the cell to be edited to a cell lower by a predetermined cell, and draws a ruled line extending to the cell. Then, the target event is changed to the same event.
  • the process returns to S53, and the export unit 25 writes the contents of the label attribute of the target event in the edit target cell and surrounds the cell with a ruled line.
  • the export unit 25 moves the editing target cell to the cell corresponding to the upper event and changes the target event to the upper event corresponding to the cell.
  • the export unit 25 determines whether the target event is a top event. If it is not a top event, the process returns to S56, where it is further determined whether there is an event that is the same as the target event, and if it is determined that it is a top event, the process ends.
  • XML data is converted into the spreadsheet software data format.
  • FIG. 18 shows a state in which the XML data is converted into the data format of the spreadsheet software by the export unit 25.
  • the loss of transmission by the belt wheel is large which is the content of the label attribute of the top event, is written in a predetermined cell at the upper left of the spreadsheet sheet, and the cell is surrounded by a ruled line. ((1) in the figure).
  • a ruled line is drawn from the cell at the top event to the cell to the right of the three cells, and the label attribute of the lower event “Large slip amount” is written in the cell, and the cell is surrounded by the ruled line (in the figure) (2)).
  • a ruled line is drawn to the cell two cells below the cell where “slip amount is large” is written, and “high frictional force” which is the content of the label attribute of the same-line event is written to the cell,
  • the cell is surrounded by a ruled line ((3) in the figure).
  • the FT diagram is created on the spreadsheet sheet as described above.
  • the created data can be transferred to a server or personal computer outside the apparatus via the input / output unit.

Landscapes

  • Engineering & Computer Science (AREA)
  • Business, Economics & Management (AREA)
  • Entrepreneurship & Innovation (AREA)
  • Strategic Management (AREA)
  • Theoretical Computer Science (AREA)
  • Human Resources & Organizations (AREA)
  • Economics (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Operations Research (AREA)
  • Marketing (AREA)
  • Tourism & Hospitality (AREA)
  • General Business, Economics & Management (AREA)
  • Data Mining & Analysis (AREA)
  • General Engineering & Computer Science (AREA)
  • Biomedical Technology (AREA)
  • Health & Medical Sciences (AREA)
  • Development Economics (AREA)
  • Educational Administration (AREA)
  • Game Theory and Decision Science (AREA)
  • Document Processing Apparatus (AREA)

Abstract

This FT diagram creation assistance device is provided with: an editing unit which edits first data describing a tree structure of an FT diagram using a markup language in order to generate second data thereby; and an export unit which, on the basis of the second data, represents the tree structure of the FT diagram with ruled lines and character strings upon the sheet of the spreadsheet software in order to generate third data.

Description

FT図作成支援装置及びFT図作成支援プログラムFT diagram creation support device and FT diagram creation support program
 本発明は、装置、システム等の不具合の発生原因を解析し、その信頼性を向上させる技術に関する。 The present invention relates to a technique for analyzing the cause of failure of a device, system, etc. and improving its reliability.
 故障木解析(Fault Tree Analysis、FTA)は、故障事象をその原因となる下位事象の論理和(OR)又は論理積(AND)に展開してツリー構造(以下、「FT図」という。)とし、下位事象の中から重大な原因を抽出し、故障発生を防ぐために設計の見直しを図るという手法である。FT図の作成には、その分野の幅広い知識、高い専門性が要求されるため、FT図の作成を支援する技術が求められている(JP2009-289020A)。 Fault tree analysis (Fault Tree Analysis, FTA) expands a failure event into a logical sum (OR) or logical product (AND) of lower-level events that cause the failure event to form a tree structure (hereinafter referred to as “FT diagram”). This is a method of extracting a serious cause from subordinate events and revising the design to prevent the occurrence of a failure. Since creation of an FT diagram requires a wide range of knowledge and high expertise in that field, a technology that supports the creation of an FT diagram is required (JP2009-289020A).
 図19は、FT図の例である。この例は、「ベルト車による伝動の損失が大きい」という故障事象を解析したものである。この故障事象は、「すべり量が大きい」場合又は「摩擦力が大きい」場合に発生するので、「すべり量が大きい」及び「摩擦力が大きい」が故障事象の下位事象となり、それらの関係は論理和となる。 FIG. 19 is an example of an FT diagram. In this example, the failure event “the transmission loss by the belt vehicle is large” is analyzed. Since this failure event occurs when “slip amount is large” or “friction force is large”, “slip amount is large” and “friction force is large” are subordinate events of the failure event, and their relationship is Logical OR.
 そして、「摩擦力が大きい」という事象は、「抗力が大きい」場合又は「摩擦係数が大きい」場合に発生するので、「摩擦力が大きい」及び「摩擦係数が大きい」が「摩擦力が大きい」の下位事象となり、それらの関係は論理和となる。そして、「抗力が大きい」という事象は「ベルト張力が大きい」場合に発生するので、「ベルト張力が大きい」が「抗力が大きい」の下位事象となる。 And, the phenomenon that “the friction force is large” occurs when “the drag force is large” or “the friction coefficient is large”, so that “the friction force is large” and “the friction coefficient is large” are “the friction force is large”. Are subordinate events, and their relationship is a logical sum. Since the event “high drag” occurs when “belt tension is high”, “high belt tension” is a subordinate event of “high drag”.
 これら事象のうち、下位に事象を有さない「すべり量が大きい」、「ベルト張力が大きい」及び「摩擦係数が大きい」という事象は、基本事象と呼ばれ、故障事象の発生を防ぐためには、これら基本事象についての対策を検討すればよい。 Among these events, events that have no event in the lower level, such as “slip amount is large”, “belt tension is large” and “friction coefficient is large” are called basic events, and in order to prevent the occurrence of failure events Measures against these basic events should be considered.
 なお、この例では、上位事象と下位事象とは罫線で接続されるだけで、同列の下位事象が論理和及び論理積のいずれであるかは記述されていない。これは、同列の下位事象は多くの場合が論理和であるので、論理和の場合は上位事象と下位事象との間及び同列の下位事象の間を罫線で接続するのみとし、論理積である場合は上位事象と下位事象とを接続する罫線の脇に論理積であることを示す「AND」を記述するようにしているからである。 In this example, the upper event and the lower event are simply connected by a ruled line, and it is not described whether the lower event in the same row is a logical sum or logical product. This is a logical product of the lower-order events in the same row, since in many cases the logical sum is used, the logical sum is simply connected between the higher-order event and the lower-order event and between the lower-order events in the same row with ruled lines. This is because “AND” indicating a logical product is described beside the ruled line connecting the upper event and the lower event.
 FT図は、マイクロソフト社のExcel(登録商標)をはじめとする、表計算ソフトの罫線機能を用いて作成されることが多い。これは、表計算ソフトの普及率が高く、また、普及率の高さ故、ある技術者が作成したFT図を他の技術者が利用するのに適しているからである。 FT diagrams are often created using the ruled line function of spreadsheet software such as Microsoft's Excel (registered trademark). This is because the spread rate of spreadsheet software is high, and because the spread rate is high, it is suitable for another engineer to use an FT diagram created by a certain engineer.
 しかしながら、表計算ソフトを用いたFT図の作成は効率の良いものではなく、特に、一旦作成されたFT図を修正したい場合(事象の追加、削除等)は、手間がかかるという問題があった。 However, the creation of an FT diagram using spreadsheet software is not efficient, and there is a problem that it takes time and effort, especially when it is desired to modify the FT diagram once created (addition, deletion, etc.). .
 本発明の目的は、FT図の編集を容易に行えるようにすることである。 An object of the present invention is to make it easy to edit an FT diagram.
 本発明のある態様によれば、FT図作成支援装置であって、FT図のツリー構造をマークアップ言語で記述する第1のデータを編集し、これによって第2のデータを生成する編集部と、前記第2のデータに基づき表計算ソフトのシート上に罫線と文字列とで前記FT図のツリー構造を表現し、これによって第3のデータを生成するエクスポート部と、を備えたFT図作成支援装置が提供される。 According to an aspect of the present invention, there is provided an FT diagram creation support device that edits first data describing a tree structure of an FT diagram in a markup language, thereby generating second data. FT diagram creation comprising: an export unit for expressing a tree structure of the FT diagram by ruled lines and character strings on a sheet of spreadsheet software based on the second data, thereby generating third data A support device is provided.
 本発明の別の態様によれば、コンピュータに、FT図のツリー構造をマークアップ言語で記述する第1のデータを編集し、これによって第2のデータを生成する編集処理機能と、前記第2のデータに基づき表計算ソフトのシート上に罫線と文字列とで前記FT図のツリー構造を表現し、これによって第3のデータを生成するエクスポート機能と、を実現させるためのプログラムが提供される。 According to another aspect of the present invention, a computer edits first data describing a tree structure of an FT diagram in a markup language, thereby generating second data, and the second processing function described above. A program for realizing the export function for expressing the tree structure of the FT diagram by ruled lines and character strings on the sheet of the spreadsheet software based on the data and generating third data thereby is provided. .
 これらの態様よれば、FT図の編集を容易に行うことができる。 According to these aspects, the FT diagram can be easily edited.
 本発明の実施形態及び本発明の利点については、添付された図面を参照しながら以下に詳細に説明する。 Embodiments of the present invention and advantages of the present invention will be described in detail below with reference to the accompanying drawings.
図1は、FT図作成支援装置の全体構成図である。FIG. 1 is an overall configuration diagram of an FT diagram creation support apparatus. 図2は、FT図作成支援装置の機能を説明するための図である。FIG. 2 is a diagram for explaining the function of the FT diagram creation support apparatus. 図3は、インポート部の処理内容を示したフローチャートである。FIG. 3 is a flowchart showing the processing contents of the import unit. 図4は、インポート部によって表計算ソフトで作成されたFT図のデータから事象が探索される様子を示した図である。FIG. 4 is a diagram showing a state in which an event is searched from data of an FT diagram created by spreadsheet software by the import unit. 図5は、インポート処理によって生成されたXMLデータを示した図である。FIG. 5 is a diagram showing XML data generated by the import process. 図6は、表示部に表示されるツリー構造の例である。FIG. 6 is an example of a tree structure displayed on the display unit. 図7は、頂上事象に下位事象を追加する場合の様子を示した図である。FIG. 7 is a diagram illustrating a state in which a lower event is added to the top event. 図8は、下位事象を削除する場合の様子を示した図である。FIG. 8 is a diagram illustrating a state in which a lower event is deleted. 図9は、下位事象を移動する場合の様子を示した図である。FIG. 9 is a diagram illustrating a state in which a lower event is moved. 図10は、下位事象をコピーする場合の様子を示した図である。FIG. 10 is a diagram illustrating a state in which a lower event is copied. 図11は、事象解析部の処理内容を示したフローチャートである。FIG. 11 is a flowchart showing the processing contents of the event analysis unit. 図12は、事象解析部による解析の様子を示した図である。FIG. 12 is a diagram showing the state of analysis by the event analysis unit. 図13は、故障値用語の用語辞書の例を示した図である。FIG. 13 is a diagram showing an example of a term dictionary of fault value terms. 図14は、物理量用語の用語辞書の例を示した図である。FIG. 14 is a diagram illustrating an example of a term dictionary of physical quantity terms. 図15は、整合性検証部の処理内容を示したフローチャートである。FIG. 15 is a flowchart showing the processing contents of the consistency verification unit. 図16は、整合性検証前後の表示部の表示及びXMLデータを示した図である。FIG. 16 is a diagram showing display on the display unit and XML data before and after the consistency verification. 図17は、エクスポート部の処理内容を示したフローチャートである。FIG. 17 is a flowchart showing the processing contents of the export unit. 図18は、エクスポート部によって、XMLデータが表計算ソフトのデータ形式に変換される様子を示した図である。FIG. 18 is a diagram showing how the XML data is converted into the data format of the spreadsheet software by the export unit. 図19は、FT図の一例を示した図である。FIG. 19 is a diagram showing an example of an FT diagram.
 <全体構成>
 図1はFT図作成支援装置100の全体構成を示している。本装置100は、入出力部1、処理部2、記憶部3、表示部4及び操作部5を有し、図2に示すように、以下の機能:
 ・表計算ソフト(例えば、マクロソフト社のExcel(登録商標)で作成されたFT図のデータをインポートし、マークアップ言語で記述されたデータに変換するインポート機能
 ・マークアップ言語で記述されたFT図を表示部4上で編集する編集機能
 ・マークアップ言語で記述されたFT図の事象の具体的内容を解析する事象解析機能
 ・編集前又は編集後のマークアップ言語で記述されたFT図の整合性(下位事象の展開が正しいか否か)を検証する整合性検証機能
 ・編集後のマークアップ言語で記述されたFT図のデータを、表計算ソフトのデータ形式に変換し、エクスポートするエクスポート機能
を有している。
<Overall configuration>
FIG. 1 shows the overall configuration of the FT diagram creation support apparatus 100. The apparatus 100 includes an input / output unit 1, a processing unit 2, a storage unit 3, a display unit 4, and an operation unit 5, and as shown in FIG.
-Import function that imports FT diagram data created by Excel (registered trademark) of Macrosoft Corporation and converts it into data written in markup language-FT written in markup language Editing function for editing a diagram on the display unit 4 Event analysis function for analyzing the specific contents of an event of an FT diagram described in a markup language FT of an FT diagram described in a markup language before or after editing Consistency verification function for verifying consistency (whether or not the development of subordinate events is correct)-FT diagram data described in the markup language after editing is converted into a spreadsheet software data format and exported It has a function.
 「表計算ソフトで作成されたFT図のデータ」とは、表計算ソフトのシート上に罫線と文字列とでツリー構造が表現されたFT図のデータのことである。図19に示すように、罫線で囲まれたセル内に記入された文字列を事象とみなし、各事象の間を罫線で接続することでFT図のツリー構造を表現している。 “The data of the FT diagram created by the spreadsheet software” is the data of the FT diagram in which the tree structure is expressed by ruled lines and character strings on the sheet of the spreadsheet software. As shown in FIG. 19, a character string written in a cell surrounded by a ruled line is regarded as an event, and the tree structure of the FT diagram is expressed by connecting each event with a ruled line.
 「マークアップ言語で記述されたFT図のデータ」とは、本実施形態では、XML(Extensible Markup Language)データであり、FT図の各事象の内容及びそれらのツリー構造を、タグを利用して記述する。なお、以下の説明では、「マークアップ言語で記述されたFT図のデータ」がXMLデータであるとして説明する。 In this embodiment, “FT diagram data described in a markup language” is XML (Extensible Markup Language) data, and the contents of each event of the FT diagram and their tree structure are used using tags. Describe. In the following description, “FT diagram data described in a markup language” is assumed to be XML data.
 XMLデータにおいては、各事象の要素は、開始タグ<FaultTreeNode>と終了タグ</FaultTreeNode>とで構成される。開始タグ<FaultTreeNode>には、対応する事象の種々の属性(事象の内容を示すlabel属性、事象が扱う物理量の単位を示すunit属性、事象の故障値状態を示すqstate属性、下位事象の関係が論理和か論理積かを示すlogic属性、物理量の整合性検証結果を示すverification属性)が含まれる。 In XML data, each event element is composed of a start tag <FaultTreeNode> and an end tag </ FaultTreeNode>. In the start tag <FaultTreeNode>, there are various attributes of the corresponding event (label attribute indicating the contents of the event, unit attribute indicating the unit of physical quantity handled by the event, qstate attribute indicating the fault value state of the event, and the relationship between the lower events Logic attribute indicating logical sum or logical product and verification attribute indicating physical quantity consistency verification result) are included.
 下位事象と上位事象との上下関係は、上位事象の開始タグ<FaultTreeNode>と終了タグ</FaultTreeNode>との間に下位事象の要素を配置することで表現される。また、同列の事象はそれらの要素を並列に配置することで表現される。 The vertical relationship between the lower event and the higher event is expressed by placing the lower event element between the start tag <FaultTreeNode> and the end tag </ FaultTreeNode> of the higher event. In addition, events in the same row are expressed by arranging those elements in parallel.
 なお、終了タグ</FaultTreeNode>は、開始タグ<FaultTreeNode>のみで事象間の関係が明確である場合は適宜省略可能である。 The end tag </ FaultTreeNode> can be omitted as appropriate when the relationship between events is clear only with the start tag <FaultTreeNode>.
 本装置100を構成する各部位について説明すると、入出力部1は、有線又は無線のネットワークインターフェース、カードリーダ、USBコネクタ、Bluetooth(登録商標)等である。入出力部1は、外部のサーバ、パソコン等とデータをやりとりするために用いられる。主にやりとりするデータは、本装置100にインポートするための表計算ソフトで作成されたFT図のデータ、及び、本装置100で編集又は作成され、本装置100からエクスポートするための表計算ソフトのデータ形式のFT図のデータである。 Describing each part constituting the apparatus 100, the input / output unit 1 is a wired or wireless network interface, a card reader, a USB connector, Bluetooth (registered trademark), or the like. The input / output unit 1 is used for exchanging data with an external server, personal computer or the like. The data to be exchanged mainly includes FT diagram data created by spreadsheet software for importing into the apparatus 100, and spreadsheet software edited or created by the apparatus 100 and exported from the apparatus 100. FT diagram data in data format.
 処理部2は、マイクロプロセッサ、RAM、ROM等で構成される。マイクロプロセッサは、ROM又は後述する記憶部3に記憶されているプログラムをRAMに読み込んで実行することによって、上記各機能を実現するインポート部21、編集部22、事象解析部23、整合性検証部24及びエクスポート部25として機能する。各部の具体的な処理内容については後述する。 The processing unit 2 includes a microprocessor, RAM, ROM, and the like. The microprocessor reads the program stored in the ROM or the storage unit 3 (to be described later) into the RAM and executes it, thereby executing the import unit 21, the editing unit 22, the event analysis unit 23, and the consistency verification unit. 24 and the export unit 25. Specific processing contents of each unit will be described later.
 記憶部3は、ハードディスク、フラッシュメモリ等の記憶装置である。記憶部3は、処理部2の処理において必要なデータ及びプログラムを記憶する。 The storage unit 3 is a storage device such as a hard disk or a flash memory. The storage unit 3 stores data and programs necessary for the processing of the processing unit 2.
 表示部4は、液晶ディスプレイ等の表示装置である。表示部4は、FT図のツリー構造、FT図の整合性検証結果、編集又は作成中のXMLデータ等を表示する。 The display unit 4 is a display device such as a liquid crystal display. The display unit 4 displays the tree structure of the FT diagram, the consistency verification result of the FT diagram, the XML data being edited or created, and the like.
 操作部5は、キーボード、マウス、タッチパネル等の入力装置である。操作部5は、ユーザーからの各種操作を受け付ける。 The operation unit 5 is an input device such as a keyboard, a mouse, and a touch panel. The operation unit 5 receives various operations from the user.
 次に、処理部2の各部の処理内容について説明する。 Next, the processing contents of each unit of the processing unit 2 will be described.
 <インポート部21>
 インポート部21は、表計算ソフトで作成されたFT図のデータを入出力部1を介して読み込み、これをXMLデータに変換する機能を有する。
<Import unit 21>
The import unit 21 has a function of reading the data of the FT diagram created by the spreadsheet software through the input / output unit 1 and converting the data into XML data.
 図3は、インポート部21の処理内容(プログラムの内容)を示したフローチャートである。これを参照しながら、インポート部21の処理内容について説明する。 FIG. 3 is a flowchart showing the processing contents (program contents) of the import unit 21. The processing contents of the import unit 21 will be described with reference to this.
 まず、インポート部21は、S1において、表計算ソフトで作成されたFT図から、頂上事象を探索する。頂上事象とはその上位にさらに別の事象がない事象である。具体的には、インポート部21は、シートの左上から順に罫線に囲まれたセルを探索する。なお、事象が複数のセルを使って記載されることもあるが、ここでは説明を簡略化するために、単一のセルに記載される場合に限定して説明する。 First, the import unit 21 searches for a top event from an FT diagram created by spreadsheet software in S1. A top event is an event in which there is no further event above it. Specifically, the import unit 21 searches for cells surrounded by ruled lines in order from the upper left of the sheet. Although an event may be described using a plurality of cells, here, in order to simplify the description, the description is limited to a case where the event is described in a single cell.
 S2では、インポート部21は、頂上事象が発見されたか判断する。頂上事象が発見されたと判断された場合は、処理がS3に進み、そうでない場合は処理が終了する。 In S2, the import unit 21 determines whether a top event has been found. If it is determined that a top event has been found, the process proceeds to S3, and if not, the process ends.
 S3では、インポート部21は、発見された頂上事象のセルを分析対象セルとして設定する。また、インポート部21は、FT図のデータであることを示す開始タグ<FaultTreeDocument>及び終了タグ</FaultTreeDocument>を含んだXMLデータを用意し、当該XMLデータに頂上事象を追加する。具体的には、開始タグ<FaultTreeNode>及び終了タグ</FaultTreeNode>からなる頂上事象の要素を、開始タグ<FaultTreeDocument>と終了タグ</FaultTreeDocument>との間に追加する。 In S3, the import unit 21 sets the found top event cell as an analysis target cell. Further, the import unit 21 prepares XML data including a start tag <FaultTreeDocument> and an end tag </ FaultTreeDocument> indicating that the data is FT diagram data, and adds a top event to the XML data. Specifically, the top event element including the start tag <FaultTreeNode> and the end tag </ FaultTreeNode> is added between the start tag <FaultTreeDocument> and the end tag </ FaultTreeDocument>.
 S4では、インポート部21は、分析対象セルから文字列を取得し、分析対象セルに対応する事象のlabel属性として取得した文字列を設定する。さらに、インポート部21は、分析対象セルの右側の領域を探索し、「AND」の文字列があれば分析対象セルに対応する事象の下位事象が論理積であると判断し、なければ論理和であると判断する。そして、インポート部21は、分析対象セルに対応する事象のlogic属性として、論理和であれば「OR」、論理積であれば「AND」を設定する。 In S4, the import unit 21 acquires a character string from the analysis target cell, and sets the acquired character string as the label attribute of the event corresponding to the analysis target cell. Further, the import unit 21 searches the area on the right side of the analysis target cell. If there is a character string “AND”, the import unit 21 determines that the lower event of the event corresponding to the analysis target cell is a logical product. It is judged that. Then, the import unit 21 sets “OR” for the logical sum and “AND” for the logical product as the logic attribute of the event corresponding to the analysis target cell.
 S5では、インポート部21は、分析対象セルの下位事象を探索する。具体的には、分析対象セルから右側に延びる罫線を辿り、その先にある罫線で囲まれたセルを探索する。 In S5, the import unit 21 searches for a lower event of the analysis target cell. Specifically, a ruled line extending to the right side from the analysis target cell is traced, and a cell surrounded by the ruled line ahead is searched.
 S6では、インポート部21は、下位事象が発見されたか判断する。下位事象が発見されたと判断された場合は処理がS7に進み、そうでない場合は処理がS8に進む。 In S6, the import unit 21 determines whether a lower event has been found. If it is determined that a subordinate event has been found, the process proceeds to S7, and if not, the process proceeds to S8.
 S7では、インポート部21は、発見された下位事象のセルを分析対象セルに設定し、XMLデータに下位事象を追加する。XMLデータにおいて、下位事象の要素は、上位事象の開始タグ<FaultTreeNode>と終了タグ</FaultTreeNode>との間に配置され、これによって下位事象であることが表現される。そして、処理がS4に戻り、当該下位事象にlabel属性が設定され、さらに下位の事象の探索が行われる。 In S7, the import unit 21 sets the discovered lower event cell as the analysis target cell, and adds the lower event to the XML data. In the XML data, the element of the lower event is arranged between the start tag <FaultTreeNode> and the end tag </ FaultTreeNode> of the upper event, thereby expressing that it is a lower event. Then, the process returns to S4, the label attribute is set for the lower event, and further lower events are searched.
 インポート部21は、下位事象が発見されなくなるまでS4~S7の処理を繰り返す。 The import unit 21 repeats the processes from S4 to S7 until no lower events are found.
 S8では、インポート部21は、分析対象セルと同列の事象(以下、同列事象という。)を探索する。具体的には、分析対象セルから左側に延びる罫線から下側に分岐する罫線を辿り、その先にある罫線で囲まれたセルを探索する。 In S8, the import unit 21 searches for an event in the same row as the analysis target cell (hereinafter referred to as the same row event). Specifically, a ruled line branching downward from a ruled line extending to the left from the analysis target cell is traced, and a cell surrounded by a ruled line ahead of the ruled line is searched.
 S9では、インポート部21は、同列事象が発見されたか判断する。同列事象が発見されたと判断された場合は処理がS10に進み、そうでない場合は処理がS11に進む。 In S9, the import unit 21 determines whether the same event has been found. If it is determined that a similar event has been found, the process proceeds to S10; otherwise, the process proceeds to S11.
 S10では、インポート部21は、発見された同列事象のセルを分析対象セルに設定し、XMLデータに同列事象を追加する。同列事象の要素は他の同列事象の要素と並列になるように配置され、これによって同列事象であることが表現される。そして、処理がS4に戻り、当該同列事象にlabel属性が設定され、再び下位事象及び同列事象の探索が行われる。 In S10, the import unit 21 sets a cell of the found same-order event as an analysis target cell, and adds the same-order event to the XML data. Elements of the same event are arranged so as to be in parallel with other elements of the same event, thereby expressing that they are the same event. Then, the process returns to S4, the label attribute is set for the same event, and the lower event and the same event are searched again.
 インポート部21は、同列事象が発見されなくなるまでS4~S10の処理を繰り返す。 The import unit 21 repeats the processes from S4 to S10 until no parallel event is found.
 S11では、インポート部21は、直前に発見された同列事象の上位事象を分析対象セルに設定する。そして、S12では、インポート部21は、当該分析対象セルに対応する事象が頂上事象か判断し、頂上事象であれば処理を終了し、そうでなければS8に戻って再び同列事象の探索を行う。 In S11, the import unit 21 sets the upper event of the same-line event found immediately before in the analysis target cell. In S12, the import unit 21 determines whether the event corresponding to the analysis target cell is a top event. If the event is a top event, the import unit 21 ends the process. If not, the import unit 21 returns to S8 and searches for the same event again. .
 以上の処理により、表計算ソフトで作成されたFT図のデータがXMLデータに変換される。 FT diagram data created with spreadsheet software is converted to XML data by the above processing.
 図4は、インポート部21によって、表計算ソフトで作成されたFT図のデータから事象が探索される様子を示している。 FIG. 4 shows how the import unit 21 searches for events from the data of the FT diagram created by the spreadsheet software.
 上記処理によれば、まず、「ベルト車による伝動の損失が大きい」と記載されたセルが発見され(図中(1))、XMLデータに頂上事象「ベルト車による伝動の損失が大きい」が追加される。 According to the above processing, first, a cell described as “the transmission loss by the belt vehicle is large” was found ((1) in the figure), and the top event “the transmission loss by the belt vehicle is large” in the XML data. Added.
 次いで、その右側に配置される「すべり量が大きい」と記載されたセルが発見され(図中(2))、XMLデータに下位事象「すべり量が大きい」が追加される。 Next, a cell described as “the slip amount is large” arranged on the right side is found ((2) in the figure), and the lower event “the slip amount is large” is added to the XML data.
 「すべり量が大きい」と記載されたセルの右側にはさらに別の事象のセルが存在しないので、次はこれと同列のセルが検索され、「摩擦力が大きい」と記載されたセルが発見される(図中(3))。そして、XMLデータに同列事象「摩擦力が大きい」が追加される。 Since there is no cell for another event on the right side of the cell described as “Large slip amount”, a cell in the same row is searched next, and a cell described as “high frictional force” is found. ((3) in the figure). Then, the same event “high frictional force” is added to the XML data.
 同様にして、「抗力が大きい」、「ベルト張力が大きい」及び「摩擦係数が大きい」と記載されたセルが発見され(図中(4)、(5))、XMLデータに下位事象「抗力が大きい」、下位事象「ベルト張力が大きい」、及び、同列事象「摩擦係数が大きい」が追加される。 In the same manner, the cells described as “high drag”, “high belt tension”, and “high friction coefficient” were found ((4) and (5) in the figure), and the subordinate event “drag in the XML data was found. Is added ", a sub-event" high belt tension ", and a parallel event" high friction coefficient "are added.
 図5は、インポート処理によって生成されたXMLデータを示している。FT図のツリー構造はタグ<FaultTreeNode></FaultTreeNode>の包含関係によって表現され、また、各事象は、label属性、logic属性、verification属性を有している。ただし、物理量の整合性検証はまだ行われていないので、verification属性には仮の値が入っている。 FIG. 5 shows the XML data generated by the import process. The tree structure of the FT diagram is expressed by the inclusion relationship of the tags <FaultTreeNode> </ FaultTreeNode>, and each event has a label attribute, a logic attribute, and a verification attribute. However, since the physical quantity consistency verification has not yet been performed, the verification attribute contains a temporary value.
 また、表示部4には、ツリー構造が図6に示すような形式で表示される。表示されるツリー構造は罫線及び文字列で表現されたFT図のツリー構造と同じものであるが、ツリー構造を見やすくするために、下位事象を有する事象の左側に表示されるフォルダのイラストをクリックすると、下位事象を折りたたむ又は展開することが可能になっている。 Further, the display unit 4 displays the tree structure in a format as shown in FIG. The displayed tree structure is the same as the tree structure of the FT diagram expressed by ruled lines and character strings, but to make the tree structure easier to see, click the folder illustration displayed on the left side of the event with lower events. Then, it becomes possible to fold or expand the subordinate events.
 <編集部22>
 編集部22は、表示部4に表示されたFT図のツリー構造を見ながら、表示部4上でツリー構造の修正を行う機能を有する。ユーザーが操作部5を操作することによって表示部4上でFT図のツリー構造を変更すると、編集部22は、その変更内容をXMLデータに反映する。
<Editor 22>
The editing unit 22 has a function of correcting the tree structure on the display unit 4 while viewing the tree structure of the FT diagram displayed on the display unit 4. When the user changes the tree structure of the FT diagram on the display unit 4 by operating the operation unit 5, the editing unit 22 reflects the changed content in the XML data.
 以下、代表的な編集機能について説明する。 The following describes typical editing functions.
 -下位事象の追加-
 図7は、頂上事象に下位事象を追加する場合の様子を示している。図中左側は表示部4の表示内容であり、図中右側はこれに対応するXMLデータである。また、図中上側は編集前の状態、図中下側は編集後の状態を示している(図8~図10も同様)。
-Addition of subordinate events-
FIG. 7 shows a state in which a lower event is added to the top event. The left side in the figure is the display content of the display unit 4, and the right side in the figure is the XML data corresponding thereto. Further, the upper side in the figure shows a state before editing, and the lower side in the figure shows a state after editing (the same applies to FIGS. 8 to 10).
 ユーザーが表示部4上で頂上事象を選択すると、編集部22は表示部4に編集メニュー(不図示)を表示させる。編集メニューには「追加」が含まれ、ユーザーがこれを選択すると、事象の属性を入力するウインドウが開く。そして、ユーザーがlabel属性等の属性を入力すると、編集部22は、表示部4において、頂上事象の下位に<事象>を表示させる。 When the user selects the top event on the display unit 4, the editing unit 22 displays an editing menu (not shown) on the display unit 4. The edit menu includes “Add”, and when the user selects it, a window for inputting event attributes opens. When the user inputs an attribute such as a label attribute, the editing unit 22 causes the display unit 4 to display <event> below the top event.
 表示部4上でこのような編集作業が行われると、編集部22は、その内容をリアルタイムでXMLデータに反映し、図中右側に示すように、<事象>の要素がXMLデータに追加される。<事象>は頂上事象の下位事象であるので、<事象>の要素は、頂上事象の開始タグ<FaultTreeNode>の下に配置される。なお、この例では、頂上事象の終了タグ</FaultTreeNode>は省略されている。 When such an editing operation is performed on the display unit 4, the editing unit 22 reflects the content in the XML data in real time, and an element of <event> is added to the XML data as shown on the right side in the figure. The Since <event> is a subordinate event of the top event, the element of <event> is arranged under the top event start tag <FaultTreeNode>. In this example, the top event end tag </ FaultTreeNode> is omitted.
 -下位事象の削除-
 図8は、下位事象を削除する場合の様子を示している。
-Deletion of lower events-
FIG. 8 shows a state in which a lower event is deleted.
 ユーザーが表示部4上で<事象>を選択すると、編集部22は表示部4に編集メニュー(不図示)を表示させる。編集メニューには「削除」が含まれ、ユーザーがこれを選択すると、編集部22は、表示部4において、<事象>を消去する。 When the user selects <Event> on the display unit 4, the editing unit 22 displays an editing menu (not shown) on the display unit 4. The edit menu includes “delete”, and when the user selects this, the editing unit 22 deletes <event> in the display unit 4.
 表示部4上でこのような編集作業が行われると、編集部22は、その内容をリアルタイムでXMLデータに反映し、図中右側に示すように、XMLデータから<事象>の要素が削除される。 When such an editing operation is performed on the display unit 4, the editing unit 22 reflects the content in the XML data in real time, and the element of <event> is deleted from the XML data as shown on the right side in the figure. The
 -事象の移動-
 図9は、下位事象を移動する場合の様子を示している。
-Movement of events-
FIG. 9 shows a state where the lower event is moved.
 この例では、頂上事象の下位に、「事象A」、「事象B」及び「事象C」が同列に配置されている。ユーザーがその中の一つである「事象A」を選択し、「事象B」の上にドラッグしてドロップすると、編集部22は、表示部4において、「事象A」を「事象B」の下位に移動させる。 In this example, “event A”, “event B”, and “event C” are arranged in the same row below the top event. When the user selects “event A” which is one of them, and drags and drops it on “event B”, the editing unit 22 changes “event A” to “event B” on the display unit 4. Move down.
 表示部4上でこのような編集作業が行われると、編集部22は、その内容をリアルタイムでXMLデータに反映し、図中右側に示すように、XMLデータにおいて「事象A」の要素が「事象B」の開始タグ<FaultTreeNode>と終了タグ</FaultTreeNode>との間に移動される。 When such an editing operation is performed on the display unit 4, the editing unit 22 reflects the contents in the XML data in real time, and as shown on the right side in the figure, the element of “event A” is “ It is moved between the start tag <FaultTreeNode> and the end tag </ FaultTreeNode> of “event B”.
 -事象のコピー-
 図10は、下位事象をコピーする場合の様子を示している。
-Copy event-
FIG. 10 shows a state when a lower event is copied.
 この例では、頂上事象の下位に、「事象B」及び「事象C」が同列に配置され、「事象B」の下位には「事象A」が配置される。ユーザーが表示部4上で「事象B」を選択すると、編集部22は、表示部4に編集メニュー(不図示)を表示させる。編集メニューには「コピー」と「ペースト」が含まれ、ユーザーが「コピー」を選択し、かつ、続けて「事象C」を選択して「ペースト」を選択すると、編集部22は、表示部4において、「事象C」の下位に「事象B」及び「事象A」を移動させる。 In this example, “event B” and “event C” are arranged in the same row below the top event, and “event A” is arranged below “event B”. When the user selects “Event B” on the display unit 4, the editing unit 22 causes the display unit 4 to display an editing menu (not shown). The editing menu includes “Copy” and “Paste”. When the user selects “Copy” and subsequently selects “Event C” and selects “Paste”, the editing unit 22 displays the display unit. 4, “event B” and “event A” are moved below “event C”.
 表示部4上でこのような編集作業が行われると、編集部22は、その内容をリアルタイムでXMLデータに反映し、図中右側に示すように、XMLデータにおいて、「事象C」の<FaultTreeNode>と終了タグ</FaultTreeNode>との間に「事象B」及び「事象A」の要素が追加される。 When such an editing operation is performed on the display unit 4, the editing unit 22 reflects the contents in the XML data in real time, and, as shown on the right side in the figure, in the XML data, the <EventC> <FaultTreeNode > And an end tag </ FaultTreeNode> are added elements of “event B” and “event A”.
 ここで説明した編集機能は、編集部22が有する機能の一部であるが、その他の機能についても同様に、表示部4上でFT図のツリー構造が変更されると、その変更内容がXMLデータにリアルタイムで反映される。 The editing function described here is a part of the function of the editing unit 22, but similarly for other functions, when the tree structure of the FT diagram is changed on the display unit 4, the changed content is changed to XML. Reflected in the data in real time.
 したがって、XMLデータを編集するにあたり、ユーザーがXMLタグや記述方法を意識する必要はなく、表示部4に表示されるツリー構造を表示部4上で編集すれば、XMLデータを容易に書き換えることができる。 Therefore, when editing the XML data, the user does not need to be aware of the XML tag and the description method. If the tree structure displayed on the display unit 4 is edited on the display unit 4, the XML data can be easily rewritten. it can.
 なお、ここでは、インポート処理によって得られるXMLデータを編集するとして説明したが、インポートすることなく、編集部22でXMLデータを新規に作成することも可能である。 Note that, here, the XML data obtained by the import process has been described as being edited, but it is also possible to create new XML data by the editing unit 22 without importing.
 <事象解析部23>
 事象解析部23は、各事象のlabel属性から、物理量の単位、及び、故障値状態を解析し、各事象にunit属性、qstate属性を追加する機能を有する。
<Event analysis unit 23>
The event analysis unit 23 has a function of analyzing a unit of physical quantity and a failure value state from the label attribute of each event and adding a unit attribute and a qstate attribute to each event.
 図11は、事象解析部23の処理内容(プログラムの内容)を示したフローチャートである。これを参照しながら、事象解析部23の処理内容について説明する。 FIG. 11 is a flowchart showing the processing contents (program contents) of the event analysis unit 23. The processing contents of the event analysis unit 23 will be described with reference to this.
 まず、事象解析部23は、S21で、XMLデータから、全事象を抽出し、それらのlabel属性を事象リストに追加する。事象リストとは、本解析の作業用のテキストデータである。 First, the event analysis unit 23 extracts all events from the XML data and adds their label attributes to the event list in S21. The event list is text data for the work of this analysis.
 S22では、事象解析部23は、事象リストが空か判断する。事象リストが空の場合は処理が終了し、事象リストに事象が含まれている場合は処理がS23に進む。 In S22, the event analysis unit 23 determines whether the event list is empty. If the event list is empty, the process ends. If the event list includes an event, the process proceeds to S23.
 S23では、事象解析部23は、リスト先頭の事象を解析対象の事象である対象事象とし、その内容を対象文字列として設定する。 In S23, the event analysis unit 23 sets the event at the top of the list as a target event that is an event to be analyzed, and sets the content as a target character string.
 S24では、事象解析部23は、図12に示すように、対象文字列の後ろ側から故障値用語を検索する。検索は、図13に示す用語辞書を用い、用語辞書とのマッチングにより行う。故障値用語とは、事象に含まれる物理量がどのような状態になったら故障の原因となるかを示す用語であり、例えば、「電圧が高い」という事象であれば「高い」、「長さが短い」という事象であれば「短い」が故障値用語となる。 In S24, the event analysis unit 23 searches for a fault value term from the rear side of the target character string as shown in FIG. The search is performed by matching with the term dictionary using the term dictionary shown in FIG. The fault value term is a term that indicates what state the physical quantity included in the event will cause the failure.For example, if the event is `` high voltage '', it is `` high '', `` length '' If the event is “short”, “short” becomes the fault value term.
 S25では、事象解析部23は、故障値用語が発見されたか判断する。故障値用語が発見された場合は処理がS26に進み、そうでない場合は処理がS28に進む。 In S25, the event analysis unit 23 determines whether a fault value term has been found. If a fault value term is found, the process proceeds to S26, and if not, the process proceeds to S28.
 S26では、図13に示す用語辞書を参照して、発見された故障値用語に対応する故障値状態の属性を読み込み、これを解析対象の事象のqstate属性として設定する。qstate属性は、例えば、「高い」であれば「+」、「短い」であれば「-」である。 In S26, referring to the term dictionary shown in FIG. 13, the fault value state attribute corresponding to the found fault value term is read, and this is set as the qstate attribute of the event to be analyzed. The qstate attribute is, for example, “+” if “high”, and “−” if “short”.
 S27では、事象解析部23は、対象文字列から故障値用語を削除する。 In S27, the event analysis unit 23 deletes the fault value term from the target character string.
 S28では、事象解析部23は、図12に示すように、対象文字列の後ろ側からさらに物理量用語を検索する。検索は、図14に示す用語辞書を用い、用語辞書とのマッチングにより物理量用語の検索を行う。物理量用語は、例えば、「電圧が高い」という事象であれば「電圧」、「長さが短い」という事象であれば「長さ」である。 In S28, as shown in FIG. 12, the event analysis unit 23 further searches for a physical quantity term from the rear side of the target character string. For the search, the term dictionary shown in FIG. 14 is used, and a physical quantity term is searched by matching with the term dictionary. The physical quantity term is, for example, “voltage” if the event is “high voltage”, and “length” if the event is “short”.
 S29では、事象解析部23は、物理量用語が発見されたか判断する。物理量用語が発見された場合は処理がS30に進み、そうでない場合は処理がS31に進む。 In S29, the event analysis unit 23 determines whether a physical quantity term has been found. If a physical quantity term is found, the process proceeds to S30, and if not, the process proceeds to S31.
 S30では、事象解析部23は、図14に示す用語辞書を参照して、発見された物理量用語の単位を読み込み、これを解析対象の事象のunit属性として設定する。物理量用語の属性は、例えば、「電圧」であれば「V」、「長さ」であれば「m」である。 In S30, the event analysis unit 23 refers to the term dictionary shown in FIG. 14, reads the unit of the discovered physical quantity term, and sets this as the unit attribute of the event to be analyzed. The attribute of the physical quantity term is, for example, “V” for “voltage” and “m” for “length”.
 S31では、リストの先頭にある事象を削除し、S22に戻る。 In S31, the event at the top of the list is deleted, and the process returns to S22.
 S22で事象リストが空と判断されるまでS22~S30の処理が繰り返され、最終的には、リスト内の事象全てについてunit属性及びqstate属性が設定される。 The processing of S22 to S30 is repeated until the event list is determined to be empty in S22, and finally the unit attribute and qstate attribute are set for all the events in the list.
 <整合性検証部24>
 整合性検証部24は、編集前又は編集後のXMLデータにおいて、上位事象と下位事象との物理量の関係に基づき、下位事象の展開が適切に行われているか検証し、検証結果に基づき各事象のverification属性を設定する機能を有する。
<Consistency verification unit 24>
The consistency verification unit 24 verifies whether or not the lower event is appropriately developed based on the physical quantity relationship between the upper event and the lower event in the XML data before or after editing, and each event based on the verification result. Has a function to set the verification attribute.
 図15は、整合性検証部24の処理内容(プログラムの内容)を示したフローチャートである。これを参照しながら、整合性検証部24の処理内容について説明する。 FIG. 15 is a flowchart showing the processing contents (program contents) of the consistency verification unit 24. The processing content of the consistency verification unit 24 will be described with reference to this.
 まず、整合性検証部24は、S41で、検証対象の事象が基本事象か判断する。基本事象とは自らよりも下位の事象を有さない下位事象のことである。検証対象の事象が基本事象である場合は整合性を検証する意味がないので、処理がS42に進み、検証対象の事象のverification属性が「未検証」であることを示す0に設定される。検証対象の事象が基本事象でない場合は処理がS43に進む。 First, the consistency verification unit 24 determines in S41 whether the event to be verified is a basic event. A basic event is a subordinate event that does not have a subordinate event. If the event to be verified is a basic event, there is no point in verifying the consistency. Therefore, the process proceeds to S42, and the verification attribute of the event to be verified is set to 0 indicating “unverified”. If the event to be verified is not a basic event, the process proceeds to S43.
 S43では、整合性検証部24は、以下のいずれかが成立しているか判断する。
 ・検証対象の事象が物理量を含まない。
 ・検証対象の事象の下位事象がいずれも物理を含まない。
In S43, the consistency verification unit 24 determines whether any of the following is established.
-The event to be verified does not include physical quantities.
-None of the sub-events of the event to be verified contains physics.
 いずれかが成立している場合は、整合性の検証を行うことができないので、処理がS44に進み、検証対象の事象のverification属性が「判定不可」であることを示す-1に設定される。いずれも成立していない場合は処理がS45に進む。 If any one of them is satisfied, the consistency cannot be verified, so that the process proceeds to S44, and the verification attribute of the verification target event is set to -1 indicating that it cannot be determined. . If neither is established, the process proceeds to S45.
 S45では、検証対象の事象の物理量とその下位事象の物理量に関し、以下のいずれかが成立しているか判断する。
 ・検証対象の事象の物理量の単位が下位事象の物理量の単位の加減算で表現できる。すなわち、検証対象の事象の物理量と下位事象の物理量とが同じ単位である。
 ・検証対象の事象の物理量の単位が下位事象の物理量の単位の乗除又はべき乗算で表現できる。すなわち、検証対象の事象の物理量の単位が下位事象の物理量の単位を用いて表現できる。
In S45, regarding the physical quantity of the event to be verified and the physical quantity of the subordinate event, it is determined whether any of the following is satisfied.
-The unit of the physical quantity of the event to be verified can be expressed by adding or subtracting the unit of the physical quantity of the lower event. That is, the physical quantity of the event to be verified and the physical quantity of the lower event are the same unit.
The unit of the physical quantity of the event to be verified can be expressed by multiplication / division or power multiplication of the unit of the physical quantity of the lower event. That is, the unit of the physical quantity of the event to be verified can be expressed using the unit of the physical quantity of the lower event.
 いずれかが成立していれば、整合性がとれている(下位事象の展開が適切に行われている)可能性があり、さらなる検証を行うべく、処理がS47に進む。そうでない場合は整合性がとれていない(下位事象の展開が適切に行われていない)ので、S46に進み、検証対象事象のverification属性が「不整合」であることを示す3に設定される。 If any of them is established, there is a possibility that consistency is achieved (expansion of lower events is appropriately performed), and the process proceeds to S47 for further verification. Otherwise, the consistency is not achieved (the lower event is not properly expanded), so the process proceeds to S46, and the verification attribute of the verification target event is set to 3 indicating “inconsistency”. .
 S47では、下位事象に物理量が不明の事象が含まれているか判断する。下位事象に物理量が不明の事象が含まれている場合は、S45で肯定的な判断がなされても、整合性がとれていない可能性があるので、処理がS48に進み、検証対象の事象のverification属性が「不整合の可能性」があることを示す2に設定される。そうでない場合は、整合性がとれている(下位事象の展開が適切に行われている)ので、処理がS49に進み、検証対象の事象のverification属性が「整合」であることを示す4に設定される。 In S47, it is determined whether an event whose physical quantity is unknown is included in the lower level events. If an event with an unknown physical quantity is included in the lower level event, even if a positive determination is made in S45, there is a possibility that consistency is not achieved. Therefore, the process proceeds to S48, and the verification target event The verification attribute is set to 2 indicating that there is a “possibility of inconsistency”. If not, the consistency is achieved (the lower event is appropriately expanded), the process proceeds to S49, and the verification attribute of the verification target event is “consistent”. Is set.
 この処理は、XMLデータに含まれる全事象について行われ、全事象についてverification属性が設定される。 This process is performed for all events included in the XML data, and the verification attribute is set for all events.
 図16は、整合性検証前後の表示部4の表示及びXMLデータを示している。 FIG. 16 shows the display on the display unit 4 and the XML data before and after the consistency verification.
 整合性検証が行われることによって、各事象のverification属性の値が設定され、表示部4に表示されるツリー構造には、検証結果を示すイラスト、例えば、「整合」であれば丸、「不整合」であればバツ、「未検証」であればハイフンが各事象の右側に表示される。 By performing the consistency verification, the value of the verification attribute of each event is set, and the tree structure displayed on the display unit 4 is an illustration showing the verification result, for example, “match” indicates a circle, “invalid” A “match” is displayed on the right side of each event, and a “hyphen” is displayed on the right side of each event.
 これにより、ユーザーは、下位事象の展開が適切にされていない可能性、及び、展開が適切になされていない場所を容易に知ることができ、FT図を修正する際に参考にすることができる。 As a result, the user can easily know the possibility that the expansion of the sub-event has not been properly performed and the location where the expansion has not been appropriately performed, and can refer to it when correcting the FT diagram. .
 <エクスポート部25>
 エクスポート部25は、編集部22で編集された後のXMLデータを、表計算ソフトのデータ形式に変換する機能を有する。
<Export unit 25>
The export unit 25 has a function of converting the XML data edited by the editing unit 22 into a data format of spreadsheet software.
 図17は、エクスポート部25の処理内容(プログラムの内容)を示したフローチャートである。これを参照しながら、エクスポート部25の処理内容について説明する。 FIG. 17 is a flowchart showing the processing contents (program contents) of the export unit 25. The processing contents of the export unit 25 will be described with reference to this.
 まず、エクスポート部25は、S51で、XMLデータに頂上事象が含まれているか判断する。頂上事象が含まれていない場合は処理が終了し、頂上事象が含まれている場合は処理がS52に進む。 First, the export unit 25 determines whether a top event is included in the XML data in S51. If the top event is not included, the process ends. If the top event is included, the process proceeds to S52.
 S52では、エクスポート部25は、表計算ソフトの空のシートを用意し、当該シートの左上の所定のセルを編集対象セルに設定する。さらに、XMLデータの頂上事象を対象事象に設定する。 In S52, the export unit 25 prepares an empty sheet of spreadsheet software, and sets a predetermined cell at the upper left of the sheet as an editing target cell. Furthermore, the top event of the XML data is set as the target event.
 S53では、エクスポート部25は、編集対象セルに、対象事象のlabel属性の内容を書き込むとともに、当該セルを罫線で囲む。 In S53, the export unit 25 writes the contents of the label attribute of the target event in the edit target cell and surrounds the cell with a ruled line.
 S54では、エクスポート部25は、対象事象に下位事象が存在するか判断する。下位事象が存在する場合は処理がS55に進み、そうでない場合は処理がS56に進む。 In S54, the export unit 25 determines whether there is a lower event in the target event. If there is a lower event, the process proceeds to S55, and if not, the process proceeds to S56.
 S55では、エクスポート部25は、編集対象セルを所定セル分右側のセルに変更し、当該セルまで延びる罫線を引く。また、対象事象と当該下位事象との関係が論理積である場合は、罫線の上側に位置する空白セルに「AND」の文字を書き込む。そして、対象事象を当該下位事象に変更する。 In S55, the export unit 25 changes the editing target cell to a cell on the right side by a predetermined cell, and draws a ruled line extending to the cell. When the relationship between the target event and the lower event is a logical product, the character “AND” is written in the blank cell located above the ruled line. Then, the target event is changed to the lower event.
 そして、処理がS53に戻り、エクスポート部25は、編集対象セルに、対象事象のlabel属性の内容を書き込むとともに、当該セルを罫線で囲む。 Then, the process returns to S53, and the export unit 25 writes the contents of the label attribute of the target event in the edit target cell and surrounds the cell with a ruled line.
 さらに下位の事象が存在する間はS53~S55が繰り返され、さらに下位の事象が存在しないと判断されると、処理がS56に進む。 S53 to S55 are repeated while a lower event exists, and if it is determined that there is no lower event, the process proceeds to S56.
 S56では、エクスポート部25は、対象事象に同列事象が存在するか判断する。同列事象が存在する場合は処理がS57に進み、そうでない場合は処理がS58に進む。 In S56, the export unit 25 determines whether the same event exists in the target event. If the same event exists, the process proceeds to S57, and if not, the process proceeds to S58.
 S57では、エクスポート部25は、編集対象セルを所定セル分下側のセルに変更し、当該セルまで延びる罫線を引く。そして、対象事象を当該同列事象に変更する。 In S57, the export unit 25 changes the cell to be edited to a cell lower by a predetermined cell, and draws a ruled line extending to the cell. Then, the target event is changed to the same event.
 そして、処理がS53に戻り、エクスポート部25は、編集対象セルに、対象事象のlabel属性の内容を書き込むとともに、当該セルを罫線で囲む。 Then, the process returns to S53, and the export unit 25 writes the contents of the label attribute of the target event in the edit target cell and surrounds the cell with a ruled line.
 さらに同列の事象が存在する間はS53~S57が繰り返され、さらに同列の事象が存在しないと判断されると、処理がS58に進む。 S53 to S57 are repeated while an event in the same row exists, and if it is determined that there is no event in the same row, the process proceeds to S58.
 S58では、エクスポート部25は、編集対象セルを上位事象に対応するセルに移動させるとともに、対象事象を当該セルに対応する上位事象に変更する。 In S58, the export unit 25 moves the editing target cell to the cell corresponding to the upper event and changes the target event to the upper event corresponding to the cell.
 S59では、エクスポート部25は、対象事象が頂上事象であるか判断する。頂上事象でない場合は処理がS56に戻り、対象事象の同列事象があるかがさらに判断され、頂上事象であると判断されれば、処理が終了する。 In S59, the export unit 25 determines whether the target event is a top event. If it is not a top event, the process returns to S56, where it is further determined whether there is an event that is the same as the target event, and if it is determined that it is a top event, the process ends.
 以上の処理により、XMLデータが表計算ソフトのデータ形式に変換される。 Through the above processing, XML data is converted into the spreadsheet software data format.
 図18は、エクスポート部25によって、XMLデータが表計算ソフトのデータ形式に変換される様子を示している。 FIG. 18 shows a state in which the XML data is converted into the data format of the spreadsheet software by the export unit 25.
 上記処理によれば、まず、表計算ソフトのシートの左上の所定のセルに、頂上事象のlabel属性の内容である「ベルト車による伝動の損失が大きい」が書き込まれ、当該セルが罫線で囲まれる(図中(1))。 According to the above processing, first, “the loss of transmission by the belt wheel is large”, which is the content of the label attribute of the top event, is written in a predetermined cell at the upper left of the spreadsheet sheet, and the cell is surrounded by a ruled line. ((1) in the figure).
 次に、頂上事象のセルから3つ右側にあるセルまで罫線が引かれ、当該セルに下位事象のlabel属性である「すべり量が大きい」が書き込まれ、当該セルが罫線で囲まれる(図中(2))。 Next, a ruled line is drawn from the cell at the top event to the cell to the right of the three cells, and the label attribute of the lower event “Large slip amount” is written in the cell, and the cell is surrounded by the ruled line (in the figure) (2)).
 次に、「すべり量が大きい」が書き込まれたセルの2つ下側にあるセルまで罫線が引かれ、当該セルに同列事象のlabel属性の内容である「摩擦力が大きい」が書き込まれ、当該セルが罫線で囲まれる(図中(3))。 Next, a ruled line is drawn to the cell two cells below the cell where “slip amount is large” is written, and “high frictional force” which is the content of the label attribute of the same-line event is written to the cell, The cell is surrounded by a ruled line ((3) in the figure).
 同様にして、「抗力が大きい」、「ベルト張力が大きい」及び「摩擦係数が大きい」が書き込まれたセル、これらの間を接続する罫線が作成される(図中(4)、(5))。 Similarly, cells in which “the drag force is large”, “the belt tension is large”, and “the friction coefficient is large” are written, and ruled lines connecting these cells are created ((4) and (5) in the figure). ).
 以上のようにして表計算ソフトのシート上にFT図が作成される。作成されたデータは、入出力部を介して装置外のサーバ、パソコンに受け渡すことが可能である。 The FT diagram is created on the spreadsheet sheet as described above. The created data can be transferred to a server or personal computer outside the apparatus via the input / output unit.
 以上、本発明の実施形態について説明したが、上記実施形態は本発明の適用例の一つを示したものに過ぎず、本発明の技術的範囲を上記実施形態の具体的構成に限定する趣旨ではない。 The embodiment of the present invention has been described above, but the above embodiment is merely one example of application of the present invention, and the technical scope of the present invention is limited to the specific configuration of the above embodiment. is not.
 本願は日本国特許庁に2011年9月27日に出願された特願2011-211325号及び特願2011-211326号に基づく優先権を主張し、これらの出願の全ての内容は参照により本明細書に組み込まれる。 The present application claims priority based on Japanese Patent Application Nos. 2011-213325 and 2011-212326 filed with the Japan Patent Office on September 27, 2011. The entire contents of these applications are incorporated herein by reference. Embedded in the book.

Claims (6)

  1.  FT図作成支援装置であって、
     FT図のツリー構造をマークアップ言語で記述する第1のデータを編集し、これによって第2のデータを生成する編集部と、
     前記第2のデータに基づき表計算ソフトのシート上に罫線と文字列とで前記FT図のツリー構造を表現し、これによって第3のデータを生成するエクスポート部と、
    を備えたことを特徴とするFT図作成支援装置。
    FT diagram creation support device,
    An editing unit that edits first data describing a tree structure of an FT diagram in a markup language, and thereby generates second data;
    An export unit for expressing the tree structure of the FT diagram by ruled lines and character strings on a sheet of spreadsheet software based on the second data, thereby generating third data;
    An FT diagram creation support apparatus characterized by comprising:
  2.  請求項1に記載のFT図作成支援装置であって、
     前記第1又は第2のデータから各事象の物理量を取得し、上位事象の物理量と下位事象の物理量との関係に基づき前記第1又は第2のデータの整合性を検証する整合性検証部をさらに備えたことを特徴とするFT図作成支援装置。
    An FT diagram creation support apparatus according to claim 1,
    A consistency verification unit that acquires a physical quantity of each event from the first or second data and verifies consistency of the first or second data based on a relationship between a physical quantity of a higher event and a physical quantity of a lower event; An FT diagram creation support apparatus, further comprising:
  3.  請求項1又は2に記載のFT図作成支援装置であって、
     表示部を備え、
     前記編集部は、前記第1のデータに基づき前記FT図を前記表示部に表示し、前記表示部上で前記FT図の修正が指示されると、当該修正の内容を前記第1のデータに反映し、これによって前記第2のデータを生成する、
    ことを特徴とするFT図作成支援装置。
    An FT diagram creation support device according to claim 1 or 2,
    With a display,
    The editing unit displays the FT diagram on the display unit based on the first data, and when the correction of the FT diagram is instructed on the display unit, the contents of the correction are converted into the first data. Reflect, thereby generating the second data,
    FT diagram creation support device characterized by the above.
  4.  コンピュータに、
     FT図のツリー構造をマークアップ言語で記述する第1のデータを編集し、これによって第2のデータを生成する編集処理機能と、
     前記第2のデータに基づき表計算ソフトのシート上に罫線と文字列とで前記FT図のツリー構造を表現し、これによって第3のデータを生成するエクスポート機能と、
    を実現させるためのプログラム。
    On the computer,
    An editing processing function for editing the first data describing the tree structure of the FT diagram in a markup language, thereby generating the second data;
    An export function for expressing the tree structure of the FT diagram by ruled lines and character strings on a sheet of spreadsheet software based on the second data, thereby generating third data;
    A program to realize
  5.  請求項4に記載のプログラムであって、
     前記コンピュータに、さらに、前記第1又は第2のデータから各事象の物理量を取得し、上位事象の物理量と下位事象の物理量との関係に基づき前記第1又は第2のデータの整合性を検証する整合性検証機能を実現するためのプログラム。
    The program according to claim 4,
    The computer further acquires the physical quantity of each event from the first or second data, and verifies the consistency of the first or second data based on the relationship between the physical quantity of the upper event and the physical quantity of the lower event. A program for realizing the integrity verification function.
  6.  請求項4又は5に記載のプログラムであって、
     前記編集機能は、前記第1のデータに基づき前記FT図を前記コンピュータの表示部に表示し、前記表示部上で前記FT図の修正が指示されると、当該修正の内容を前記第1のデータに反映し、これによって前記第2のデータを生成する機能であることを特徴とするプログラム。
    The program according to claim 4 or 5, wherein
    The editing function displays the FT diagram on the display unit of the computer based on the first data, and when the correction of the FT diagram is instructed on the display unit, the contents of the correction are displayed on the first unit. A program that reflects data and thereby generates the second data.
PCT/JP2012/072731 2011-09-27 2012-09-06 Ft diagram creation assistance device and ft diagram creation assistance program WO2013047140A1 (en)

Applications Claiming Priority (4)

Application Number Priority Date Filing Date Title
JP2011-211325 2011-09-27
JP2011211326A JP2013072719A (en) 2011-09-27 2011-09-27 Ft diagram creation support device and ft diagram creation support program
JP2011211325A JP5334140B2 (en) 2011-09-27 2011-09-27 FT diagram creation support device and FT diagram creation support program
JP2011-211326 2011-09-27

Publications (1)

Publication Number Publication Date
WO2013047140A1 true WO2013047140A1 (en) 2013-04-04

Family

ID=47995180

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/JP2012/072731 WO2013047140A1 (en) 2011-09-27 2012-09-06 Ft diagram creation assistance device and ft diagram creation assistance program

Country Status (1)

Country Link
WO (1) WO2013047140A1 (en)

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
KOSHINRAI SEKKEI NO TAMENO: "Fault Tree Analysis Shien Software o Kaihatsu", 5 September 2011 (2011-09-05), Retrieved from the Internet <URL:http://www.t.u-tokyo.ac.jp/pdf/2011/110905_FTA.pdf> [retrieved on 20121106] *
RICHARD SAUCIER: "Fault Tree Representation and Evaluation", March 2003 (2003-03-01), Retrieved from the Internet <URL:http://www.dtic.mil/cgi-bin/GetTRDoc?Location=U2&doc=GetTRDoc.pdf&AD=ADA411439> [retrieved on 20121106] *

Similar Documents

Publication Publication Date Title
US10324609B2 (en) System for providing dynamic linked panels in user interface
US9176742B2 (en) Converting desktop applications to web applications
US20080262833A1 (en) Document Processing Device and Document Processing Method
EP1901179A1 (en) Document processing device, and document processing method
CN104699714B (en) Book version formatted file is converted to the method and device of EPUB formatted files
US20120169710A1 (en) Process Communication Method and System
US20170300305A1 (en) Executable guidance experiences based on implicitly generated guidance models
EP1811399A1 (en) Data processing device and data processing method
US8230319B2 (en) Web-based visualization, refresh, and consumption of data-linked diagrams
US20090137202A1 (en) Information distribution system
US20170371852A1 (en) System and method for in-browser editing
EP1821220A1 (en) Data processing device, document processing device, and document processing method
US20080320412A1 (en) Document Processing Device and Document Processing Method
US10706215B2 (en) Producing formula representations of mathematical text
JP5334140B2 (en) FT diagram creation support device and FT diagram creation support program
WO2013047140A1 (en) Ft diagram creation assistance device and ft diagram creation assistance program
US20140282477A1 (en) Automatic updating of data in application programs
CN117940890A (en) Collaborative industrial integrated development and execution environment
JP2013072719A (en) Ft diagram creation support device and ft diagram creation support program
JP2007265011A (en) Screen program layout change method, information processor, program and recording medium
US20090077369A1 (en) Data Processing Device And Data Processing Method
JP2018514843A (en) Declarative cascade reordering for styles
JP2009087289A (en) Document creation management system, terminal, server, document creation management method, and its program
US20080065979A1 (en) Document Processing Device, and Document Processing Method
JP6329832B2 (en) Setting parameter check program

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 12835470

Country of ref document: EP

Kind code of ref document: A1

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 12835470

Country of ref document: EP

Kind code of ref document: A1