Abstract
Critical control systems can only be used after approval of certification authorities due to safety reasons, among other aspects. Undetected failures in such systems can be catastrophic, including the loss of human lives or huge amounts of money. The safety assessment process aims to minimize such problems. But actually it still is largely dependent on human support (engineer’s experience). To decrease this human dependency, we propose a systematic hardware-based failure identification strategy. Following common practices in industry, which use Simulink diagrams to design (critical) control systems, the starting point of our proposed strategy is Simulink diagrams. The systematic identification is performed by the model checker FDR [11]. Therefore, we translate Simulink diagrams into CSP M specifications [30]. With our strategy, engineers only need to label certain Simulink elements as hardware and choose specific failure names for the generic ones our strategy provides. We illustrate our work on a simple but real case study supplied by our industrial partner EMBRAER.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Akerlund, O., Bieber, P., Boede, E., Bozzano, M., Bretschneider, M., Castel, C., Cavallo, A., Cifaldi, M., Gauthier, J., Griffault, A., Lisagor, O., Luedtke, A., Metge, S., Papadopoulos, C., Peikenkamp, T., Sagaspe, L., Seguin, C., Trivedi, H., Valacca, L.: ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. In: 3rd Embedded Real Time Software, Toulouse, France (January 2006)
ANAC: Aeronautical product certification. DOU N0 230, Seção 1, p. 28, (December 01, 2011) (November 2011), http://www2.anac.gov.br/biblioteca/resolucao/2011/RBAC21EMD01.pdf
Astrom, K.J., Murray, R.M.: Feedback Systems: An Introduction for Scientists and Engineers. Princeton University Press, Princeton (2008)
Bondavalli, A., Simoncini, L.: Failure classification with respect to detection. In: Second IEEE Workshop on Future Trends of Distributed Computing Systems, pp. 47–53 (October 1990)
Cousot, P.: Abstract interpretation. ACM Comput. Surv. 28, 324–328 (1996)
Damasceno, A., Farias, A., Mota, A.: A Mechanized Strategy for Safe Abstraction of CSP Specifications. In: Oliveira, M.V.M., Woodcock, J. (eds.) SBMF 2009. LNCS, vol. 5902, pp. 118–133. Springer, Heidelberg (2009)
Derrick, J., Wehrheim, H.: On using data abstractions for model checking refinements. Acta Informatica 44, 41–71 (2007)
FAA: RTCA, Inc., Document RTCA/DO-178B. U.S. Dept. of Transportation, Federal Aviation Administration, Washington, D.C. (1993)
FAA: Part 25 - airworthiness standards: Transport category airplanes. Tech. rep., Federal Aviation Administration (FAA), USA (2007)
Farias, A., Mota, A.C., Sampaio, A.: Compositional Abstraction of CSPZ Processes. J. Braz. Comp. Soc. 14(2), 23–44 (2008)
FSEL: FDR2 User Manual, version 2.91. Formal Systems (Europe) Ltd. (2010), http://fsel.com/fdr2_manual.html
Gomes, A., Mota, A., Sampaio, A., Ferri, F., Buzzi, J.: Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol. 6415, pp. 625–639. Springer, Heidelberg (2010)
Grunske, L., Winter, K., Yatapanage, N., Zafar, S., Lindsay, P.A.: Experience with fault injection experiments for FMEA. Software: Practice and Experience 41(11), 1233–1258 (2011)
Hamlin, J.W., Logan, B.C., Richards, W.A., Sanders, M.T., Wyckoff, R.C.: Automatic fault insertion system (AFIS). US Patent 4835459 (May 1989)
Jesus, J., Mota, A., Sampaio, A., Grijo, L.: Architectural Verification of Control Systems Using CSP. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol. 6991, pp. 323–339. Springer, Heidelberg (2011)
Joshi, A., Heimdahl, M.P.E.: Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol. 3688, pp. 122–135. Springer, Heidelberg (2005)
Koren, I., Krishna, C.M.: Fault Tolerant Systems. Morgan Kaufmann Publishers Inc., San Francisco (2007)
Lazić, R.: A Semantic Study of Data Independency with Applications to Model Checking. Master’s thesis, Oxford University (1999)
Mader, R., Armengaud, E., Leitner, A., Kreiner, C., Bourrouilh, Q., Grießnig, G., Steger, C., Weiß, R.: Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 113–127. Springer, Heidelberg (2011)
Majdara, A., Wakabayashi, T.: Component-based modeling of systems for automated fault tree generation. Reliability Engineering and System Safety 94(6), 1076–1086 (2009)
Mathewes Jr., J.K., Chancellor, C.A., Howes, H.F.: Transient and intermittent fault insertion. US Patent 4875209 (October 1989)
MathWorks: Matlab® (2010), http://www.mathworks.com/products/matlab
MathWorks: Simulink® (2010), http://www.mathworks.com/products/simulink
Mota, A., Jesus, J., Gomes, A., Ferri, F., Watanabe, E.: Evolving a Safe System Design Iteratively. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 361–374. Springer, Heidelberg (2010)
Nadeau-Dostie, B., Hulvershorn, H., Adham, S.M.I.: A new hardware fault insertion scheme for system diagnostics verification. In: International Test Conference, pp. 994–1002 (October 1995)
Nise, N.S.: Control systems engineering. Benjamin-Cummings Publishing Co., Inc., Redwood City (1992)
O’Connor, P., Newton, D., Bromley, R.: Practical reliability engineering. Wiley (2002)
Papadopoulos, Y., McDermid, J., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering & System Safety 71(3), 229–247 (2001)
Reed, G.M., Roscoe, A.W.: A timed model for communicating sequential processes. Theor. Comput. Sci. 58, 249–261 (1988)
Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)
SAE: SAE ARP4761 Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment (1996)
Snooke, N., Price, C.: Model-driven automated software FMEA. In: Reliability and Maintainability Symposium, pp. 1–6 (January 2011)
Sontrak: Logic Friday, http://www.sontrak.com
Svenningsson, R., Vinter, J., Eriksson, H., Törngren, M.: MODIFI: A MODel-Implemented Fault Injection Tool. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 210–222. Springer, Heidelberg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Didier, A., Mota, A. (2012). Identifying Hardware Failures Systematically. In: Gheyi, R., Naumann, D. (eds) Formal Methods: Foundations and Applications. SBMF 2012. Lecture Notes in Computer Science, vol 7498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33296-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-33296-8_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33295-1
Online ISBN: 978-3-642-33296-8
eBook Packages: Computer ScienceComputer Science (R0)