|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2010 10th IEEE International Conference on Computer and Information Technology
Separating Functional and Dependability Requirements of Embedded Systems
Bradford, West Yorkshire, UK
June 29-July 01
ISBN: 978-0-7695-4108-2
| ASCII Text | x | ||
| Zhe Chen, Gilles Motet, "Separating Functional and Dependability Requirements of Embedded Systems," Computer and Information Technology, International Conference on, pp. 2373-2380, 2010 10th IEEE International Conference on Computer and Information Technology, 2010. | |||
| BibTex | x | ||
| @article{ 10.1109/CIT.2010.408, author = {Zhe Chen and Gilles Motet}, title = {Separating Functional and Dependability Requirements of Embedded Systems}, journal ={Computer and Information Technology, International Conference on}, volume = {0}, year = {2010}, isbn = {978-0-7695-4108-2}, pages = {2373-2380}, doi = {http://doi.ieeecomputersociety.org/10.1109/CIT.2010.408}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Computer and Information Technology, International Conference on TI - Separating Functional and Dependability Requirements of Embedded Systems SN - 978-0-7695-4108-2 SP2373 EP2380 A1 - Zhe Chen, A1 - Gilles Motet, PY - 2010 KW - requirements evolution KW - dependability KW - reliability KW - safety KW - buchi automata KW - model checking KW - model monitoring VL - 0 JA - Computer and Information Technology, International Conference on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CIT.2010.408
This paper is motivated by the challenge to traditional development process of embedded systems from the evolution of dependability requirements, which leads to manual analysis and revision of system designs at design-time or post-implementation at a high cost, especially when the target system is complex or large. This paper proposes a complementary methodology, namely the model monitoring approach, to fill in the gap between the evolution of dependability requirements and traditional development process. The novel approach models functional and dependability requirements separately, and contains two alternative implementation techniques: model monitoring and model generating. The paper illustrates the methodology with examples and comparison with the model checking approach, to show better support of the evolution throughout the life-cycle at a lower cost.
Index Terms:
requirements evolution, dependability, reliability, safety, buchi automata, model checking, model monitoring
Citation:
Zhe Chen, Gilles Motet, "Separating Functional and Dependability Requirements of Embedded Systems," cit, pp.2373-2380, 2010 10th IEEE International Conference on Computer and Information Technology, 2010
Usage of this product signifies your acceptance of the Terms of Use.
