Formal specification in collaborative design of critical software tools

被引：4

作者：

Coppit, D ^{[1
]}

Sullivan, KJ ^{[1
]}

机构：

[1] Univ Virginia, Dept Comp Sci, Charlottesville, VA 22903 USA

来源：

THIRD IEEE INTERNATIONAL HIGH-ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS | 1998年

关键词：

D O I：

10.1109/HASE.1998.731590

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Engineers use software tools to analyze designs for critical systems. Because important decisions are based an tool results, tools must provide valid modeling constructs; engineers must understand them to validate their models; and tools must be implemented without major error. Such tools thus demand careful conceptual and software design. One aspect of such design is the use of rigorous specification and design techniques. This paper contributes a case study on the use of such techniques in the collaborative development of a dynamic fault tree analysis fool. The collaboration involved software engineering researchers knowledgeable in. software specification and design and reliability engineering researchers expert in fault tree analysis. Our work revealed conceptual and implementation errors in an earlier version of the tool. Our study supports the position that there is a need for rigorous software specification and design in developing novel analysis tools, and that collaboration between software engineers and domain experts is feasible and profitable.

引用

页码：13 / 20

页数：8

共 16 条

[1]

BOYD MA, 1990, THESI DUKE U

[2]

BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819

[3]

DOYLE SA, 1995, P IEEE INT S FAULT T

[4] DYNAMIC FAULT-TREE MODELS FOR FAULT-TOLERANT COMPUTER-SYSTEMS [J].

DUGAN, JB ;

BAVUSO, SJ ;

BOYD, MA .

IEEE TRANSACTIONS ON RELIABILITY, 1992, 41 (03) :363-377

[5] FAULT-TREES AND MARKOV-MODELS FOR RELIABILITY-ANALYSIS OF FAULT-TOLERANT DIGITAL-SYSTEMS [J].

DUGAN, JB ;

BAVUSO, SJ ;

BOYD, MA .

RELIABILITY ENGINEERING & SYSTEM SAFETY, 1993, 39 (03) :291-307

[6]

GULATI R, 1997, P REL MAINT S JAN

[7] HOW ACCURATE IS SCIENTIFIC SOFTWARE [J].

HATTON, L ;

ROBERTS, A .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (10) :785-797

[8]

Murphy Gail C., 1998, ACM T SOFTW ENG METH, V7

[9]

Shampine L. F., 1976, ACM Transactions on Mathematical Software, V2, P172, DOI 10.1145/355681.355687

[10] Experience assessing an architectural approach to large-scale systematic reuse [J].

Sullivan, KJ ;

Knight, JC .

PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, :220-229

← 1 2 →