Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software.
Richard BonichonGéraud CanetLoïc CorrensonEric GoubaultEmmanuel HaucourtMichel HirschowitzSébastien LabbéSamuel MimramPublished in: SAFECOMP (2011)
Keyphrases
- control software
- control system
- industrial applications
- fault detection
- fault diagnosis
- concurrency control
- database systems
- evidential reasoning
- industrial processes
- empirical evidence
- software systems
- transaction processing
- belief functions
- test cases
- fault model
- technology transfer
- fault detection and isolation
- object oriented languages
- database
- nested transactions
- quality improvement
- fine grained
- programming language
- software engineering
- case study