Model-Based Analysis of Safety Critical Validation Algorithm

Kushal K S; Dr. Manju Nanda; J Jayanthi

Model-Based Analysis of Safety Critical Validation Algorithm

Kushal K S * §

Contact

Dr. Manju Nanda

Contact

J Jayanthi

Contact

johnatlan

Contact

§ CSIR National Aerospace Laboratories

Model-Based Analysis of Safety Critical Validation Algorithm

Article Fingerprint

ReserarchID

RE5V8OX

Model-Based Analysis of Safety Critical Validation Algorithm Banner

AI TAKEAWAY

Abstract

Safe operation of a critical embedded system requires reliable information about the state of the system and signal condition of the system. Validity of sensors which measure the process variables are of great importance. Signal validation comprises of detection, isolation and characterization of faulty signals. Signals that are validated are critical for their increased availability in the system. Model-Based Engineering (MBE) approach provides means of modeling, analyzing, and validating the signals for critical embedded system design, and development. The abstract nature of the models provides mechanisms to analyze verify and validate the system functionality, at a much early stage in their development process.

References

13 Cites in Article

Reference Format

B Jost,M Ketterl,R Budde,T Leimbach (2014). Graphical programming environments for educational robots: Open roberta-yet another one?.
F Huber,S Molterer,A Rausch,B Schatz,M Sihling,O Slotosch (1998). Tool supported specification and simulation of distributed systems.
J Philipps,O Slotosch (1999). The quest for correct systems: model checking of diagrams and datatypes.
M Nanda,J Jayanthi,S Rao (2008). Novel Validation Algorithms for Safety Critical Embedded Software.
Prathapanayaka Rajeevalochanam,Vinod Nanjundaiah,Santhosh Sahadevan,Krishnamurthy Janney (2015). Design and Development of Three-Bladed Propeller for Micro Air Vehicles.
Rtca (2011). Introduction to RTCA/DO-254.
Stefan Gulan,Jens Harnisch,Sven Johr,Roberto Kretschmer,Stefan Rieger,Rafael Zalman (2015). Model-Based Analysis for Safety Critical Software.
Peter Feiler (2010). Model-based validation of safety-critical embedded systems.
Eckard Bringmann,Andreas Kr (2008). Model-Based Testing of Automotive Systems.
A Blotz,F Huber,H Lötzbeyer,A Pretschner,O Slotosch,H Zängerl (2002). Model-based software engineering and Ada: Synergy for the development of safety-critical systems.
Y Yeh (2001). Safety critical avionics for the 777 primary flight controls system.
A Ray,R Luck (1991). An introduction to sensor signal validation in redundant measurement systems.
Ali Erbay,Seyfettin (1994). A PC-Based Signal Validation System for Nuclear Power Plants.

Download References

Funding

No external funding was declared for this work.

Conflict of Interest

The authors declare no conflict of interest.

Ethical Approval

No ethics committee approval was required for this article type.

Data Availability

Not applicable for this article.

How to Cite This Article

Kushal K S, Dr. Manju Nanda, J Jayanthi, johnatlan. 2017. "Model-Based Analysis of Safety Critical Validation Algorithm". Global Journal of Research in Engineering - D: Aerospace Science GJRE-D Volume 17 (GJRE Volume 17 Issue D1).

More Citation Formats

Select Citation Style:

Download Citation

GJRE Volume 17 Issue D1

Explore Journals Explore Volume Read This Issue

Journal Specifications

Crossref Journal DOI 10.17406/gjre

Print ISSN 0975-5861

e-ISSN 2249-4596

Keywords

Not Found

Classification

GJRE-D Classification FOR Code: 090199

Submission ReceivedDecember 15, 2016
Peer Review Double Blind
Handling Editor
Accepted December 31, 2016
Published January 15, 2017

Version of record

v1.2

Issue date

May 4, 2017

Language

English

Experiance in AR

Explore published articles in an immersive Augmented Reality environment. Our platform converts research papers into interactive 3D books, allowing readers to view and interact with content using AR and VR compatible devices.

View in VR

Read in 3D

Your published article is automatically converted into a realistic 3D book. Flip through pages and read research papers in a more engaging and interactive format.

View in 3D

Article Matrices

Total Score: 109

Country: India

Subject: Global Journal of Research in Engineering

Authors: Kushal K S, John Paul J, Dr. Manju Nanda, J Jayanthi (PhD/Dr. count: 1)

View Count (all-time): 440

Total Views (Real + Logic): 1386

Total Downloads (simulated): 58

Publish Date: 2017 01, Sun

Monthly Totals (Real + Logic):

Month 1: 20 views
Month 2: 29 views
Month 3: 28 views
Month 4: 34 views
Month 5: 46 views
Month 6: 23 views
Month 7: 22 views
Month 8: 41 views
Month 9: 32 views
Month 10: 28 views
Month 11: 27 views
Month 12: 36 views
Month 13: 31 views
Month 14: 45 views
Month 15: 37 views
Month 16: 17 views
Month 17: 43 views
Month 18: 35 views
Month 19: 39 views
Month 20: 22 views
Month 21: 18 views
Month 22: 43 views
Month 23: 43 views
Month 24: 30 views
Month 25: 28 views
Month 26: 36 views
Month 27: 34 views
Month 28: 19 views
Month 29: 32 views
Month 30: 30 views
Month 31: 19 views
Month 32: 27 views
Month 33: 25 views
Month 34: 29 views
Month 35: 30 views
Month 36: 27 views
Month 37: 25 views
Month 38: 41 views
Month 39: 23 views
Month 40: 30 views
Month 41: 34 views
Month 42: 17 views
Month 43: 20 views
Month 44: 33 views
Month 45: 24 views
Month 46: 31 views
Month 47: 37 views
Month 48: 33 views
Month 49: 11 views
Month 50: 25 views
Month 51: 39 views
Month 52: 26 views
Month 53: 38 views
Month 54: 32 views
Month 55: 32 views
Month 56: 21 views
Month 57: 34 views
Month 58: 20 views
Month 59: 44 views
Month 60: 21 views
Month 61: 47 views
Month 62: 35 views
Month 63: 29 views
Month 64: 28 views
Month 65: 25 views
Month 66: 37 views
Month 67: 37 views
Month 68: 30 views
Month 69: 41 views
Month 70: 42 views
Month 71: 28 views
Month 72: 34 views
Month 73: 26 views
Month 74: 33 views
Month 75: 26 views
Month 76: 43 views
Month 77: 13 views
Month 78: 17 views
Month 79: 45 views
Month 80: 42 views
Month 81: 40 views
Month 82: 34 views
Month 83: 30 views
Month 84: 32 views
Month 85: 49 views
Month 86: 39 views
Month 87: 31 views
Month 88: 31 views
Month 89: 27 views
Month 90: 34 views
Month 91: 34 views
Month 92: 44 views
Month 93: 45 views
Month 94: 17 views
Month 95: 32 views
Month 96: 42 views
Month 97: 41 views
Month 98: 34 views
Month 99: 38 views
Month 100: 15 views
Month 101: 41 views
Month 102: 41 views
Month 103: 45 views
Month 104: 27 views
Month 105: 24 views
Month 106: 65 views
Month 107: 85 views
Month 108: 68 views
Month 109: 60 views
Month 110: 39 views
Month 111: 16 views
Month 112: 43 views
Month 113: 35 views
Month 114: 41 views
Month 115: 60 views
Month 116: 53 views
Month 117: 34 views

Total Views: 1.4K

Total Downloads: 58

All Trends