Abstract
The obvious growth of complexity in embedded and cyber physical systems requires from developers to be innovative in the way they carry out the verification process. To increase the amount of information available from a system, software instrumentation has been previously used in these domains, therefore solving the problem of observability. In addition, as this kind of systems tends to be increasingly involved in safety critical and dependable applications, ensuring reliability properties must also be considered as a part of the verification process. In this paper, the system observability problem is initially being introduced. Then, as a solution to overcome the previous limitation, instrumentation is being explored. To address the verification concerns of resilient systems, a three components model is designed, the latter explicitly defining degradation and compensation models to capture the resiliency routine. Finally, to conclude the models definition, a handful number of LTL properties are identified and discussed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.E.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Sec. Comput. 1(1), 11–33 (2004)
Rieger, C.G., Gertman, D.I., McQueen, M.A.: Resilient control systems: next generation design research. In: 2nd Conference on Human System Interactions, HSI 2009, pp. 632–636. IEEE (2009)
Bouchhima, A., Gerin, P., Pétrot, F.: Automatic instrumentation of embedded software for high level hardware/software co-simulation. In: ASP-DAC, pp. 546–551. IEEE (2009)
Sen, K., Marinov, D., Agha, G.: Cute: a concolic unit testing engine for c. In: Wermelinger, M., Gall, H. (eds.) ESEC/SIGSOFT FSE, pp. 263–272. ACM (2005)
Kim, M., Kim, Y., Jang, Y.: Industrial application of concolic testing on embedded software: Case studies. In: Antoniol, G., Bertolino, A., Labiche, Y. (eds.) ICST, pp. 390–399. IEEE (2012)
Sen, K.: DART: Directed automated random testing. In: Namjoshi, K., Zeller, A., Ziv, A. (eds.) HVC 2009. LNCS, vol. 6405, p. 4. Springer, Heidelberg (2011)
Tikir, M.M., Hollingsworth, J.K.: Efficient instrumentation for code coverage testing. ACM SIGSOFT Software Engineering Notes 27(4), 86–96 (2002)
Henzinger, T.A.: The theory of hybrid automata. In: Kemal Inan, M., Kurshan, R.P. (eds.) Verification of Digital and Hybrid Systems. NATO ASI Series, vol. 170, pp. 265–292. Springer, Heidelberg (2000)
Titzer, B., Palsberg, J.: Nonintrusive precision instrumentation of microcontroller software. In: Paek, Y., Gupta, R. (eds.) LCTES, pp. 59–68. ACM (2005)
Péraire, C.: Formal testing of object-oriented software. PhD thesis, ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE (1998)
Horning, J.J., Lauer, H.C., Melliar-Smith, P.M., Randell, B.: A program structure for error detection and recovery. In: Gelenbe, E., Kaiser, C. (eds.) Operating Systems. LNCS, vol. 16, pp. 171–187. Springer, Heidelberg (1981)
Randell, B.: System structure for software fault tolerance. IEEE Trans. Software Eng. 1(2), 221–232 (1975)
Henkel, J., Bauer, L., Becker, J., Bringmann, O., Brinkschulte, U., Chakraborty, S., Engel, M., Ernst, R., Härtig, H., Hedrich, L., Herkersdorf, A., Kapitza, R., Lohmann, D., Marwedel, P., Platzner, M., Rosenstiel, W., Schlichtmann, U., Spinczyk, O., Tahoori, M.B., Teich, J., Wehn, N., Wunderlich, H.-J.: Design and architectures for dependable embedded systems. In: Dick, Madsen (eds.) [14], pp. 69–78
Dick, R.P., Madsen, J. (eds.): Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2011, part of ESWeek 2011 Seventh Embedded Systems Week, Taipei, Taiwan, October 9-14. ACM (2011)
Li, M.-L., Ramachandran, P., Sahoo, S.K., Adve, S.V., Adve, V.S., Zhou, Y.: Understanding the propagation of hard errors to software and implications for resilient system design. In: Eggers, S.J., Larus, J.R. (eds.) ASPLOS, pp. 265–276. ACM (2008)
López Bóbeda, E., Colange, M., Buchs, D.: StrataGEM: A generic petri net verification framework. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 364–373. Springer, Heidelberg (2014)
Buchs, D., Hostettler, S., Marechal, A., Risoldi, M.: AlPiNA: A symbolic model checker. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 287–296. Springer, Heidelberg (2010)
Voelter, M., Ratiu, D., Schätz, B., Kolb, B.: mbeddr: an extensible c-based programming language and ide for embedded systems. In: Leavens, G.T. (ed.) SPLASH, pp. 121–140. ACM (2012)
Di Marzo Serugendo, G., Fitzgerald, J.S., Romanovsky, A., Guelfi, N.: A metadata-based architectural model for dynamically resilient systems. In: Cho, Y., Wainwright, R.L., Haddad, H., Shin, S.Y., Koo, Y.W. (eds.) SAC, pp. 566–572. ACM (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Lawrence, D., Buchs, D., Wellig, A. (2014). Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems. In: Majzik, I., Vieira, M. (eds) Software Engineering for Resilient Systems. SERENE 2014. Lecture Notes in Computer Science, vol 8785. Springer, Cham. https://doi.org/10.1007/978-3-319-12241-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-12241-0_11
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12240-3
Online ISBN: 978-3-319-12241-0
eBook Packages: Computer ScienceComputer Science (R0)