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

Key Research Insights

Synthesized scholarly intelligence & interactive research assistant

This converted HTML version may contain rendering inconsistencies. Please refer to the PDF for the authoritative version, or click here to provide feedback.

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

1. B Jost,M Ketterl,R Budde,T Leimbach (2014). Graphical programming environments for educational robots: Open roberta-yet another one?. IEEE International Symposium, 381-386.
2. F Huber,S Molterer,A Rausch,B Schatz,M Sihling,O Slotosch (1998). Tool supported specification and simulation of distributed systems. Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, 155-164.
3. J Philipps,O Slotosch (1999). The quest for correct systems: model checking of diagrams and datatypes. Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509), 449-458.
4. M Nanda,J Jayanthi,S Rao (2008). Novel Validation Algorithms for Safety Critical Embedded Software. 2008 3 rd IET International Conference on System Safety, 1-6.
5. Prathapanayaka Rajeevalochanam,Vinod Nanjundaiah,Santhosh Sahadevan,Krishnamurthy Janney (2015). Design and Development of Three-Bladed Propeller for Micro Air Vehicles. International Journal of Robotics and Mechatronics, 1(2), 53-61.
6. Rtca (2011). Introduction to RTCA/DO-254. Airborne Electronic Hardware Design Assurance, 1-15.
7. Stefan Gulan,Jens Harnisch,Sven Johr,Roberto Kretschmer,Stefan Rieger,Rafael Zalman (2015). Model-Based Analysis for Safety Critical Software. Lecture Notes in Computer Science, 111-120.
8. Peter Feiler (2010). Model-based validation of safety-critical embedded systems. 2010 IEEE Aerospace Conference, 1-10.
9. Eckard Bringmann,Andreas Kr (2008). Model-Based Testing of Automotive Systems. 2008 International Conference on Software Testing, Verification, and Validation, 485-493.
10. 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. Ada
11. Y Yeh (2001). Safety critical avionics for the 777 primary flight controls system. 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219), 1C-2.
12. A Ray,R Luck (1991). An introduction to sensor signal validation in redundant measurement systems. IEEE Control Systems, 11(2), 44-49.
13. Ali Erbay,Seyfettin (1994). A PC-Based Signal Validation System for Nuclear Power Plants. 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 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 May 4, 2017

Version of record

v1.2

Issue date

May 4, 2017

Language

English

Order Article Reprint

Experience 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): 508

Total Views (Real + Logic): 1412

Total Downloads (simulated): 59

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: 52 views
Month 118: 29 views

Total Views: 1.4K

Total Downloads: 59

All Trends