Breaking News
Comments
Pho99
User Rank
Rookie
Interesting -- This seems to be the first offering by a silicon OEM in this area
Pho99   7/1/2013 6:28:23 AM
NO RATINGS
Interesting -- This seems to be the first offering by a silicon OEM in this area

MeasurementBlues
User Rank
Blogger
Software safety
MeasurementBlues   7/1/2013 8:18:52 AM
NO RATINGS
What are the main reasons for IEC 61508 and ISO 26262? How does software get tested for safety?

Peter Clarke
User Rank
Blogger
Re: Software safety
Peter Clarke   7/1/2013 8:27:56 AM
NO RATINGS
IEC 61508 is a standard on the functional safety of electrical and electronic systems and specifically includes software.

So if you want to learn what is necessary I suggest you download the standard.

ISO 26262 is an automotive functional safety standard which again sets out methods of risk assement and how risk concatenates through an automotive function chain. Again it explicitly mentions software.

How you test software for safety is an enormous topic and too beg to address here.

I would just point out that these standards also expect users to test the tools they use to help them create software - such as compilers - to make sure they do not introduce problems.

 

DrQuine
User Rank
CEO
Re: Software safety
DrQuine   7/1/2013 11:00:47 PM
NO RATINGS
An example of the kind of thing that these standards do is that IEC 61508 requires that the software is fully tested at the function level and that all possible branches and paths are taken through the software. This is an important step in that having a system do unexpected things that were never tested may be possible to avoid. This, however, cannot necessarily ensure that every unexpected external event will result in the correct software "decision" and outcome.

Peter Clarke
User Rank
Blogger
Re: Software safety
Peter Clarke   7/2/2013 3:20:09 AM
NO RATINGS
@DrQuine

 

Thanks for chiming in.

 

Your point about software testing not being exhaustive against all possibilities and timings of external events is important.

 

Formal methods were once thought to be the way to "prove" hardware was correct but idea of formally provable hardware lost momentum when it was realized that formally proving sofware-plus-hardware-plus-interrupts was a much less tractable problem.



Flash Poll
EE Life
Frankenstein's Fix, Teardowns, Sideshows, Design Contests, Reader Content & More
Rishabh N. Mahajani, High School Senior and Future Engineer

Future Engineers: Don’t 'Trip Up' on Your College Road Trip
Rishabh N. Mahajani, High School Senior and Future Engineer
Post a comment
A future engineer shares his impressions of a recent tour of top schools and offers advice on making the most of the time-honored tradition of the college road trip.

Max Maxfield

Juggling a Cornucopia of Projects
Max Maxfield
2 comments
I feel like I'm juggling a lot of hobby projects at the moment. The problem is that I can't juggle. Actually, that's not strictly true -- I can juggle ten fine china dinner plates, but ...

Larry Desjardin

Engineers Should Study Finance: 5 Reasons Why
Larry Desjardin
28 comments
I'm a big proponent of engineers learning financial basics. Why? Because engineers are making decisions all the time, in multiple ways. Having a good financial understanding guides these ...

Karen Field

July Cartoon Caption Contest: Let's Talk Some Trash
Karen Field
127 comments
Steve Jobs allegedly got his start by dumpster diving with the Computer Club at Homestead High in the early 1970s.

Top Comments of the Week
Like Us on Facebook
EE Times on Twitter
EE Times Twitter Feed

Datasheets.com Parts Search

185 million searchable parts
(please enter a part number or hit search to begin)