research-article

Open access

Development methods for trusted computer systems

Author:

Martyn ThomasAuthors Info & Claims

Formal Aspects of Computing, Volume 1, Issue 1

Pages 5 - 18

https://doi.org/10.1007/BF01887197

Published: 01 March 1989 Publication History

PDF eReader

Conclusion

Well-designed computer systems can be safer than hardwired alternatives, and computer systems can control processes which are too complex for hardwired solutions, or where the hardwired solution is uneconomic.

References

[1]

ACM Software Engineering Notes, 4,2 (1979).

Google Scholar

[2]

Computing Australia, 13 June 1988.

Google Scholar

[3]

Cullyer, W. J.:Should We Trust Computers? Lecture to the Society for the Application of Research, Cambridge, UK. RSRE, St Andrews Rd, Gt Malvern, Worcestershire WR14 3PS.

Google Scholar

[4]

Cullyer, W. J.: Implementing Safety-Critical Systems: the VIPER Microprocessor, In:Proc. Workshop on Hardware Verification, Calgary, Canada, January 1987.

Google Scholar

[5]

Defence Standard 00-55.

Google Scholar

[6]

Dijkstra, E. W.:A Discipline of Programming. Prentice-Hall, 1976.

Google Scholar

[7]

Fetzer, J. H.: Program Verification: the Very Idea.Communications of the ACM, 31 (1988).

Google Scholar

[8]

Hoare C. A. R. An Axiomatic Basis for Computer Programming Communications of the ACM 1969 12 576-580

Digital Library

Google Scholar

[9]

International Electrotechnical Committee [IEC] WG65A, TC9 and TC10.

Google Scholar

[10]

Jones, C. B.:Systematic Software Development Using VDM. Prentice-Hall, 1986.

Google Scholar

[11]

Leveson, N.:ACM Computing Surveys, 18, 1986.

Google Scholar

[12]

Neumann, P. (ed.):ACM Forum on Risks to the Public in Computers and Related Systems. Extracts reprinted inACM Software Engineering Notes. The Forum is published electronically on USENET as newsgroup comp. risks.

Google Scholar

[13]

Thomas, M.:Should We Trust Computers? BCS/Unisys Annual Lecture 1988, available from Maureen Murphy, BCS, 13, Mansfield Street, London W1 (10).

Google Scholar

[14]

UK Health and Safety Executive (unpublished).

Google Scholar

Index Terms

Development methods for trusted computer systems

Index terms have been assigned to the content through auto-classification.

Recommendations

National culture and consumer trust in e-commerce

The article examines how culture influences trust in e-commerce.Disposition to trust is a significant predictor of perceived trustworthiness.Disposition to trust mediates effects between national culture and trustworthiness.Long-term orientation and ...
The elements of computer credibility
CHI '99: Proceedings of the SIGCHI conference on Human Factors in Computing Systems

Given the importance of credibility in computing products, the research on computer credibility is relatively small. To enhance knowledge about computers and credibility, we define key terms relating to computer credibility, synthesize the literature in ...
Perspectives on software safety case development for unmanned aircraft
DSN '12: Proceedings of the 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

We describe our experience with the ongoing development of a safety case for an unmanned aircraft system (UAS), emphasizing autopilot software safety assurance. Our approach combines formal and non-formal reasoning, yielding a semi-automatically ...

Comments

Information & Contributors

Information

Published In

Formal Aspects of Computing Volume 1, Issue 1

Mar 1989

410 pages

ISSN:0934-5043

EISSN:1433-299X

Issue’s Table of Contents

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 March 1989

Revision received: 15 November 1988

Received: 15 July 1988

Published in FAC Volume 1, Issue 1

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
62
Total Downloads

Downloads (Last 12 months)36
Downloads (Last 6 weeks)6

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Conclusion

References

References

Index Terms

Recommendations

National culture and consumer trust in e-commerce

The elements of computer credibility

Perspectives on software safety case development for unmanned aircraft

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations