Writing Software That's Safe Enough To Drive A Car @shnewto - PowerPoint PPT Presentation

Jan 09, 2024 •170 likes •353 views

Writing Software That's Safe Enough To Drive A Car @shnewto Clickbait ! Functional safety is... the absence of unreasonable risk due to hazards caused by malfunctioning behavior of E/E systems. State of the Art What is safe enough?

Writing Software That's Safe Enough To Drive A Car @shnewto
Clickbait !
Functional safety is... the absence of unreasonable risk due to hazards caused by malfunctioning behavior of E/E systems.
“State of the Art”
What is safe enough?
Mutable aliasing
Casting away the `const`
Alternatively: We can't destroy what we don't own
Rust: Nope, still immutable
Pattern mis -matching
Mismatch caught
If it doesn't compile, it can't crash.
C is proven in use, why change?
Redefining “State of the Art”
MISRA-Rust?
What’s next?
Resources github.com/PolySync/static-analysis-argumentation (code) polysync.io/blog - The Challenge of Using C in Safety Critical Applications (white paper) - Should Safety-Critical Software be Written in C? (blog post) sheas.blog/talks (slide deck) Twitter: @shnewto Blog: sheas.blog GitHub: shnewto Email: shnewto@gmail.com

Download Presentation

Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Google Drive Tony Trego Glenn Brickel Cody Gaugler What Is It? Google Drive is a safe place to

Wifi Join: WMCTC Guest Google Drive Tony Trego Glenn Brickel Cody Gaugler What Is It? Google Drive is a safe place to save all your files on the internet, so you can access them from anywhere in the world Getting Started With Drive Create

445 views • 7 slides

Safe Automotive soFtware architEcture (SAFE) Co-summit 2015, 10-11 March 2015, Berlin - Germany

Safe Automotive soFtware architEcture (SAFE) Co-summit 2015, 10-11 March 2015, Berlin - Germany Dr. Stefan Voget Agenda SAFE Motivation makes Functional safety safe SAFE in SAFE and the project standardization landscape 2 SAFE

569 views • 20 slides

11-823 Conlanging Writing Writing Systems Different Writing Systems What makes a writing

11-823 Conlanging Writing Writing Systems Different Writing Systems What makes a writing system Standardization vs Historical artifacts Constructed Writing Systems Computing and its influence on writing Types of Writing

528 views • 24 slides

WRITING FASTER CODE 1 . 1 WRITING FASTER CODE AND NOT HATING YOUR JOB AS A SOFTWARE DEVELOPER

WRITING FASTER CODE 1 . 1 WRITING FASTER CODE AND NOT HATING YOUR JOB AS A SOFTWARE DEVELOPER 1 . 2 WRITING FASTER PYTHON @SebaWitowski 1 . 3 PYTHON WAS NOT MADE TO BE FAST... ...BUT TO MAKE DEVELOPERS FAST. 2 . 1 It was nice to

451 views • 43 slides

Why FT-Software? Safe and reliable software operation is a significant requirement for many

Software Fault-Tolerance Techniques Techniques Hadi Salimi Distributed Systems Lab, School of Computer Engineering, School of Computer Engineering, Iran University of Science and Technology, hsalimi@iust.ac.ir Why FT-Software? Safe and

660 views • 29 slides

Last mile software development Last mile software development Writing modern software for bench

Last mile software development Last mile software development Writing modern software for bench scientists Thomas Sibley The Perl Conference 2017 Alexandria, VA Hello! My name is Thomas Sibley. I'm here today to talk about modern

891 views • 76 slides

Overview/Questions What is an algorithm? How do we go about writing a program? What

CS101 Lecture 21: Writing Simple Programs: Algorithms, The Software Development Process Python Names, Expressions, Input, and Output Aaron Stevens 18 March 2009 1 Overview/Questions What is an algorithm? How do we go about writing a

531 views • 14 slides

DRIVE SAFE AGGRESSIVE DRIVING AWARENESS CAMPAIGN PA PARTNERS Local municipalities

FLORIDA DEPARTMENT OF TRANSPORTATION (FDOT) DISTRICT SIX DRIVE SAFE AGGRESSIVE DRIVING AWARENESS CAMPAIGN PA PARTNERS Local municipalities Police and fire departments Healthcare organizations Educational

216 views • 11 slides

Software Engineering Writing Intensive Dr. Barry Wittman Not Dr. Barry Whitman

Software Engineering Writing Intensive Dr. Barry Wittman Not Dr. Barry Whitman Education: PhD and MS in Computer Science, Purdue University BS in Computer Science, Morehouse College Hobbies: Reading, writing

590 views • 47 slides

Writing Home 8: Formal and Informal Writing We We use formal language for: Writing to

Writing Home 8: Formal and Informal Writing We We use formal language for: Writing to someone we dont know Writing for a large audience such as in a newspaper article Writing non-fiction such as instructions, explanations or

209 views • 6 slides

Last time Introduced type inference can write type-safe programs without writing CS 611

Last time Introduced type inference can write type-safe programs without writing CS 611 down types explicitly Advanced Programming Languages useful for higher-order functions because types are large, obscure code Andrew Myers

393 views • 3 slides

Software Engineering I cs361 Announcements Writing Assignment 3 http://

Software Engineering I cs361 Announcements Writing Assignment 3 http:// web.engr.oregonstate.edu/ ~hiltonm/classes/cs361/ WritingAssignments/ WritingAssignment3.pdf Class Diagrams Attribution Much of this material inspired by a

410 views • 37 slides

Looking and Writing: Teaching Writing in the Discipline Teaching Writing in the Discipline of

ProVisions Writing in the Disciplines October 11, 2011 Looking and Writing: Teaching Writing in the Discipline Teaching Writing in the Discipline of Art History Robert R. Shane, Ph.D. Art Department John C Bean Engaging Ideas: The John C.

436 views • 10 slides

Everyone wants (someone else) to do it Writing documentation for open source software Welcome

Everyone wants (someone else) to do it Writing documentation for open source software Welcome Mike Pumphrey Projects Community Advocate OpenGeo Suite mike@boundlessgeo.com OpenGeo Training github.com/bmmpxf GeoServer Open Source

822 views • 46 slides

Paper Session 1 Software Evolution Paul Klint, Bas van Vlijmen, Jurgen Vinju Today Writing

Software Analysis And Transformation Paper Session 1 Software Evolution Paul Klint, Bas van Vlijmen, Jurgen Vinju Today Writing your Motivation Motivation Paragraphs Improving text and submitting it Discuss clones, metric

560 views • 24 slides

Writing for Funding Part 1: General Writing and Writing for Specific Review Alicia J. Knoedler,

Writing for Funding Part 1: General Writing and Writing for Specific Review Alicia J. Knoedler, Ph.D. Grant Writing for the Social Sciences Summer, 2003 Writing Discussions Part 1: Getting Started General writing comments and

809 views • 13 slides

Exploration/Exploitation in Multi-armed Bandits Spring 2019, CMU 10-403 Katerina Fragkiadaki

Carnegie Mellon School of Computer Science Deep Reinforcement Learning and Control Exploration/Exploitation in Multi-armed Bandits Spring 2019, CMU 10-403 Katerina Fragkiadaki Used Materials Disclaimer : Some of the material and slides

895 views • 67 slides

Drupal as a Learning Platform Drupal can manage learning, too https://skvare.com Presenter: Mark

Drupal as a Learning Platform Drupal can manage learning, too https://skvare.com Presenter: Mark Hanna @Skvare Senior Developer, Skvare Drupal as a Learning Platform Has all the functionality one needs to create and operate an online

532 views • 32 slides

4 User Interface Design From Code to Product gidgreen.com/course Or how to prevent this

4 User Interface Design From Code to Product gidgreen.com/course Or how to prevent this Source: businesspundit.com From Code to Product Lecture 4 UI Design Slide 2 gidgreen.com/course Some reminders Products are for people

899 views • 76 slides

Inbound Leads Formula Module 1 The Business of Internet Advertising and How to Play it

Inbound Leads Formula Module 1 The Business of Internet Advertising and How to Play it Successfully www.InboundLeadsFormula.com Inbound Leads Formula The Business of Internet Advertising and How to Play it Successfully Media of

515 views • 34 slides

Importance of storytelling in open source projects Speaker : Justin W. Flory License : CC-BY-SA

What open source and J.K. Rowling have in common Importance of storytelling in open source projects Speaker : Justin W. Flory License : CC-BY-SA 4.0 So, who are you? Fedora contributor Community Operations team lead, Fedora Magazine

351 views • 20 slides

A systematic evaluation of OpenBSD's mitigations 36c3 stein Agenda Why

A systematic evaluation of OpenBSD's mitigations 36c3 stein Agenda Why Mitigations Attack surface reduction Hardware vulnerabilities Memory corruption Misc Missing ones Conclusion 2 Earlier

675 views • 48 slides

PROGRAMME 6.15pm Welcome & Briefing by Associate Chair (Academic) Introduction to NTU

PROGRAMME 6.15pm Welcome & Briefing by Associate Chair (Academic) Introduction to NTU Libraries Resources and Access by 6.30pm Mr Law Loo Shien (CMIL) 6.45pm Proceed to Programme Briefing (venues): Info Studies & Knowledge Management

950 views • 22 slides

W l Welcome! ! The webinar will begin at The webinar will begin at 12:00 Eastern/9:00 Pacific

W l Welcome! ! The webinar will begin at The webinar will begin at 12:00 Eastern/9:00 Pacific Audio Tips Todays audio is streaming to your computers speakers or headphones. Too loud or soft? Adjust volume level in the Audio broadcast

502 views • 38 slides