|
1. |
Forwards to safety standards |
|
Software Engineering Journal,
Volume 6,
Issue 2,
1991,
Page 37-40
P.A.Bennett,
Preview
|
PDF (574KB)
|
|
DOI:10.1049/sej.1991.0005
出版商:IEE
年代:1991
数据来源: IET
|
2. |
Proving properties of a safety-critical system |
|
Software Engineering Journal,
Volume 6,
Issue 2,
1991,
Page 41-50
WillAtkinson,
JimCunningham,
Preview
|
PDF (1200KB)
|
|
DOI:10.1049/sej.1991.0006
出版商:IEE
年代:1991
数据来源: IET
|
3. |
The choice of computer languages for use in safety-critical systems |
|
Software Engineering Journal,
Volume 6,
Issue 2,
1991,
Page 51-58
W.J.Cullyer,
S.J.Goodenough,
B.A.Wichmann,
Preview
|
PDF (1377KB)
|
|
摘要:
The paper reviews the choice of computer language for use in safety-critical systems. The advice given reflects both civil and military requirements. A comparison is made between assembly-level languages, the language C, CORAL 66, Pascal, Modula-2 and Ada. It is concluded that a well defined sub-language is essential for use in safety-critical projects, and a guide is provided for project managers and designers on the characteristics which such a subset should possess.
DOI:10.1049/sej.1991.0007
出版商:IEE
年代:1991
数据来源: IET
|
4. |
Testing — a challenge to method and tool developers |
|
Software Engineering Journal,
Volume 6,
Issue 2,
1991,
Page 59-64
Martyn A.Ould,
Preview
|
PDF (1052KB)
|
|
摘要:
The paper looks at the requirements for testing in Defence Standard 00–55, compares those requirements with what is possible today, and sets a challenge for methods and tools developers if the situation is to be improved.
DOI:10.1049/sej.1991.0008
出版商:IEE
年代:1991
数据来源: IET
|
|