SlideShare is now on Android. 15 million presentations at your fingertips.  Get the app

×
  • Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
 

Safe and Reliable Embedded Linux Programming: How to Get There

by on Jun 08, 2012

  • 8,458 views

The talk provides an overview of techniques to design and implement reliable embedded applications. The goal is to achieve safe and analyzable behavior by construction, including handling parallel ...

The talk provides an overview of techniques to design and implement reliable embedded applications. The goal is to achieve safe and analyzable behavior by construction, including handling parallel multiprocessor systems in an efficient and predictable way. The means to attain this objective is to statically configure the application to run on embedded linux platforms, and then to use run-time support to enforce constraints imposed to the system.

Statistics

Views

Total Views
8,458
Views on SlideShare
4,607
Embed Views
3,851

Actions

Likes
0
Downloads
34
Comments
0

10 Embeds 3,851

http://www.open-do.org 3471
http://www.adacore.com 198
http://www.redditmedia.com 149
http://libre.adacore.com 15
http://abtasty.com 7
http://iblunk.com 5
http://translate.googleusercontent.com 3
http://127.0.0.1 1
https://si0.twimg.com 1
http://www.twylah.com 1
More...

Accessibility

Categories

Upload Details

Uploaded via SlideShare as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
Post Comment
Edit your comment

Safe and Reliable Embedded Linux Programming: How to Get There Safe and Reliable Embedded Linux Programming: How to Get There Presentation Transcript