摘要
由Nancy G. Leveson提出的SpecTRM，是一個深具發展潛力的constraint -based規格語言，而本研究主要是為延伸SpecTRM現有的功能，並建立一個具有可重覆使用(Reuse)特性的工具軟體。 我們提出了故障樹分析法，依據SpecTRM-RL的狀態機和限制組合，以自動化的方式建構出故障樹；而本研究在開發軟體工具的過程，採用物件導向及框架的概念，設計一個延伸SpecTRM-RL及具有可重覆使用特性的工具軟體；另外加入了量測指標分析，用以統計及分析使用者所建立的鏈結，如在文件中各種不同鍵結的類型，進而呈現出該專案如時間上的關鍵性、複雜度、及耦合度等特質。 本研究主要目的在於延伸SpecTRM-RL，並提昇規格的品質及安全性，而且以元件概念的設計方法，實作一個容易使用及具良好延展性的工具軟體。
並列摘要
SpecTRM-RL is a very promising constraint-based specification language designed by MIT’s professor Nancy G. Leveson. Our research first extended SpecTRM-RL and then constructed a reusable tool for the extended SpecTRM-RL. We extended SpecTRM-RL by proposing a systematic way to generate fault trees for safety verification based on SpecTRM-RL’s state machine and associated constraints. We used object-oriented and framework concepts to design a reusable tool for the extended SpecTRM-RL. Moreover, we proposed a metrics system by counting and analyzing different types of specified constraints as well as different types of hyperlinks among document fragments. These metrics are supported by the tool to reveal such system features as time-criticality, complexity, coupling, and recoverability, etc. Our proposed methods enhance the quality and safety of the systems specified in the extended SpecTRM-RL. In addition, our component-based tool can be easily reused and extended.
參考文獻
[5] Dae-Kyoo Kim, Robert France, et. “A Role-Based Metamodeling Approach to Specifying Design Patterns,” Computer Software and Applications Conference, 2003. COMPSAC 2003. Proceedings. 27th Annual International.
[7] Harel D., “Statechart: a visual formalization for complex systems,” Sci. Comput. Program. 1987, Vol.8, pp. 231-274.
[8] Herbert D.Schwetman “Introduction to process-oriented simulation and CSIM,” Simulation Conference, Proceedings., Winter 9-12 Dec. 1990 Page(s):154 – 157.
[13] Marko Cepin, Borut Mavko, “Fault tree developed by an object-based method improves requirements specification for safety-related systems,” Reliability Engineering and System Safety 63(1999) 111-125.
[17] Nancy G. Leveson “Designing Automation to Reduce Operator Errors,” Systems, Man, and Cybernetics, 1997. 'Computational Cybernetics and Simulation'., 1997 IEEE International Conference on Volume 2, 12-15 Oct. 1997 Page(s):1144 - 1150 vol.2.