Just-in-Time Certification

@article{Rushby2007JustinTimeC,
  title={Just-in-Time Certification},
  author={John M. Rushby},
  journal={12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)},
  year={2007},
  pages={15-24}
}
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper is a call and a manifesto for new approaches to certification. We start by advocating a goal-based approach in which unconditional claims delivered by formal methods are combined with other evidence in multi-legged cases supported by Bayesian analysis. We then describe the necessity, and the challenge, of extending… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 28 CITATIONS

Living Safety Arguments for Open Systems

  • 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
  • 2017
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Computer Safety, Reliability, and Security

  • Lecture Notes in Computer Science
  • 2014
VIEW 12 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Safety Engineering Framework for Open Adaptive Systems

  • 2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing Systems
  • 2011
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Preventing Omission of Key Evidence Fallacy in Process-Based Argumentations

  • 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC)
  • 2018
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 50 REFERENCES

Abstractions for hybrid systems

  • Formal Methods in System Design
  • 2008
VIEW 1 EXCERPT

Toward an Integration Protection Profile for MILS

J. Rushby, R. DeLong
  • Computer Science Laboratory, SRI International, Menlo Park, CA
  • 2007
VIEW 1 EXCERPT

What Use is Verified Software?

  • 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
  • 2007
VIEW 1 EXCERPT

Harnessing Disruptive Innovation in Formal Verification

  • Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
  • 2006
VIEW 1 EXCERPT