Abstract
The reference company for this paper – a multination organization, Italian branch, which works in the domain of safety-critical systems – evaluated the major tools that the market provides for testing safety-critical software, as not sufficiently featured for her quality improvement goals. Once that we had transformed those goals in detailed technical requirements, and evaluated that it was possible to realize them conveniently in a tool, we passed to analyze, construct, and eventually utilize in field the prototype “Software Test Framework”. This tool allows non-intrusive parallel measurements on different hard-soft targets of a distributed system running under one or more Unix standard OS. This paper reports on the characteristics of Software Test Framework, its architecture, and results from a case study. Based on comparison of results with previous tools, we can say that Software Test Framework is leading to a new concept of tool for the domain of safety critical software.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Basili, V.R., Caldiera, G., Rombach, H.D.: The Goal Question Metric Approach, Encyclopedia of Software Engineering. Wiley&Sons Inc. (1994)
EPRI, Handbook for verification and validation of digital systems Summary, EPRI TR103291, Vol.1, 1994.
IEEE, IEEE/EIA 12207.0-1996 Industry Implementation of International Standard ISO/IEC 12207: 1995 (ISO/IEC 12207) Standard for Information Technology Software Life Cycle Processes, in IEEE/EIA 12207.0-1996, pp. i-75. (1998)
Leveson., N.G.: Software safety: Why, what, and how. Computing Surveys 18(2), 125–163 (1986)
Isaksen, U., Bowen, J.P., Nissanke, N.: System and Software Safety in Critical Systems (December 1996)
Lilja, D.J.: Measuring Computer Performance. Cambridge University Press, Cambridge (2000)
Randell, B.: System Structure for Software Fault Tolerance. IEEE Trans. on Software Engineering SE-1(2), 220–232 (1975)
Simser, D., Seviora, R.E.: Supervision of Real-Time Systems Using Optimistic Path Prediction and Rollbacks. In: Procs. Int’l Symp. Software Reliability Eng (ISSRE), October 1996, pp. 340–349 (1996)
Tsai, J.J., Yang, S.J.: Monitoring and Debugging of Distributed Real-Time Systems. IEEE CS Press, Los Alamitos (1995)
Ubench 2.0TM (last access March 2006), http://www.phystec.com/download/ubench.html
Weyuker, E.J.: On Testing Non-Testable Programs. The Computer J 25(4), 465–470 (1982)
VxWorks, (last access, April 2006) http://www.windriver.com
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pennella, G., Di Biagio, C., Colicchia, A., Pesce, G., Cantone, G. (2006). Monitoring Distributed Systems for Safety Critical Software: A Goal-Driven Approach and Prototype-Tool. In: Min, G., Di Martino, B., Yang, L.T., Guo, M., Rünger, G. (eds) Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops. ISPA 2006. Lecture Notes in Computer Science, vol 4331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11942634_26
Download citation
DOI: https://doi.org/10.1007/11942634_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-49860-5
Online ISBN: 978-3-540-49862-9
eBook Packages: Computer ScienceComputer Science (R0)Springer Nature Proceedings Computer Science