WO2013047146A1 - Ft図作成支援装置及びft図作成支援プログラム - Google Patents

Ft図作成支援装置及びft図作成支援プログラム Download PDF

Info

Publication number
WO2013047146A1
WO2013047146A1 PCT/JP2012/072782 JP2012072782W WO2013047146A1 WO 2013047146 A1 WO2013047146 A1 WO 2013047146A1 JP 2012072782 W JP2012072782 W JP 2012072782W WO 2013047146 A1 WO2013047146 A1 WO 2013047146A1
Authority
WO
WIPO (PCT)
Prior art keywords
event
data
diagram
unit
tree structure
Prior art date
Application number
PCT/JP2012/072782
Other languages
English (en)
French (fr)
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
Application filed by ジヤトコ株式会社 filed Critical ジヤトコ株式会社
Priority to EP12835352.1A priority Critical patent/EP2752811A4/en
Priority to CN201280040559.6A priority patent/CN103765470B/zh
Priority to KR1020147005252A priority patent/KR20140054149A/ko
Priority to US14/343,646 priority patent/US9524288B2/en
Publication of WO2013047146A1 publication Critical patent/WO2013047146A1/ja

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F40/00Handling natural language data
    • G06F40/10Text processing
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06TIMAGE DATA PROCESSING OR GENERATION, IN GENERAL
    • G06T11/002D [Two Dimensional] image generation
    • G06T11/20Drawing from basic elements, e.g. lines or circles
    • G06T11/206Drawing of charts or graphs
    • 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/0706Error 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 the processing taking place on a specific hardware platform or in a specific software environment
    • 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
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F40/00Handling natural language data
    • G06F40/10Text processing
    • G06F40/12Use of codes for handling textual entities
    • G06F40/14Tree-structured documents
    • G06F40/143Markup, e.g. Standard Generalized Markup Language [SGML] or Document Type Definition [DTD]
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F40/00Handling natural language data
    • G06F40/10Text processing
    • G06F40/166Editing, e.g. inserting or deleting
    • G06F40/177Editing, e.g. inserting or deleting of tables; using ruled lines
    • G06F40/18Editing, e.g. inserting or deleting of tables; using ruled lines of spreadsheets
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F40/00Handling natural language data
    • G06F40/20Natural language analysis
    • G06F40/205Parsing
    • G06F40/226Validation
    • 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
    • G06TIMAGE DATA PROCESSING OR GENERATION, IN GENERAL
    • G06T11/002D [Two Dimensional] image generation
    • G06T11/60Editing figures and text; Combining figures or text

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 apparatus wherein a ruled line is generated from first data which is data of an FT diagram in which a tree structure is expressed by ruled lines and character strings on a sheet of spreadsheet software.
  • a connection relationship and a character string are acquired, and an event included in the FT diagram and a connection relationship between the events are obtained from the acquired connection relationship and character string of the ruled line.
  • the tree structure of the FT diagram is marked up as a markup language.
  • An import unit that generates the second data described in (2), and an editing unit that edits the second data and generates third data that describes the tree structure of the edited FT diagram in a markup language.
  • connection relationship between the ruled lines and the character strings from the first data which is the data of the FT diagram in which the tree structure is expressed by the ruled lines and the character strings on the sheet of the spreadsheet software.
  • 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 and tree structure of each event in the FT diagram are described using tags. .
  • 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)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Health & Medical Sciences (AREA)
  • Audiology, Speech & Language Pathology (AREA)
  • Computational Linguistics (AREA)
  • General Health & Medical Sciences (AREA)
  • Artificial Intelligence (AREA)
  • Quality & Reliability (AREA)
  • Business, Economics & Management (AREA)
  • Strategic Management (AREA)
  • Entrepreneurship & Innovation (AREA)
  • Human Resources & Organizations (AREA)
  • Data Mining & Analysis (AREA)
  • Economics (AREA)
  • Marketing (AREA)
  • Operations Research (AREA)
  • Tourism & Hospitality (AREA)
  • General Business, Economics & Management (AREA)
  • Biomedical Technology (AREA)
  • Document Processing Apparatus (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Processing Or Creating Images (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

 FT図作成支援装置は、表計算ソフトのシート上に罫線と文字列とでツリー構造が表現されたFT図のデータである第1のデータから罫線の接続関係及び文字列を取得し、取得された前記罫線の接続関係及び文字列から前記FT図に含まれる事象及び事象間の接続関係を求め、これに基づき前記FT図のツリー構造をマークアップ言語で記述する第2のデータを生成するインポート部と、前記第2のデータを編集し、編集後のFT図のツリー構造をマークアップ言語で記述する第3のデータを生成する編集部と、を備える。

Description

FT図作成支援装置及びFT図作成支援プログラム
 本発明は、装置、システム等の不具合の発生原因を解析し、その信頼性を向上させる技術に関する。
 故障木解析(Fault Tree Analysis、FTA)は、故障事象をその原因となる下位事象の論理和(OR)又は論理積(AND)に展開してツリー構造(以下、「FT図」という。)とし、下位事象の中から重大な原因を抽出し、故障発生を防ぐために設計の見直しを図るという手法である。FT図の作成には、その分野の幅広い知識、高い専門性が要求されるため、FT図の作成を支援する技術が求められている(JP2009-289020A)。
 図19は、FT図の例である。この例は、「ベルト車による伝動の損失が大きい」という故障事象を解析したものである。この故障事象は、「すべり量が大きい」場合又は「摩擦力が大きい」場合に発生するので、「すべり量が大きい」及び「摩擦力が大きい」が故障事象の下位事象となり、それらの関係は論理和となる。
 そして、「摩擦力が大きい」という事象は、「抗力が大きい」場合又は「摩擦係数が大きい」場合に発生するので、「摩擦力が大きい」及び「摩擦係数が大きい」が「摩擦力が大きい」の下位事象となり、それらの関係は論理和となる。そして、「抗力が大きい」という事象は「ベルト張力が大きい」場合に発生するので、「ベルト張力が大きい」が「抗力が大きい」の下位事象となる。
 これら事象のうち、下位に事象を有さない「すべり量が大きい」、「ベルト張力が大きい」及び「摩擦係数が大きい」という事象は、基本事象と呼ばれ、故障事象の発生を防ぐためには、これら基本事象についての対策を検討すればよい。
 なお、この例では、上位事象と下位事象とは罫線で接続されるだけで、同列の下位事象が論理和及び論理積のいずれであるかは記述されていない。これは、同列の下位事象は多くの場合が論理和であるので、論理和の場合は上位事象と下位事象との間及び同列の下位事象の間を罫線で接続するのみとし、論理積である場合は上位事象と下位事象とを接続する罫線の脇に論理積であることを示す「AND」を記述するようにしているからである。
 FT図は、マイクロソフト社のExcel(登録商標)をはじめとする、表計算ソフトの罫線機能を用いて作成されることが多い。これは、表計算ソフトの普及率が高く、また、普及率の高さ故、ある技術者が作成したFT図を他の技術者が利用するのに適しているからである。
 しかしながら、表計算ソフトを用いたFT図の作成は効率の良いものではなく、特に、一旦作成されたFT図を修正したい場合(事象の追加、削除等)は、手間がかかるという問題があった。
 本発明の目的は、FT図の編集を容易に行えるようにすることである。
 本発明のある態様によれば、FT図作成支援装置であって、表計算ソフトのシート上に罫線と文字列とでツリー構造が表現されたFT図のデータである第1のデータから罫線の接続関係及び文字列を取得し、取得された前記罫線の接続関係及び文字列から前記FT図に含まれる事象及び事象間の接続関係を求め、これに基づき前記FT図のツリー構造をマークアップ言語で記述する第2のデータを生成するインポート部と、前記第2のデータを編集し、編集後のFT図のツリー構造をマークアップ言語で記述する第3のデータを生成する編集部と、を備えたFT図作成支援装置が提供される。
 本発明の別の態様によれば、コンピュータに、表計算ソフトのシート上に罫線と文字列とでツリー構造が表現されたFT図のデータである第1のデータから罫線の接続関係及び文字列を取得し、取得された前記罫線の接続関係及び前記文字列から前記FT図に含まれる事象及び事象間の接続関係を求め、これに基づき前記FT図のツリー構造をマークアップ言語で記述する第2のデータを生成するインポート機能と、前記第2のデータを編集し、FT図のツリー構造をマークアップ言語で記述する第3のデータを生成する編集機能と、を実現させるためのプログラムが提供される。
 これらの態様よれば、FT図の編集を容易に行うことができる。
 本発明の実施形態及び本発明の利点については、添付された図面を参照しながら以下に詳細に説明する。
図1は、FT図作成支援装置の全体構成図である。 図2は、FT図作成支援装置の機能を説明するための図である。 図3は、インポート部の処理内容を示したフローチャートである。 図4は、インポート部によって表計算ソフトで作成されたFT図のデータから事象が探索される様子を示した図である。 図5は、インポート処理によって生成されたXMLデータを示した図である。 図6は、表示部に表示されるツリー構造の例である。 図7は、頂上事象に下位事象を追加する場合の様子を示した図である。 図8は、下位事象を削除する場合の様子を示した図である。 図9は、下位事象を移動する場合の様子を示した図である。 図10は、下位事象をコピーする場合の様子を示した図である。 図11は、事象解析部の処理内容を示したフローチャートである。 図12は、事象解析部による解析の様子を示した図である。 図13は、故障値用語の用語辞書の例を示した図である。 図14は、物理量用語の用語辞書の例を示した図である。 図15は、整合性検証部の処理内容を示したフローチャートである。 図16は、整合性検証前後の表示部の表示及びXMLデータを示した図である。 図17は、エクスポート部の処理内容を示したフローチャートである。 図18は、エクスポート部によって、XMLデータが表計算ソフトのデータ形式に変換される様子を示した図である。 図19は、FT図の一例を示した図である。
 <全体構成>
 図1はFT図作成支援装置100の全体構成を示している。本装置100は、入出力部1、処理部2、記憶部3、表示部4及び操作部5を有し、図2に示すように、以下の機能:
 ・表計算ソフト(例えば、マクロソフト社のExcel(登録商標)で作成されたFT図のデータをインポートし、マークアップ言語で記述されたデータに変換するインポート機能
 ・マークアップ言語で記述されたFT図を表示部4上で編集する編集機能
 ・マークアップ言語で記述されたFT図の事象の具体的内容を解析する事象解析機能
 ・編集前又は編集後のマークアップ言語で記述されたFT図の整合性(下位事象の展開が正しいか否か)を検証する整合性検証機能
 ・編集後のマークアップ言語で記述されたFT図のデータを、表計算ソフトのデータ形式に変換し、エクスポートするエクスポート機能
を有している。
 「表計算ソフトで作成されたFT図のデータ」とは、表計算ソフトのシート上に罫線と文字列とでツリー構造が表現されたFT図のデータのことである。図19に示すように、罫線で囲まれたセル内に記入された文字列を事象とみなし、各事象の間を罫線で接続することでFT図のツリー構造を表現している。
 「マークアップ言語で記述されたFT図のデータ」とは、本実施形態では、XML(Extensible Markup Language)データであり、FT図の各事象の内容及びツリー構造を、タグを利用して記述する。なお、以下の説明では、「マークアップ言語で記述されたFT図のデータ」がXMLデータであるとして説明する。
 XMLデータにおいては、各事象の要素は、開始タグ<FaultTreeNode>と終了タグ</FaultTreeNode>とで構成される。開始タグ<FaultTreeNode>には、対応する事象の種々の属性(事象の内容を示すlabel属性、事象が扱う物理量の単位を示すunit属性、事象の故障値状態を示すqstate属性、下位事象の関係が論理和か論理積かを示すlogic属性、物理量の整合性検証結果を示すverification属性)が含まれる。
 下位事象と上位事象との上下関係は、上位事象の開始タグ<FaultTreeNode>と終了タグ</FaultTreeNode>との間に下位事象の要素を配置することで表現される。また、同列の事象はそれらの要素を並列に配置することで表現される。
 なお、終了タグ</FaultTreeNode>は、開始タグ<FaultTreeNode>のみで事象間の関係が明確である場合は適宜省略可能である。
 本装置100を構成する各部位について説明すると、入出力部1は、有線又は無線のネットワークインターフェース、カードリーダ、USBコネクタ、Bluetooth(登録商標)等である。入出力部1は、外部のサーバ、パソコン等とデータをやりとりするために用いられる。主にやりとりするデータは、本装置100にインポートするための表計算ソフトで作成されたFT図のデータ、及び、本装置100で編集又は作成され、本装置100からエクスポートするための表計算ソフトのデータ形式のFT図のデータである。
 処理部2は、マイクロプロセッサ、RAM、ROM等で構成される。マイクロプロセッサは、ROM又は後述する記憶部3に記憶されているプログラムをRAMに読み込んで実行することによって、上記各機能を実現するインポート部21、編集部22、事象解析部23、整合性検証部24及びエクスポート部25として機能する。各部の具体的な処理内容については後述する。
 記憶部3は、ハードディスク、フラッシュメモリ等の記憶装置である。記憶部3は、処理部2の処理において必要なデータ及びプログラムを記憶する。
 表示部4は、液晶ディスプレイ等の表示装置である。表示部4は、FT図のツリー構造、FT図の整合性検証結果、編集又は作成中のXMLデータ等を表示する。
 操作部5は、キーボード、マウス、タッチパネル等の入力装置である。操作部5は、ユーザーからの各種操作を受け付ける。
 次に、処理部2の各部の処理内容について説明する。
 <インポート部21>
 インポート部21は、表計算ソフトで作成されたFT図のデータを入出力部1を介して読み込み、これをXMLデータに変換する機能を有する。
 図3は、インポート部21の処理内容(プログラムの内容)を示したフローチャートである。これを参照しながら、インポート部21の処理内容について説明する。
 まず、インポート部21は、S1において、表計算ソフトで作成されたFT図から、頂上事象を探索する。頂上事象とはその上位にさらに別の事象がない事象である。具体的には、インポート部21は、シートの左上から順に罫線に囲まれたセルを探索する。なお、事象が複数のセルを使って記載されることもあるが、ここでは説明を簡略化するために、単一のセルに記載される場合に限定して説明する。
 S2では、インポート部21は、頂上事象が発見されたか判断する。頂上事象が発見されたと判断された場合は、処理がS3に進み、そうでない場合は処理が終了する。
 S3では、インポート部21は、発見された頂上事象のセルを分析対象セルとして設定する。また、インポート部21は、FT図のデータであることを示す開始タグ<FaultTreeDocument>及び終了タグ</FaultTreeDocument>を含んだXMLデータを用意し、当該XMLデータに頂上事象を追加する。具体的には、開始タグ<FaultTreeNode>及び終了タグ</FaultTreeNode>からなる頂上事象の要素を、開始タグ<FaultTreeDocument>と終了タグ</FaultTreeDocument>との間に追加する。
 S4では、インポート部21は、分析対象セルから文字列を取得し、分析対象セルに対応する事象のlabel属性として取得した文字列を設定する。さらに、インポート部21は、分析対象セルの右側の領域を探索し、「AND」の文字列があれば分析対象セルに対応する事象の下位事象が論理積であると判断し、なければ論理和であると判断する。そして、インポート部21は、分析対象セルに対応する事象のlogic属性として、論理和であれば「OR」、論理積であれば「AND」を設定する。
 S5では、インポート部21は、分析対象セルの下位事象を探索する。具体的には、分析対象セルから右側に延びる罫線を辿り、その先にある罫線で囲まれたセルを探索する。
 S6では、インポート部21は、下位事象が発見されたか判断する。下位事象が発見されたと判断された場合は処理がS7に進み、そうでない場合は処理がS8に進む。
 S7では、インポート部21は、発見された下位事象のセルを分析対象セルに設定し、XMLデータに下位事象を追加する。XMLデータにおいて、下位事象の要素は、上位事象の開始タグ<FaultTreeNode>と終了タグ</FaultTreeNode>との間に配置され、これによって下位事象であることが表現される。そして、処理がS4に戻り、当該下位事象にlabel属性が設定され、さらに下位の事象の探索が行われる。
 インポート部21は、下位事象が発見されなくなるまでS4~S7の処理を繰り返す。
 S8では、インポート部21は、分析対象セルと同列の事象(以下、同列事象という。)を探索する。具体的には、分析対象セルから左側に延びる罫線から下側に分岐する罫線を辿り、その先にある罫線で囲まれたセルを探索する。
 S9では、インポート部21は、同列事象が発見されたか判断する。同列事象が発見されたと判断された場合は処理がS10に進み、そうでない場合は処理がS11に進む。
 S10では、インポート部21は、発見された同列事象のセルを分析対象セルに設定し、XMLデータに同列事象を追加する。同列事象の要素は他の同列事象の要素と並列になるように配置され、これによって同列事象であることが表現される。そして、処理がS4に戻り、当該同列事象にlabel属性が設定され、再び下位事象及び同列事象の探索が行われる。
 インポート部21は、同列事象が発見されなくなるまでS4~S10の処理を繰り返す。
 S11では、インポート部21は、直前に発見された同列事象の上位事象を分析対象セルに設定する。そして、S12では、インポート部21は、当該分析対象セルに対応する事象が頂上事象か判断し、頂上事象であれば処理を終了し、そうでなければS8に戻って再び同列事象の探索を行う。
 以上の処理により、表計算ソフトで作成されたFT図のデータがXMLデータに変換される。
 図4は、インポート部21によって、表計算ソフトで作成されたFT図のデータから事象が探索される様子を示している。
 上記処理によれば、まず、「ベルト車による伝動の損失が大きい」と記載されたセルが発見され(図中(1))、XMLデータに頂上事象「ベルト車による伝動の損失が大きい」が追加される。
 次いで、その右側に配置される「すべり量が大きい」と記載されたセルが発見され(図中(2))、XMLデータに下位事象「すべり量が大きい」が追加される。
 「すべり量が大きい」と記載されたセルの右側にはさらに別の事象のセルが存在しないので、次はこれと同列のセルが検索され、「摩擦力が大きい」と記載されたセルが発見される(図中(3))。そして、XMLデータに同列事象「摩擦力が大きい」が追加される。
 同様にして、「抗力が大きい」、「ベルト張力が大きい」及び「摩擦係数が大きい」と記載されたセルが発見され(図中(4)、(5))、XMLデータに下位事象「抗力が大きい」、下位事象「ベルト張力が大きい」、及び、同列事象「摩擦係数が大きい」が追加される。
 図5は、インポート処理によって生成されたXMLデータを示している。FT図のツリー構造はタグ<FaultTreeNode></FaultTreeNode>の包含関係によって表現され、また、各事象は、label属性、logic属性、verification属性を有している。ただし、物理量の整合性検証はまだ行われていないので、verification属性には仮の値が入っている。
 また、表示部4には、ツリー構造が図6に示すような形式で表示される。表示されるツリー構造は罫線及び文字列で表現されたFT図のツリー構造と同じものであるが、ツリー構造を見やすくするために、下位事象を有する事象の左側に表示されるフォルダのイラストをクリックすると、下位事象を折りたたむ又は展開することが可能になっている。
 <編集部22>
 編集部22は、表示部4に表示されたFT図のツリー構造を見ながら、表示部4上でツリー構造の修正を行う機能を有する。ユーザーが操作部5を操作することによって表示部4上でFT図のツリー構造を変更すると、編集部22は、その変更内容をXMLデータに反映する。
 以下、代表的な編集機能について説明する。
 -下位事象の追加-
 図7は、頂上事象に下位事象を追加する場合の様子を示している。図中左側は表示部4の表示内容であり、図中右側はこれに対応するXMLデータである。また、図中上側は編集前の状態、図中下側は編集後の状態を示している(図8~図10も同様)。
 ユーザーが表示部4上で頂上事象を選択すると、編集部22は表示部4に編集メニュー(不図示)を表示させる。編集メニューには「追加」が含まれ、ユーザーがこれを選択すると、事象の属性を入力するウインドウが開く。そして、ユーザーがlabel属性等の属性を入力すると、編集部22は、表示部4において、頂上事象の下位に<事象>を表示させる。
 表示部4上でこのような編集作業が行われると、編集部22は、その内容をリアルタイムでXMLデータに反映し、図中右側に示すように、<事象>の要素がXMLデータに追加される。<事象>は頂上事象の下位事象であるので、<事象>の要素は、頂上事象の開始タグ<FaultTreeNode>の下に配置される。なお、この例では、頂上事象の終了タグ</FaultTreeNode>は省略されている。
 -下位事象の削除-
 図8は、下位事象を削除する場合の様子を示している。
 ユーザーが表示部4上で<事象>を選択すると、編集部22は表示部4に編集メニュー(不図示)を表示させる。編集メニューには「削除」が含まれ、ユーザーがこれを選択すると、編集部22は、表示部4において、<事象>を消去する。
 表示部4上でこのような編集作業が行われると、編集部22は、その内容をリアルタイムでXMLデータに反映し、図中右側に示すように、XMLデータから<事象>の要素が削除される。
 -事象の移動-
 図9は、下位事象を移動する場合の様子を示している。
 この例では、頂上事象の下位に、「事象A」、「事象B」及び「事象C」が同列に配置されている。ユーザーがその中の一つである「事象A」を選択し、「事象B」の上にドラッグしてドロップすると、編集部22は、表示部4において、「事象A」を「事象B」の下位に移動させる。
 表示部4上でこのような編集作業が行われると、編集部22は、その内容をリアルタイムでXMLデータに反映し、図中右側に示すように、XMLデータにおいて「事象A」の要素が「事象B」の開始タグ<FaultTreeNode>と終了タグ</FaultTreeNode>との間に移動される。
 -事象のコピー-
 図10は、下位事象をコピーする場合の様子を示している。
 この例では、頂上事象の下位に、「事象B」及び「事象C」が同列に配置され、「事象B」の下位には「事象A」が配置される。ユーザーが表示部4上で「事象B」を選択すると、編集部22は、表示部4に編集メニュー(不図示)を表示させる。編集メニューには「コピー」と「ペースト」が含まれ、ユーザーが「コピー」を選択し、かつ、続けて「事象C」を選択して「ペースト」を選択すると、編集部22は、表示部4において、「事象C」の下位に「事象B」及び「事象A」を移動させる。
 表示部4上でこのような編集作業が行われると、編集部22は、その内容をリアルタイムでXMLデータに反映し、図中右側に示すように、XMLデータにおいて、「事象C」の<FaultTreeNode>と終了タグ</FaultTreeNode>との間に「事象B」及び「事象A」の要素が追加される。
 ここで説明した編集機能は、編集部22が有する機能の一部であるが、その他の機能についても同様に、表示部4上でFT図のツリー構造が変更されると、その変更内容がXMLデータにリアルタイムで反映される。
 したがって、XMLデータを編集するにあたり、ユーザーがXMLタグや記述方法を意識する必要はなく、表示部4に表示されるツリー構造を表示部4上で編集すれば、XMLデータを容易に書き換えることができる。
 なお、ここでは、インポート処理によって得られるXMLデータを編集するとして説明したが、インポートすることなく、編集部22でXMLデータを新規に作成することも可能である。
 <事象解析部23>
 事象解析部23は、各事象のlabel属性から、物理量の単位、及び、故障値状態を解析し、各事象にunit属性、qstate属性を追加する機能を有する。
 図11は、事象解析部23の処理内容(プログラムの内容)を示したフローチャートである。これを参照しながら、事象解析部23の処理内容について説明する。
 まず、事象解析部23は、S21で、XMLデータから、全事象を抽出し、それらのlabel属性を事象リストに追加する。事象リストとは、本解析の作業用のテキストデータである。
 S22では、事象解析部23は、事象リストが空か判断する。事象リストが空の場合は処理が終了し、事象リストに事象が含まれている場合は処理がS23に進む。
 S23では、事象解析部23は、リスト先頭の事象を解析対象の事象である対象事象とし、その内容を対象文字列として設定する。
 S24では、事象解析部23は、図12に示すように、対象文字列の後ろ側から故障値用語を検索する。検索は、図13に示す用語辞書を用い、用語辞書とのマッチングにより行う。故障値用語とは、事象に含まれる物理量がどのような状態になったら故障の原因となるかを示す用語であり、例えば、「電圧が高い」という事象であれば「高い」、「長さが短い」という事象であれば「短い」が故障値用語となる。
 S25では、事象解析部23は、故障値用語が発見されたか判断する。故障値用語が発見された場合は処理がS26に進み、そうでない場合は処理がS28に進む。
 S26では、図13に示す用語辞書を参照して、発見された故障値用語に対応する故障値状態の属性を読み込み、これを解析対象の事象のqstate属性として設定する。qstate属性は、例えば、「高い」であれば「+」、「短い」であれば「-」である。
 S27では、事象解析部23は、対象文字列から故障値用語を削除する。
 S28では、事象解析部23は、図12に示すように、対象文字列の後ろ側からさらに物理量用語を検索する。検索は、図14に示す用語辞書を用い、用語辞書とのマッチングにより物理量用語の検索を行う。物理量用語は、例えば、「電圧が高い」という事象であれば「電圧」、「長さが短い」という事象であれば「長さ」である。
 S29では、事象解析部23は、物理量用語が発見されたか判断する。物理量用語が発見された場合は処理がS30に進み、そうでない場合は処理がS31に進む。
 S30では、事象解析部23は、図14に示す用語辞書を参照して、発見された物理量用語の単位を読み込み、これを解析対象の事象のunit属性として設定する。物理量用語の属性は、例えば、「電圧」であれば「V」、「長さ」であれば「m」である。
 S31では、リストの先頭にある事象を削除し、S22に戻る。
 S22で事象リストが空と判断されるまでS22~S30の処理が繰り返され、最終的には、リスト内の事象全てについてunit属性及びqstate属性が設定される。
 <整合性検証部24>
 整合性検証部24は、編集前又は編集後のXMLデータにおいて、上位事象と下位事象との物理量の関係に基づき、下位事象の展開が適切に行われているか検証し、検証結果に基づき各事象のverification属性を設定する機能を有する。
 図15は、整合性検証部24の処理内容(プログラムの内容)を示したフローチャートである。これを参照しながら、整合性検証部24の処理内容について説明する。
 まず、整合性検証部24は、S41で、検証対象の事象が基本事象か判断する。基本事象とは自らよりも下位の事象を有さない下位事象のことである。検証対象の事象が基本事象である場合は整合性を検証する意味がないので、処理がS42に進み、検証対象の事象のverification属性が「未検証」であることを示す0に設定される。検証対象の事象が基本事象でない場合は処理がS43に進む。
 S43では、整合性検証部24は、以下のいずれかが成立しているか判断する。
 ・検証対象の事象が物理量を含まない。
 ・検証対象の事象の下位事象がいずれも物理を含まない。
 いずれかが成立している場合は、整合性の検証を行うことができないので、処理がS44に進み、検証対象の事象のverification属性が「判定不可」であることを示す-1に設定される。いずれも成立していない場合は処理がS45に進む。
 S45では、検証対象の事象の物理量とその下位事象の物理量に関し、以下のいずれかが成立しているか判断する。
 ・検証対象の事象の物理量の単位が下位事象の物理量の単位の加減算で表現できる。すなわち、検証対象の事象の物理量と下位事象の物理量とが同じ単位である。
 ・検証対象の事象の物理量の単位が下位事象の物理量の単位の乗除又はべき乗算で表現できる。すなわち、検証対象の事象の物理量の単位が下位事象の物理量の単位を用いて表現できる。
 いずれかが成立していれば、整合性がとれている(下位事象の展開が適切に行われている)可能性があり、さらなる検証を行うべく、処理がS47に進む。そうでない場合は整合性がとれていない(下位事象の展開が適切に行われていない)ので、S46に進み、検証対象事象のverification属性が「不整合」であることを示す3に設定される。
 S47では、下位事象に物理量が不明の事象が含まれているか判断する。下位事象に物理量が不明の事象が含まれている場合は、S45で肯定的な判断がなされても、整合性がとれていない可能性があるので、処理がS48に進み、検証対象の事象のverification属性が「不整合の可能性」があることを示す2に設定される。そうでない場合は、整合性がとれている(下位事象の展開が適切に行われている)ので、処理がS49に進み、検証対象の事象のverification属性が「整合」であることを示す4に設定される。
 この処理は、XMLデータに含まれる全事象について行われ、全事象についてverification属性が設定される。
 図16は、整合性検証前後の表示部4の表示及びXMLデータを示している。
 整合性検証が行われることによって、各事象のverification属性の値が設定され、表示部4に表示されるツリー構造には、検証結果を示すイラスト、例えば、「整合」であれば丸、「不整合」であればバツ、「未検証」であればハイフンが各事象の右側に表示される。
 これにより、ユーザーは、下位事象の展開が適切にされていない可能性、及び、展開が適切になされていない場所を容易に知ることができ、FT図を修正する際に参考にすることができる。
 <エクスポート部25>
 エクスポート部25は、編集部22で編集された後のXMLデータを、表計算ソフトのデータ形式に変換する機能を有する。
 図17は、エクスポート部25の処理内容(プログラムの内容)を示したフローチャートである。これを参照しながら、エクスポート部25の処理内容について説明する。
 まず、エクスポート部25は、S51で、XMLデータに頂上事象が含まれているか判断する。頂上事象が含まれていない場合は処理が終了し、頂上事象が含まれている場合は処理がS52に進む。
 S52では、エクスポート部25は、表計算ソフトの空のシートを用意し、当該シートの左上の所定のセルを編集対象セルに設定する。さらに、XMLデータの頂上事象を対象事象に設定する。
 S53では、エクスポート部25は、編集対象セルに、対象事象のlabel属性の内容を書き込むとともに、当該セルを罫線で囲む。
 S54では、エクスポート部25は、対象事象に下位事象が存在するか判断する。下位事象が存在する場合は処理がS55に進み、そうでない場合は処理がS56に進む。
 S55では、エクスポート部25は、編集対象セルを所定セル分右側のセルに変更し、当該セルまで延びる罫線を引く。また、対象事象と当該下位事象との関係が論理積である場合は、罫線の上側に位置する空白セルに「AND」の文字を書き込む。そして、対象事象を当該下位事象に変更する。
 そして、処理がS53に戻り、エクスポート部25は、編集対象セルに、対象事象のlabel属性の内容を書き込むとともに、当該セルを罫線で囲む。
 さらに下位の事象が存在する間はS53~S55が繰り返され、さらに下位の事象が存在しないと判断されると、処理がS56に進む。
 S56では、エクスポート部25は、対象事象に同列事象が存在するか判断する。同列事象が存在する場合は処理がS57に進み、そうでない場合は処理がS58に進む。
 S57では、エクスポート部25は、編集対象セルを所定セル分下側のセルに変更し、当該セルまで延びる罫線を引く。そして、対象事象を当該同列事象に変更する。
 そして、処理がS53に戻り、エクスポート部25は、編集対象セルに、対象事象のlabel属性の内容を書き込むとともに、当該セルを罫線で囲む。
 さらに同列の事象が存在する間はS53~S57が繰り返され、さらに同列の事象が存在しないと判断されると、処理がS58に進む。
 S58では、エクスポート部25は、編集対象セルを上位事象に対応するセルに移動させるとともに、対象事象を当該セルに対応する上位事象に変更する。
 S59では、エクスポート部25は、対象事象が頂上事象であるか判断する。頂上事象でない場合は処理がS56に戻り、対象事象の同列事象があるかがさらに判断され、頂上事象であると判断されれば、処理が終了する。
 以上の処理により、XMLデータが表計算ソフトのデータ形式に変換される。
 図18は、エクスポート部25によって、XMLデータが表計算ソフトのデータ形式に変換される様子を示している。
 上記処理によれば、まず、表計算ソフトのシートの左上の所定のセルに、頂上事象のlabel属性の内容である「ベルト車による伝動の損失が大きい」が書き込まれ、当該セルが罫線で囲まれる(図中(1))。
 次に、頂上事象のセルから3つ右側にあるセルまで罫線が引かれ、当該セルに下位事象のlabel属性である「すべり量が大きい」が書き込まれ、当該セルが罫線で囲まれる(図中(2))。
 次に、「すべり量が大きい」が書き込まれたセルの2つ下側にあるセルまで罫線が引かれ、当該セルに同列事象のlabel属性の内容である「摩擦力が大きい」が書き込まれ、当該セルが罫線で囲まれる(図中(3))。
 同様にして、「抗力が大きい」、「ベルト張力が大きい」及び「摩擦係数が大きい」が書き込まれたセル、これらの間を接続する罫線が作成される(図中(4)、(5))。
 以上のようにして表計算ソフトのシート上にFT図が作成される。作成されたデータは、入出力部を介して装置外のサーバ、パソコンに受け渡すことが可能である。
 以上、本発明の実施形態について説明したが、上記実施形態は本発明の適用例の一つを示したものに過ぎず、本発明の技術的範囲を上記実施形態の具体的構成に限定する趣旨ではない。
 本願は日本国特許庁に2011年9月27日に出願された特願2011-211325号に基づく優先権を主張し、この出願の全ての内容は参照により本明細書に組み込まれる。

Claims (8)

  1.  FT図作成支援装置であって、
     表計算ソフトのシート上に罫線と文字列とでツリー構造が表現されたFT図のデータである第1のデータから罫線の接続関係及び文字列を取得し、取得された前記罫線の接続関係及び文字列から前記FT図に含まれる事象及び事象間の接続関係を求め、これに基づき前記FT図のツリー構造をマークアップ言語で記述する第2のデータを生成するインポート部と、
     前記第2のデータを編集し、編集後のFT図のツリー構造をマークアップ言語で記述する第3のデータを生成する編集部と、
    を備えたFT図作成支援装置。
  2.  請求項1に記載のFT図作成支援装置であって、
     前記第3のデータに基づき前記表計算ソフトのシート上に罫線と文字列とで前記FT図のツリー構造を表現し、これによって第4のデータを生成するエクスポート部をさらに備えたFT図作成支援装置。
  3.  請求項1又は2に記載のFT図作成支援装置であって、
     前記第2又は第3のデータから各事象の物理量を取得し、上位事象の物理量と下位事象の物理量との関係に基づき前記第2又は第3のデータの整合性を検証する整合性検証部をさらに備えたFT図作成支援装置。
  4.  請求項1から3のいずれか一つに記載のFT図作成支援装置であって、
     表示部をさらに備え、
     前記編集部は、前記第2のデータに基づき前記FT図を前記表示部に表示し、前記表示部上で前記FT図の修正が指示されると、当該修正の内容を前記第2のデータに反映し、これによって前記第3のデータを生成する、
    FT図作成支援装置。
  5.  コンピュータに、
     表計算ソフトのシート上に罫線と文字列とでツリー構造が表現されたFT図のデータである第1のデータから罫線の接続関係及び文字列を取得し、取得された前記罫線の接続関係及び前記文字列から前記FT図に含まれる事象及び事象間の接続関係を求め、これに基づき前記FT図のツリー構造をマークアップ言語で記述する第2のデータを生成するインポート機能と、
     前記第2のデータを編集し、FT図のツリー構造をマークアップ言語で記述する第3のデータを生成する編集機能と、
    を実現させるためのプログラム。
  6.  請求項5に記載のプログラムであって、
     前記コンピュータに、さらに、前記第3のデータに基づき前記表計算ソフトのシート上に罫線と文字列とで前記FT図のツリー構造を表現し、これによって第4のデータを生成するエクスポート機能を実現するためのプログラム。
  7.  請求項5又は6に記載のプログラムであって、
     前記コンピュータに、さらに、前記第2又は第3のデータから各事象の物理量を取得し、上位事象の物理量と下位事象の物理量との関係に基づき前記第2又は第3のデータの整合性を検証する整合性検証機能を実現するためのプログラム。
  8.  請求項5から7のいずれか一つに記載のプログラムであって、
     前記編集機能は、前記第2のデータに基づき前記FT図を前記コンピュータの表示部に表示し、前記表示部上で前記FT図の修正が指示されると、当該修正の内容を前記第2のデータに反映し、これによって前記第3のデータを生成する機能である、
    ことを特徴とするプログラム。
PCT/JP2012/072782 2011-09-27 2012-09-06 Ft図作成支援装置及びft図作成支援プログラム WO2013047146A1 (ja)

Priority Applications (4)

Application Number Priority Date Filing Date Title
EP12835352.1A EP2752811A4 (en) 2011-09-27 2012-09-06 FOURIER TRANSFORMATION DIAGRAM CREATION DEVICE (FT) AND METHOD FOR AIDING FT DIAGRAM CREATION
CN201280040559.6A CN103765470B (zh) 2011-09-27 2012-09-06 树结构图制作辅助装置以及树结构图制作辅助方法
KR1020147005252A KR20140054149A (ko) 2011-09-27 2012-09-06 Ft도 작성 지원 장치 및 ft도 작성 지원 프로그램을 저장한 기억 매체
US14/343,646 US9524288B2 (en) 2011-09-27 2012-09-06 FT diagram generation aid device and FT diagram generation aid program

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
JP2011-211325 2011-09-27
JP2011211325A JP5334140B2 (ja) 2011-09-27 2011-09-27 Ft図作成支援装置及びft図作成支援プログラム

Publications (1)

Publication Number Publication Date
WO2013047146A1 true WO2013047146A1 (ja) 2013-04-04

Family

ID=47995186

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/JP2012/072782 WO2013047146A1 (ja) 2011-09-27 2012-09-06 Ft図作成支援装置及びft図作成支援プログラム

Country Status (6)

Country Link
US (1) US9524288B2 (ja)
EP (1) EP2752811A4 (ja)
JP (1) JP5334140B2 (ja)
KR (1) KR20140054149A (ja)
CN (1) CN103765470B (ja)
WO (1) WO2013047146A1 (ja)

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2006171820A (ja) * 2004-12-13 2006-06-29 Hitachi Ltd 流通在庫に起因する損益指標算出システム
JP2009289020A (ja) 2008-05-29 2009-12-10 Omron Corp Ft図作成プログラム、ft図作成装置、記録媒体及びft図作成方法

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7017112B2 (en) * 2003-02-28 2006-03-21 Microsoft Corporation Importing and exporting markup language data in a spreadsheet application document
US7681086B2 (en) * 2007-09-20 2010-03-16 Embraer- Empresa Brasileira De Aeronautica S.A. Fault tree map generation
CN101739462B (zh) * 2009-12-31 2012-11-28 中兴通讯股份有限公司 可扩展标记语言编码方法、解码方法和客户端
US8744821B2 (en) * 2011-07-07 2014-06-03 Xldyn, Llc Spreadsheet-based templates for supporting the systems engineering process

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2006171820A (ja) * 2004-12-13 2006-06-29 Hitachi Ltd 流通在庫に起因する損益指標算出システム
JP2009289020A (ja) 2008-05-29 2009-12-10 Omron Corp Ft図作成プログラム、ft図作成装置、記録媒体及びft図作成方法

Non-Patent Citations (5)

* Cited by examiner, † Cited by third party
Title
AKIRA KAWAMATA: "'99 XML Saishin Jijo", SOFTWAREDESIGN, no. 102, 18 April 1999 (1999-04-18), pages 126 - 127, XP008174251 *
KAORU MAJIMA: "Kyukyoku no Excel Katsuyo Technique", NIKKEI SOFTWARE, vol. 4, no. 10, 24 September 2001 (2001-09-24), pages 73 - 105, XP008174255 *
NOBUYOSHI YABUKI ET AL.: "FTA to Kaiso Bunsekiho o Mochiita Suiryoku Ko Kozobutsu no Shindan ni Kansuru Kisoteki Kento", THE 59TH ANNUAL CONFERENCE OF JAPAN SOCIETY OF CIVIL ENGINEERS, 30 September 2004 (2004-09-30), pages 231 - 232, XP008173662 *
RYOSUKE WATABE, 2003 NEN IEICE COMMUNICATIONS SOCIETY CONFERENCE KOEN RONBUNSHU 2, 10 September 2003 (2003-09-10), pages 499, XP008172917 *
See also references of EP2752811A4

Also Published As

Publication number Publication date
EP2752811A4 (en) 2015-08-26
EP2752811A1 (en) 2014-07-09
JP2013073384A (ja) 2013-04-22
CN103765470B (zh) 2017-02-08
US9524288B2 (en) 2016-12-20
KR20140054149A (ko) 2014-05-08
JP5334140B2 (ja) 2013-11-06
CN103765470A (zh) 2014-04-30
US20140215300A1 (en) 2014-07-31

Similar Documents

Publication Publication Date Title
US10698594B2 (en) System for providing dynamic linked panels in user interface
JP6033235B2 (ja) 類例によるデーターのフォーマット処理
US9176742B2 (en) Converting desktop applications to web applications
EP1818835A1 (en) Document processing device, and document processing method
EP1901179A1 (en) Document processing device, and document processing method
CN104699714B (zh) 将书版格式文件转换为epub格式文件的方法及装置
AU2015211152B2 (en) Batch generation of links to documents based on document name and page content matching
US20120169710A1 (en) Process Communication Method and System
EP1811399A1 (en) Data processing device and data processing method
US8230319B2 (en) Web-based visualization, refresh, and consumption of data-linked diagrams
US20140282123A1 (en) Executable guidance experiences based on implicitly generated guidance models
US20080250311A1 (en) Document Processing Device, and Document Processing Method
US20080208790A1 (en) Document Processing Device, and Document Processing Method
US10706215B2 (en) Producing formula representations of mathematical text
US20170371852A1 (en) System and method for in-browser editing
EP1821220A1 (en) Data processing device, document processing device, and document processing method
JP5334140B2 (ja) Ft図作成支援装置及びft図作成支援プログラム
WO2013047140A1 (ja) Ft図作成支援装置及びft図作成支援プログラム
US20040205707A1 (en) Logical separation of code and content
CN118647968A (zh) 用于控制工业软件程序的执行的基于用户行为的帮助推荐
US20140282477A1 (en) Automatic updating of data in application programs
JP2013072719A (ja) Ft図作成支援装置及びft図作成支援プログラム
US20080005154A1 (en) Document Processing Device and Document Processing Method
US20090077369A1 (en) Data Processing Device And Data Processing Method
JP6329832B2 (ja) 設定パラメータチェックプログラム

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: 12835352

Country of ref document: EP

Kind code of ref document: A1

ENP Entry into the national phase

Ref document number: 20147005252

Country of ref document: KR

Kind code of ref document: A

WWE Wipo information: entry into national phase

Ref document number: 14343646

Country of ref document: US

NENP Non-entry into the national phase

Ref country code: DE

WWE Wipo information: entry into national phase

Ref document number: 2012835352

Country of ref document: EP