just curious folks to what folk use to help develope their software with.
I am an avid user of lint and having a go at trying to design what i am gonna do before i start being a code monkey but would like to find out what others are using.
Recently downloaded Tessy but as i get the feeling trying to apply it to an exsisting project will be a huge project its self and as the vendors havent been rushing to reveal the price cost may be an issue.
Does anybody have any recomendations on tools they find useful?
So apart from Andrews suggestion and using lint no body uses any verification or design tool at all?
Automated verification would be nice. That would mean functionality tests on pieces of code. With MCU's this can prove to be difficult. For instance, to verify the functionality of a pulse generator, you'd have to hook up a scope to the circuit and check the timings. I cannot see how this can be automated without unreasonable amount of work. I think this is a typical example.
Yes I had similar thoughts when I looked at the youtube vids about TESSY.
The amount of work required to set up the functional tests is huge and not something you can easily retrospectively apply to an existing project and thats before making sure the hardware is doing the right thing.
The amount of work required to set up the functional tests is huge
were I to design a simple toy. "it works" would be a sufficient test were I to desgin a pacemaker .........
I think for "life challenging" designs setting up tha maximum possible automated testing is mandated. If you for a "life challenging" design use manual testing, you WILL test too little when a "must be fixed and released immeditely" bug appear.
Erik
www.medicaldesignbriefs.com/.../11334
it is sad that the FDA find faults in medical devices that the producers easily could have found themselves.
I wonder how anyone can live with themself and know that a medical device they make could be safer.
everything is relative
Absolutely.
There are so many elements to the equation. A simple universal yes/no response to the question of whether it is needed is just not sensible.
As I mentioned before, the abilities of the team members must be taken into account.
The simple task of being careful and being able to check one's own work is a key component that should not be overlooked.
With all due respect to Erik, there were two typos I spotted in that last response; and that was just with a quick scan. That works out at quite a high percentage of error in such a few lines of text. Now if those errors were in code, ouch!
ostatic.com/.../when-should-open-source-be-written-into-law
Last August Karen Sandler, the executive directory of the GNOME foundation gave a short talk about her implanted defibrillator, a device which can shock her heart to revive her if it stops functioning. After hearing the news that she would need to wear the device, she asked the manufacturer for the source code, and was denied. To make matters worse, she found that the FDA does not review or have access to the source code. She also found that she had no legal recourse against the manufacturer to force them to release their code. To top it all off, the manufacturer ignored her Freedom Of Information Act request. Twice.
Karen wished to know how the device implanted on her heart functions. Since her life, quite literally, depends on the device functioning as advertised when she needs it. Software has bugs, and since the source code is not reviewed by anyone outside of the company, Karen’s understanding of how software works increases her anxiety. Karen is obviously not the only person with one of these devices implanted, but her story is a good starting point for discussing when and where releasing source code for public scrutiny should be mandated by law. American lawmakers have the time to discuss how the public should have access to movies, isn’t the public health and safety far more important?
American lawmakers do not have time to discuss public health and safety. They have to pass those types of bills into law to find out what's in them.
something does not match
the article I linked to above refer to the FDA reviewing (with a tool) source code of medical devices.
To make matters worse, she found that the FDA does not review or have access to the source code. She also found that she had no legal recourse against the manufacturer to force them to release their code.
when and where releasing source code for public scrutiny should be mandated by law.
I am all for requiring the FDA to be (qualified at and) forced to review source code. I am, however totally against anyone else having access.
There has been enough good producers that have lost out to oriental copycats, let us not make it easier for the copycats,.
yah, yah, yah the FDA might, if the chineese sought approval, see it was a knockoff, but the FDA is not "copyright police". Also, I would not have a (technical) problem if tasked with redoing a code to make it unrecognizable, I would, however refuse for ethical reasons.
Why limit it to just the software source code?
Such source code is meaningless without the hardware design details.
And what about all the design data for the components, and the manufacturing processes, and...
no such limit, just the subject of the post I replied to was some woman wanting the source code.
I have sent code, and lots lots lots of documentation for certification. There can be huge amounts of requirements for the certification process when human safety is involved.
But no, I do not thing the general public should have access to all that information. That would stop private companies from being interested in creating such products. And we already know that the government are not so good at being the creators/owners of high-tech products. Why create something new, if something 30 years old will (just barely) manage? Why invest money? First it's a cost to develop. Then it's a cost when people wants to get their old gear replaced with newer, smaller, gear.
A company will only be interested in developing equipment if they know they can reap the profit of their investments. And that requires that their information sent in for certification is handled in a safe way.
And as already mentioned - source code is only meaningful to look at if you have access to the full hw specification. For a heart starter, you need to know everything to even be able to compute charge levels, battery consumption, ...
Some-one recommended me this book:
"Test Driven Development for Embedded C" pragprog.com/.../test-driven-development-for-embedded-c
Might be worth a read.
Interesting looking book - thanks for the recommendation.
@Mike Kleshov,
Been to a one day course introduced by some academics about that subject exactly. I have a lot of respect for the academy, but that session was a demonstration of "how to write code that will never ever fit into small foot prints" and "how to make software development so expensive that it is not even worth starting (due to test model maintenance costs etc.)." I have used similar techniques in the past; they work and help like charm. But go figure how to get that into a LPC1114 that has a fully loaded ROM/RAM.
"Test Driven Development for Embedded C"
"succesful testing does not prove the absence of bugs, it proves the absence of known bugs" source unknown (to me)
that session was a demonstration of "how to write code that will never ever fit into small foot prints" and "how to make software development so expensive that it is not even worth starting (due to test model maintenance costs etc.)." I recall an incident where I was asked to help a copuple of recently hired 'academics' do banking with the '51 because they had run over the 64k space. I had a look, threw them out and made the app fit in about 8k