A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
Separating Functional and Dependability Requirements of Embedded Systems
2010
2010 10th IEEE International Conference on Computer and Information Technology
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 postimplementation 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
doi:10.1109/cit.2010.408
dblp:conf/IEEEcit/ChenM10a
fatcat:gjgrgl2r5zeofffzwpqqabdwia