Please download images to give correct formatting OR Click here for on-line graphical version
Phaedsys Banner
Cost effective Safety Critical and High Reliability Embedded Systems Tools
 | Device  Developer |Win books and Kindle | May's Law |  Bar Code|
| Bricklayers |
Visit us online
However you look at it, we are now in summer.
 
Certainly the weather reflects this, (well some days do!)  and we are getting phone calls that are clearly related to people clearing their desks and getting ready for a holiday.
 
As you may know, I think holidays are important: by stepping away from the keyboard and the workbench you give your mind the chance to free up, and when you get back you are better positioned for problem solving.
 
PhaedruS SystemS
Styles
This newsletter is going to be heavily devoted to the software development process, and will link to a lot of reading. Just right to take on holiday!
 
Last month we looked at Michael Barr's views on the sad state of the embedded software process. Today I would refer you to his Top Ten Bug Killing Coding Rules, 40 minute webinar. (http://www.barrgroup.com/Embedded-Systems/Webinars/Bug-Killing-Coding-Standard-Rules ) based on his book, Embedded C Coding Standard. Whilst I don't agree 100% with him, it is still worth watching.
Summer Reading:  Evolution vs. Big Bang (download the book)
Summer reading Felix Redmill's Software Projects: Evolutionary vs. Big Bang Delivery you can download a pdf from here . http://www.safetycritical.info/library/NFR/
 
Analysis
1985 doesn't seem that long ago, (well maybe it does to some of you) but it was the year that C developers running PC-DOS on an IBM PC were finally able to buy a code analyser. Yes, it was 30 years ago the PC-lint -was launched for $98 (not cheap) and distributed on a 5.25 floppy disk. Gimpel has put together a history at http://blog.gimpel.com/2015/05/celebrating-30-years-of-pc-lint.html
25 goals
Looking forward now, to 2019, Capers Jones (author of the invaluable The Economics of Software Quality) has written a paper Twenty Five Software Industry Goals for the Years 2015 through 2019. In the introduction he says "progress in the software industry has resembled a drunkard's walk, with both improvement and regressions occurring at the same time." There is some good stuff in the White Paper, so se are linking to it, even though it is published by a company whose tools we don't sell.
Security
Dave Hughes of HCC Embedded (whose products we do sell) has been writing a series of articles on security.
 
Security: Who's Running the Show, Anyway? (Link http://embedded-computing.com/guest-blogs/securing-the-embedded-computing-world-whats-missing/ ) discusses the general issues, particularly for internet connected devices, and bemoans the lack of overarching governing body that oversees security.
 
The second blog Have you implemented a process to ensure security? (Link http://embedded-computing.com/guest-blogs/have-you-implemented-a-process-to-ensure-security/# ) has a paragraph that deserves quoting in (almost) full.
 
 "… good news: processes are already in place that have led to fantastic results in ensuring secure, high-quality software. The bad news: few companies are using them. Ask the majority how their software was developed, and you'll hear a version of, "We downloaded a piece of free software from the web, loaded it onto our servers, and used that to protect yours and my data." .
Process (1)
Jim Thomas, of Bristol based TVS solutions has written in Military Embedded Systems a thoughtful piece "Shift left boost avionics software solutions." (Link http://mil-embedded.com/articles/shift-avionics-software-verification/ )

Shift left has become a popular phrase among people who are looking for ways to ease the pain of test and verification, but what it means in practice is that they are waking up to a well known but little practiced idea. If you think about how you are going to verify your requirements when you are writing them, even writing a verification plan with the requirements, then you are likely to get better requirements as well as an easier verification process.

Step down the left hand side of the V and apply the same approach design, establishing what you will test for before writing code, then again testing, at both unit and integration test.
Process (2)
On publisher O'Reilly's web site (radar.oreilly.com – MASH anyone?) is an extract from a book
 
 Prototype to Product: A Practical Guide for Getting to Market by Alan Cohen.
 
The extract The 11 deadly sins of product development (link http://radar.oreilly.com/2015/06/the-11-deadly-sins-of-product-development.html) looks at the sins in terms of vices, of which the most deadly is Assumption. All the deadly sins are to be seen in day to day projects.
Robert Dewar
Robert Dewar, the founder of AdaCore has died.

Robert was physically a big man, and was a big influence on software. He was involved in compiler writing for a range of languages, including ADA. He was also a great advocate of FLOSS – freely licensed open source software.
 
He argued that English was the wrong language to write about "free" software, preferring to use French, where there is a distinction between gratis- you don't have to pay and libre, where you have freedom to do things.   I enjoyed talking with him about this when we met at Conferences.
 
 
Product news roundup
Percepio has upgraded embOS-Trace, the Tracealyzer for Segger's embOS This gives you a range of  views of the run-time behaviour of the OS  see the video at   http://percepio.com/tz/embostrace/

Segger in turn is making new announcements. It has released a new version of emSSL secure sockets with a very small footprint, (http://www.phaedsys.com/principals/segger/seggeremssl.html ) making it easier for secure communication in the much-hyped Internet of Things. The company has also added an SPI capability to both J-Link and Flasher http://www.phaedsys.com/principals/segger/seggerdebuggers.html
 
Wind River has launched the Wind River Marketplace, an app store for software that works with its operating systems. Among the first members of the Marketplace are Phaedrus principals, McObject, Percepio, and QA Systems.
Agile for Critical Systems
The seminar examined what Agile methods involve; how to use Agile in safety systems development; what are the difficulties and how are they overcome; what changes need to be made to Agile to use it for safety, and what changes in safety and certification processes are needed to accommodate Agile.  See the Video from the event here.
https://youtu.be/R4Xj4I3r7Nk
OK That's it for now, a bumper set of reading for you. Have a goods summer, including a break.
 
We will be around if you need advice or want to buy something!
 
The newsletter will be back in time for your autumn return with some exciting news (Well, we think it is exciting.)
Forward this email
Forward
 
Tel: 0808 1800 358Email usVisit us online
PhaedruS SystemS Ltd, 96 Brambling, Tamworth, Staffs, B77 5PG, UK
Registered in England with Company Number 04120771
learn more about  newzapp email marketing This message was sent to by PhaedruS SystemS Ltd using newzapp email marketing. Follow this link to Unsubscribe.