Software health management: a necessity for safety critical systems-Reference-Cited by-同舟云学术

Software health management: a necessity for safety critical systems

Published:2013-05-22 Issue:4 Volume:9 Page:219-233
ISSN:1614-5046
Container-title:Innovations in Systems and Software Engineering
language:en
Short-container-title:Innovations Syst Softw Eng

Author:

Srivastava Ashok N.,Schumann Johann

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

http://link.springer.com/content/pdf/10.1007/s11334-013-0212-0.pdf

Reference63 articles.

1. ADAC: Pannenstatistik (Wikipedia Germany) (2008). http://de.wikipedia.org/wiki/Pannenstatistik

2. Adler M (2006) The planetary society blog: spirit Sol 18 Anomaly. http://www.planetary.org/blog/article/00000702/

3. Andrews D (2011) Managing the bad day. NASA Acad Shar Knowl 44:5–10

4. Associates B (2009) Run-time verification and validation for safety-critical flight control systems. Air Force SBIR/STTR, AF04-246 https://www.afsbirsttr.com/Publications/Documents/Innovation-121109-BarronAssociates-AF04-246.pdf

5. Barringer H, Falcone Y, Finkbeiner B, Havelund K, Lee I, Pace GJ, Rosu G, Sokolsky O, Tillmann N (eds) (2010) Runtime verification—first international conference, RV 2010, 2010. Proceedings, Lecture Notes in Computer Science, vol 6418. Springer, Berlin

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. HealthyEnv: a tool to assist in health assessment of software repositories;Proceedings of the XXXVI Brazilian Symposium on Software Engineering;2022-10-05

2. A Framework for Software Health Management using Bayesian Statistics;Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops;2020-06-27

3. A Systematic Modeling Approach for Failure Indicators of Complex Software-Intensive Systems;2018 12th International Conference on Reliability, Maintainability, and Safety (ICRMS);2018-10

4. Extracting Interaction-related Failure Indicators for Online Detection and Prediction of Content Failures;IEEE INT SYMP SOFTW;2018

5. Deterministic High-Level Executable Models Allowing Efficient Runtime Verification;Communications in Computer and Information Science;2018