Software Safety And Correctness

Jan. 11, 2007
Increased complexity due to networking, security, and simply more transistors to play with results in large applications. This will likely result in the usual quality problems that plague general application development. It’s never the goal to gener

Increased complexity due to networking, security, and simply more transistors to play with results in large applications. This will likely result in the usual quality problems that plague general application development. It’s never the goal to generate more bugs in software. But when bigger applications are built without sufficient planning and time allocated to the problem, bugs are inevitable. Don’t expect things to change much given the usual push to reduce time-to-market.

For the likes of planes, trains, and automobiles, the answer lies in allocating enough time, effort, and money to meet standards and safety requirements throughout the development process. Industries where safety and reliability are paramount already have these processes down.

Now, they’re slowly trickling out to the average embedded development project through subsets like MISRA C, Embedded C++, and CORBA/e. These tried-and-true approaches have been available for some time, but general adoption has been slow. Developers will appreciate the pared-down approach.

The biggest challenge developers still face is wading through the available tools, OSs, and middleware to get the collection they need to complete their application. The level of complexity will steadily rise as the use of approaches ranging from modular systems like Eclipse to canned solutions from chip and software vendors that keep the job manageable continues to escalate.

About the Author

William G. Wong | Senior Content Director - Electronic Design and Microwaves & RF

I am Editor of Electronic Design focusing on embedded, software, and systems. As Senior Content Director, I also manage Microwaves & RF and I work with a great team of editors to provide engineers, programmers, developers and technical managers with interesting and useful articles and videos on a regular basis. Check out our free newsletters to see the latest content.

You can send press releases for new products for possible coverage on the website. I am also interested in receiving contributed articles for publishing on our website. Use our template and send to me along with a signed release form. 

Check out my blog, AltEmbedded on Electronic Design, as well as his latest articles on this site that are listed below. 

You can visit my social media via these links:

I earned a Bachelor of Electrical Engineering at the Georgia Institute of Technology and a Masters in Computer Science from Rutgers University. I still do a bit of programming using everything from C and C++ to Rust and Ada/SPARK. I do a bit of PHP programming for Drupal websites. I have posted a few Drupal modules.  

I still get a hand on software and electronic hardware. Some of this can be found on our Kit Close-Up video series. You can also see me on many of our TechXchange Talk videos. I am interested in a range of projects from robotics to artificial intelligence. 

Sponsored Recommendations

Comments

To join the conversation, and become an exclusive member of Electronic Design, create an account today!