Safety critical software certification

Sign up for the Embedded. So the major concerns of possible brake or traction control failure in an automobile are recalls and lawsuits. Surely first and foremost in any safety application is the prevention of injuries or fatalities. You must Sign in or Register to post a comment. This site uses Akismet to reduce spam. Learn how your comment data is processed.

You must verify your email address before signing in. Check your email for your verification email, or enter your email address in the form below to resend the email.

Please confirm the information below before signing in. Already have an account? Sign In. Please check your email and click on the link to verify your email address. We've sent an email with instructions to create a new password. Your existing password has not been changed. Sorry, we could not verify that email address. Enter your email below, and we'll send you another email. Thank you for verifiying your email address.

We didn't recognize that password reset code. We've sent you an email with instructions to create a new password. Skip to content Search for:. Home Blog Safety-critical software: more, not less certification ahead?

Previous Open Mike. Next Why is Zigbee Green? You may have missed. January 13, Nitin Dahad. January 12, Nitin Dahad. Technical Article. January 11, Tzu-Yu Wu. January 11, Nitin Dahad. January 11, Carsten Rhod Gregersen. We use cookies on our website to give you the most relevant experience by remembering your preferences and repeat visits.

However, you may visit "Cookie Settings" to provide a controlled consent. Cookie Settings Accept All. Manage consent. In: Proceedings of 13th safety-critical systems symposium, Southampton, UK, February 8—10, pp — Bollella G et al The real-time specification for Java.

Addison-Wesley, Reading. Schoeberl M et al A profile for safety critical Java. Concurrency Comput Pract Experience 17 5—6 : — Dautelle JM Validating Java for safety-critical applications.

Hu EYS et al Safety critical applications and hard real-time profile for Java: a case study in avionics. Armbruster A et al A real-time Java virtual machine with applications in avionics. In: Proceedings of Ada-Europe , 11th international conference on reliable software technologies, Porto, Portugal, June 5—9, pp 13— Kornecki A, Zalewski J Experimental evaluation of software development tools for safety-critical real-time systems.

Zalewski J, Kornecki A, Pfister H Numerical assess- ment of software development tools in real-time safety-critical systems using Bayesian belief networks. Anderson P Detecting bugs in safety-critical code. Gasperoni F Code coverage: free software and virtualization to the rescue. Boards Syst April— Baseline Conrad M Using simulink and real-time workshop embedded coder for safety-critical automotive applications.

Erkkinen T Production code generation for safety-critical systems. Bhatt D et al Model-based development and the implications to design assurance and certification. Sampath P et al Verification of model processing tools. Jaw LC et al Model-based approach to validation and verification of flight critical software. Denney E, Trac S A software safety certification tool for automatically generated guidance, navigation and control code.

Aldec Corp. White Paper, Rev. Lange M Automated CDC verification protects complex electronic hardware from metastability issues. VME Critical Syst 26 3 : 24— Download references. Embry-Riddle Aeronautical University, S. You can also search for this author in PubMed Google Scholar. Correspondence to Janusz Zalewski. Figures and Topics from this paper. Citation Type.

Has PDF. Publication Type. More Filters. Physics, Computer Science. Engineering, Computer Science. IEEE Access. View 3 excerpts, cites methods. Design and development of certification compliance tool for airborne systems. View 2 excerpts, cites background and methods.