Title :
Coding standards for high-confidence embedded systems
Author_Institution :
GrammaTech, Inc., Ithaca, NY
Abstract :
Adopting a coding standard can increase system reliability, safety, and security. Popular standards include Misra C, the JSF C++ rules, and Holzmannpsilas ten rules developed at JPL. Checking rules manually is tedious, so automated review is desirable. However, behind many rules lie hidden assumptions and potential complexity that makes comprehensive automation difficult. Three rules sets and the rationale behind them are discussed. Technologies for detecting violations are described. Recommendations for how to best apply these rules are given.
Keywords :
embedded systems; encoding; program verification; software reliability; software standards; JPL; JSF C++ rules; Misra C; coding standards; high-confidence embedded systems; system reliability; Code standards; Computer industry; Embedded system; Guidelines; Programming; Safety; Software systems; Space technology; Standards development; Traction motors;
Conference_Titel :
Military Communications Conference, 2008. MILCOM 2008. IEEE
Conference_Location :
San Diego, CA
Print_ISBN :
978-1-4244-2676-8
Electronic_ISBN :
978-1-4244-2677-5
DOI :
10.1109/MILCOM.2008.4753206
