Banerjee, Kajori ; Santhosh Prabhu, M. ; Dasgupta, Pallab (2013) Debugging assertion failures in software controllers using a reference model In: 6th India Software Engineering Conference - ISEC 2013, 21-23 February 2013, New Delhi, India.
Full text not available from this repository.
Official URL: http://dl.acm.org/citation.cfm?id=2442766
Related URL: http://dx.doi.org/10.1145/2442754.2442766
Abstract
Model based frameworks like Simulink/Stateflow for developing software control algorithms advocate the analysis of an abstract discrete state model of the controller before developing the actual code for the implementation. Though some of the existing tools support automatic code generation from the model, in actual practice the code is developed manually with the model as a reference, and independently validated against the safety requirements. If the safety properties can be guaranteed by the code then we reach verification closure, but if this is not the case, then we must debug the actual source of error in the code. We propose an approach for using the abstract model as a reference in this debugging task.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Source: | Copyright of this article belongs to Association for Computing Machinery. |
| ID Code: | 101614 |
| Deposited On: | 12 Dec 2016 11:13 |
| Last Modified: | 12 Dec 2016 11:13 |
Repository Staff Only: item control page
