Arguing on Software-Level Verification Techniques Appropriateness

@inproceedings{Crlan2017ArguingOS,
  title={Arguing on Software-Level Verification Techniques Appropriateness},
  author={Carmen C{\^a}rlan and Barbara Gallina and Severin Kacianka and Ruth Breu},
  booktitle={SAFECOMP},
  year={2017}
}
In this paper, we investigate the pondered selection of innovative software verification technology in the safety-critical domain and its implications. Verification tools perform analyses, testing or simulation activities. The compliance of the techniques implemented by these tools to fulfill standard-mandated objectives (i.e., to be means of compliance in the context of DO-178C and related supplements) should be explained to the certification body. It is thereby difficult for practitioners to… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-4 OF 4 CITATIONS

Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems

  • 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
  • 2018
VIEW 1 EXCERPT
CITES METHODS

Verifiable Self-Certifying Autonomous Systems

  • 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
  • 2018
VIEW 2 EXCERPTS
CITES BACKGROUND

Living Safety Arguments for Open Systems

  • 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
  • 2017
VIEW 1 EXCERPT
CITES METHODS

References

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

Integrated Formal Methods for Constructing Assurance Cases

  • 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
  • 2016
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

DO-333 formal methods supplement to DO-178C and DO-278A

RTCA
  • RTCA & EUROCAE
  • 2011
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

Evidence arguments for using formal methods in software certification

  • 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
  • 2013
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Evaluation of diverse compiling for software-fault detection

  • 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE)
  • 2015
VIEW 2 EXCERPTS