Deliberative, search-based mitigation strategies for model-based software health management-Reference-Cited by-同舟云学术

Deliberative, search-based mitigation strategies for model-based software health management

Published:2013-07-28 Issue:4 Volume:9 Page:293-318
ISSN:1614-5046
Container-title:Innovations in Systems and Software Engineering
language:en
Short-container-title:Innovations Syst Softw Eng

Author:

Mahadevan Nagabhushan,Dubey Abhishek,Balasubramanian Daniel,Karsai Gabor

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

http://link.springer.com/content/pdf/10.1007/s11334-013-0215-x.pdf

Reference58 articles.

1. Abdelwahed S, Karsai G, Mahadevan N, Ofsthun SC (2009) Practical considerations in systems diagnosis using timed failure propagation graph models. Instrum Meas IEEE Trans 58(2):240–247

2. ARINC (2010) ARINC specification 653p1-3: Avionics application software standard interface part 1 - required services. https://www.arinc.com/

3. Australian Transport Safety Bureau (2005) In-flight upset; 240km NW Perth, WA; Boeing Co 777–200, 9M-MRG. Tech. rep., http://www.atsb.gov.au/publications/investigation_reports/2005/aair/aair200503722.aspx

4. Australian Transport Safety Bureau (2008) AO-2008-070: In-flight upset, 154 km west of Learmonth, WA, 7 October 2008, VH-QPA, Airbus A330–303. Tech. rep., http://www.atsb.gov.au/publications/investigation_reports/2008/aair/ao-2008-070.aspx

5. Bailleux O, Boufkhad Y (2003) Efficient cnf encoding of boolean cardinality constraints. In: Principles and practice of constraint programming-9th international conference (CP 2003), pp 108–122

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

1. Model-based System Health Management and Contingency Planning for Autonomous UAS;AIAA Scitech 2019 Forum;2019-01-06

2. CHARIOT;ACM Transactions on Cyber-Physical Systems;2018-07-18

3. Achieving resilience in distributed software systems via self-reconfiguration;Journal of Systems and Software;2016-12

4. Theory and Technology Research on the Software Health Management;Applied Mechanics and Materials;2014-10