Safety testing of safety critical software based on critical mission duration

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. ◽

10.1109/prdc.2004.1276560 ◽

2004 ◽

Author(s):

Shiping Yang ◽

Nan Sang ◽

Guangze Xiong

Keyword(s):

Safety Testing ◽

Safety Critical ◽

Mission Duration

Download Full-text

Safety testing of safety critical software based on critical mission duration

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. ◽

10.1109/prdc.2004.1276557 ◽

2004 ◽

Cited By ~ 3

Author(s):

Shiping Yang ◽

Nan Sang ◽

Guangze Xiong

Keyword(s):

Safety Testing ◽

Safety Critical ◽

Mission Duration

Download Full-text

An Approach for Automated Safety Testing of Safety-Critical Software System Based on Safety Requirements

2009 International Forum on Information Technology and Applications ◽

10.1109/ifita.2009.18 ◽

2009 ◽

Cited By ~ 2

Author(s):

Gang Yu ◽

Zhong wei Xu ◽

Jun wei Du

Keyword(s):

Software System ◽

Safety Testing ◽

Safety Requirements ◽

Safety Critical

Download Full-text

Resilient PNT for Safety-Critical Applications � Toughen and Augment!

Proceedings of the 29th International Technical Meeting of The Satellite Division of the Institute of Navigation (ION GNSS+ 2016) ◽

10.33012/2016.14805 ◽

2016 ◽

Author(s):

Michael Meurer

Keyword(s):

Safety Critical

Download Full-text

Customization of Rational Unified Process (RUP) Methodology for Safety-Critical Systems

International Review on Computers and Software (IRECOS) ◽

10.15866/irecos.v11i6.9184 ◽

2016 ◽

Vol 11 (6) ◽

pp. 566

Author(s):

Mina Zaminkar ◽

Mohammad Reza Reshadinezhad

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Unified Process ◽

Safety Critical Systems

Download Full-text

Model-free Learning for Safety-critical Control Systems: A Reference Governor Approach

2020 American Control Conference (ACC) ◽

10.23919/acc45564.2020.9147255 ◽

2020 ◽

Author(s):

Kaiwen Liu ◽

Nan Li ◽

Ilya Kolmanovsky ◽

Denise Rizzo ◽

Anouck Girard

Keyword(s):

Control Systems ◽

Safety Critical ◽

Model Free ◽

Reference Governor

Download Full-text

Information technology equipment. Routine electrical safety testing in production

10.3403/30153799 ◽

2006 ◽

Keyword(s):

Information Technology ◽

Electrical Safety ◽

Safety Testing

Download Full-text

Faculty Opinions recommendation of Safety testing for neurovirulence of novel live, attenuated flavivirus vaccines: infant mice provide an accurate surrogate for the test in monkeys.

Faculty Opinions – Post-Publication Peer Review of the Biomedical Literature ◽

10.3410/f.1026753.325367 ◽

2005 ◽

Author(s):

CJ Peters

Keyword(s):

Safety Testing

Download Full-text

Generation of testing script based on XML for safety-critical systems

Journal of Computer Applications ◽

10.3724/sp.j.1087.2011.00281 ◽

2011 ◽

Vol 31 (1) ◽

pp. 281-285

Author(s):

Huan HE ◽

Zhong-wei XU ◽

Gang YU ◽

Shi-yu YANG

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Management of Test Complexity for Emerging Safety Critical Control Systems Program

10.21236/ada455899 ◽

2006 ◽

Cited By ~ 1

Author(s):

Dale W. Boren

Keyword(s):

Control Systems ◽

Safety Critical

Download Full-text

Use of Unified Modeling Language (UML) in Model-Based Development (MBD) For Safety-Critical Applications

10.21236/ada621409 ◽

2014 ◽

Author(s):

Susan M. Bonne ◽

Jason K. Rupert

Keyword(s):

Unified Modeling Language ◽

Modeling Language ◽

Unified Modeling ◽

Safety Critical ◽

Model Based

Download Full-text