example

We use ads to keep content free and accessible for everyone. You can remove them by <link>signing up</link> for a Slideshare subscription.

Why are you seeing this?

{title} by {author}, has {slideCount} slides with {viewCount} views.

Removing from saved will also delete the item from your lists

This saved item is also in a list.

Sorry! We could not find what you were looking for.

Page no longer exists

Looks like this one's off the shelf

Too many password attempts

Sorry! The page could not be loaded.

There was an issue loading the page

Return to the homepage

Renew your Slideshare subscription

Signup now for a Slideshare account

Are you sure you want to delete the selected Slideshare?

Delete Slideshare

You are trying to suspend the account {username}. This is REVERSIBLE within 1 day of Account Suspension.

Suspend User

You are trying to unsuspend the account {username}.

Unsuspend User

Users following {name}

Users being followed by {name}

{name} Presentations

Personal Information

{title} created by {author}, {countLikes} likes and {countViews} views

Sort by

Account Suspended

profilePage

rca-ocora-safe-computing-platform-using-open-standards-253968426

RCA OCORA: Safe Computing Platform using open standards

AdaCore

have-we-a-human-ecosystem

Have we a Human Ecosystem?

rust-and-the-coming-age-of-high-integrity-languages

Rust and the coming age of high integrity languages

sparknacl-a-verified-fast-cryptographic-library

SPARKNaCl: A verified, fast cryptographic library

developing-future-high-integrity-processing-solutions

Developing Future High Integrity Processing Solutions

taming-eventdriven-software-via-formal-verification

Taming event-driven software via formal verification

pushing-the-boundary-of-mostly-automatic-program-proof-253672991

Pushing the Boundary of Mostly Automatic Program Proof

rca-ocora-safe-computing-platform-using-open-standards

product-lines-and-ecosystems-from-customization-to-configuration

Product Lines and Ecosystems: from customization to configuration

securing-the-future-of-safety-and-security-of-embedded-software

Securing the Future of Safety and Security of Embedded Software

spark-ada-for-safe-and-secure-firmware-development

Spark / Ada for Safe and Secure Firmware Development

introducing-the-hiclass-research-programme-enabling-development-of-complex-and-secure-aerospace-systems

Introducing the HICLASS Research Programme - Enabling Development of Complex and Secure Aerospace Systems

the-future-of-aerospace-more-software-please

The Future of Aerospace &ndash; More Software Please!

adaptive-autosar-the-new-autosar-architecture

Adaptive AUTOSAR - The New AUTOSAR Architecture

using-tiers-of-assurance-evidence-to-reduce-the-tears-adopting-the-wheel-of-qualification-for-an-alternative-software-safety-assurance-approach

Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the &ldquo;Wheel of Qualification&rdquo; for an Alternative Software Safety Assurance Approach

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore&rsquo;s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive worldwide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traf