Design Con 2015
Breaking News
Comments
Newest First | Oldest First | Threaded View
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.

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/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.

 

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?

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



Most Recent Comments
sempaiscuba
 
David Ashton
 
Duane Benson
 
sixscrews
 
Max The Magnificent
 
David Ashton
 
sempaiscuba
 
sempaiscuba
 
sempaiscuba
Top Comments of the Week
Flash Poll
Like Us on Facebook

Datasheets.com Parts Search

185 million searchable parts
(please enter a part number or hit search to begin)
EE Life
Frankenstein's Fix, Teardowns, Sideshows, Design Contests, Reader Content & More
Max Maxfield

Max's BADASS Display: A Comedy of Errors
Max Maxfield
3 comments
Good grief -- where does the time go? I first determined to build my Bodacious Acoustic Diagnostic Astoundingly Superior Spectromatic (BADASS) display way back in the mists of time we used ...

<b><a href=Betajet">

The Circle – The Future's Imperfect in the Present Tense
Betajet
5 comments
The Circle, a satirical, dystopian novel published in 2013 by San Francisco-based writer Dave Eggers, is about a large, very powerful technology company that combines aspects of Google, ...

Martin Rowe

Make This Engineering Museum a Reality
Martin Rowe
Post a comment
Vincent Valentine is a man on a mission. He wants to make the first house to ever have a telephone into a telephone museum. Without help, it may not happen.

Rich Quinnell

Making the Grade in Industrial Design
Rich Quinnell
16 comments
As every developer knows, there are the paper specifications for a product design, and then there are the real requirements. The paper specs are dry, bland, and rigidly numeric, making ...

Special Video Section
The LT8640 is a 42V, 5A synchronous step-down regulator ...
The LTC2000 high-speed DAC has low noise and excellent ...
How do you protect the load and ensure output continues to ...
General-purpose DACs have applications in instrumentation, ...
Linear Technology demonstrates its latest measurement ...
10:29
Demos from Maxim Integrated at Electronica 2014 show ...
Bosch CEO Stefan Finkbeiner shows off latest combo and ...
STMicroelectronics demoed this simple gesture control ...
Keysight shows you what signals lurk in real-time at 510MHz ...
TE Connectivity's clear-plastic, full-size model car shows ...
Why culture makes Linear Tech a winner.
Recently formed Architects of Modern Power consortium ...
Specially modified Corvette C7 Stingray responds to ex Indy ...
Avago’s ACPL-K30T is the first solid-state driver qualified ...
NXP launches its line of multi-gate, multifunction, ...
Doug Bailey, VP of marketing at Power Integrations, gives a ...
See how to ease software bring-up with DesignWare IP ...
DesignWare IP Prototyping Kits enable fast software ...
This video explores the LT3086, a new member of our LDO+ ...
In today’s modern electronic systems, the need for power ...