An overview of Scade, a synchronous language for safety-critical software (keynote)

Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems ◽

10.1145/3427763.3432350 ◽

2020 ◽

Author(s):

Jean-Louis Colaço

Keyword(s):

Safety Critical ◽

Synchronous Language

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 ◽

Reference Governor

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 ◽

Author(s):

Dale W. Boren

Keyword(s):

Control Systems ◽

Safety Critical

Download Full-text

SOL: A Verifiable Synchronous Language for Reactive Systems

10.21236/ada465328 ◽

2002 ◽

Author(s):

Ramesh Bharadwaj

Keyword(s):

Reactive Systems ◽

Synchronous Language

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 ◽

Download Full-text

Relationships among Attitude of Patient Safety, Critical Thinking Disposition and Safety Nursing Activities in Nursing Students

Korean Association For Learner-Centered Curriculum And Instruction ◽

10.22251/jlcci.2017.17.23.859 ◽

2017 ◽

Vol 17 (23) ◽

pp. 859-877

Author(s):

Ji-Won Yoon ◽

Keyword(s):

Patient Safety ◽

Critical Thinking ◽

Nursing Students ◽

Critical Thinking Disposition ◽

Safety Critical ◽

Thinking Disposition

Download Full-text

Are best practices really best practice? [safety critical industry]

6th IET International Conference on System Safety 2011 ◽

10.1049/cp.2011.0271 ◽

2011 ◽

Author(s):

X. Quayzin

Keyword(s):

Best Practices ◽

Best Practice ◽

Safety Critical

Download Full-text

Designing intelligent control systems for safety critical applications

1st IET International Conference on System Safety ◽

10.1049/cp:20060205 ◽

2006 ◽

Author(s):

C.J. Harper ◽

A.F.T. Winfield

Keyword(s):

Control Systems ◽

Intelligent Control ◽

Safety Critical ◽

Intelligent Control Systems

Download Full-text