A Set of Design Validation Criteria and a Universal Model for Defining Functional Specification of Digital Systems

供定義數位系統功能性規格用之通用模型及設計驗證規範

陳聰明(Tsorng-Ming Chen)

《萬能學報》 35期 (2013/07) Pp. 289-304

摘要

在定義一數位系統時，定義其功能性規格在整個設計週期中，乃是一重要里程碑。因為此時並無任何精確之文件可供驗證，且此階段有許多的工程設計判斷及取捨待做。結果，在此階段唯有依據某種規範來進行人工驗證。更有進者，如果在此階段，發生了設計錯誤，卻未及早發現，則其累積的代價將極高，可能高達兩百倍之鉅。本論文提出一通用模型，並提出一組初步之驗證規範，以供導出功能性規格之用。若時機適當，相關之系統失效實例附上，供展示這些規範之適用場合。

關鍵字

設計確認 ； 功能規格導出模型 ； 設計指針

並列摘要

In designing a digital system, defining the functional specification represents the first corner stone in the whole design life cycle. Since there isn't anything precise to verify against and a lot of engineering judgments and tradeoffs are involved in it, as a result, only manual validation according to some criteria is possible in this stage (although some automatic tools may be helpful, but only for those routine part of works). Furthermore, if a design error occurs in this stage and is not captured earlier enough, then its accumulated effect in the following process could mean 200 times more costly than if found earlier.In this paper, a set of validation criteria and a universal model for deriving and validating a functional specification of a digital system are developed and presented. As application evidences, whenever appropriate, relevant system failure cases are also given to illustrate the usefulness of the criteria.

並列關鍵字

design validation ； functional specification deriving model ； design criteria

參考文獻

Maropoulos PG, and Ceglarek D., “Design verification and validation in product lifecycle”, CIRP Annals --- Manufacturing Technology (2010), doi:10.1016/ j.cirp.2010.05.005, 2010

Derek J. Hatley, and I. A. Pirbhai, “Strategies for Real-time System Specification”, Dorset House Publishing, New York, 1987

Jeffrey O. Graby, “System Validation and Verification”, CRC Press, Chapter 1, pp1-50, 1998

Douglas Sailor, “System Engineering: An Introduction”, from “Tutorial : System and Software Requirements Engineering”, R.H. Thayer and M. Dorfman (Eds.), IEEE Computer Society, Washington, D.C., pp35-47, 1990

M.S. Jaffe, N. Heard Round the World”, ACM SIGSOFT, Software Engineering Notes, Vol. 6, No.5, pp3-10, October 1981