Abstract
Traditionally safety analysis on hardware and software are carried out separately, so the analysis on the interface of hardware and software is a difficult problem and a week point of the kind of analysis. To meet the challenge, this paper present a SysML aided method for safety analysis by providing heuristic rules of transforming diagrams of SysML to FMEA and FTA. A case study on a typical control system is given for illustration.
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
Tribble, A.C., Miller, S.P.: Software intensive systems safety analysis. IEEE Aerospace and Electronic Systems Magazine 19(10), 21–26 (2004)
Zarandi, H.R., Miremadi, S.G.: Fault tree analysis of embedded systems using SystemC. In: Proceedings of Reliability and Maintainability Symposium, pp. 77–81 (2005)
Hsiung, P.-A., Chen, Y.-R., Lin, Y.-H.: Model Checking Safety-Critical Systems Using Safecharts. IEEE Transactions on Computers 56(5) (2007)
Thramboulidis, K., Scholz, S.: Integrating the 3+1 SysML view model with safety engineering. In: 2010 IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1–8 (2010)
SysML Open Source Specification Project, http://www.sysml.org
Li, G., Lu, M., Liu, B.: SFTA based saftey analysis for bridge pattern. In: Proceedings of 2009 8th International Conference on Reliability, Maintainability and Safety, ICRMS 2009, pp. 522–525. IEEE Computer Society, Los Alamitos (2009)
Bowles, J.B., Wan, C.: Software failure modes and effects analysis for a small embedded control system. In: Proceedings of Reliability and Maintainability Symposium, pp. 1–6 (2001)
ISO, Information processing – Documentation symbols and conventions for data, program and system flowcharts, program network charts and system resources charts. International Organization for Standardization (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, G., Wang, B. (2011). SysML Aided Safety Analysis for Safety-Critical Systems. In: Deng, H., Miao, D., Lei, J., Wang, F.L. (eds) Artificial Intelligence and Computational Intelligence. AICI 2011. Lecture Notes in Computer Science(), vol 7002. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23881-9_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-23881-9_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23880-2
Online ISBN: 978-3-642-23881-9
eBook Packages: Computer ScienceComputer Science (R0)