Reliability assessment of framework-based distributed embedded software systems

作者: F.B. Bastani , Sung Kim , I-Ling Yen , Ing-Ray Chen

DOI: 10.1109/ISSRE.2002.1173291

关键词:

摘要: Distributed embedded software systems, such as sensor networks and command control are complex systems with stringent performance, reliability, security, safety constraints. These also long-lived that must be continually upgraded evolved to incorporate enhanced functionality. One approach for achieving high quality evolvability these is organize them in the form of application-oriented frameworks allow system composed from orthogonal aspects can independently developed, evolved, certified. In this paper, we define a general framework allows distributed have relatively independent aspects, including "plug-and-play" capability. We present conditions under which reliability inferred individual aspects. The illustrated framework-based network.

参考文章(22)
S.S. Lam, A.U. Shankar, A theory of interfaces and modules I/spl minus/composition theorem IEEE Transactions on Software Engineering. ,vol. 20, pp. 55- 71 ,(1994) , 10.1109/32.263755
R. Balzer, Tolerating inconsistency (software development) international conference on software engineering. pp. 158- 165 ,(1991) , 10.1109/ICSE.1991.130638
Joanne Bechta Dugan, Randy Van Buren, Reliability evaluation of fly-by-wire computer systems Journal of Systems and Software. ,vol. 25, pp. 109- 120 ,(1994) , 10.1016/0164-1212(94)90061-2
Howard A. Blair, V.S. Subrahmanian, Paraconsistent logic programming Theoretical Computer Science. ,vol. 68, pp. 135- 154 ,(1989) , 10.1016/0304-3975(89)90126-6
Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, John Irwin, None, Aspect-oriented programming ACM Computing Surveys. ,vol. 28, pp. 154- ,(1996) , 10.1145/242224.242420
John Bell, Nonmonotonic reasoning, nonmonotonic logics and reasoning about change Artificial Intelligence Review. ,vol. 4, pp. 79- 108 ,(1990) , 10.1007/BF00133188
Pamela Zave, A distributed alternative to finite-state-machine specifications ACM Transactions on Programming Languages and Systems. ,vol. 7, pp. 10- 36 ,(1985) , 10.1145/2363.2365
Daniel Jackson, Structuring Z specifications with views ACM Transactions on Software Engineering and Methodology. ,vol. 4, pp. 365- 389 ,(1995) , 10.1145/226241.226249
C. B. Jones, Tentative steps toward a development method for interfering programs ACM Transactions on Programming Languages and Systems. ,vol. 5, pp. 596- 619 ,(1983) , 10.1145/69575.69577
David Harel, Statecharts: A visual formalism for complex systems Science of Computer Programming. ,vol. 8, pp. 231- 274 ,(1987) , 10.1016/0167-6423(87)90035-9