DocumentCode
2395147
Title
Coding standards for high-confidence embedded systems
Author
Anderson, Paul
Author_Institution
GrammaTech, Inc., Ithaca, NY
fYear
2008
fDate
16-19 Nov. 2008
Firstpage
1
Lastpage
7
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/MILCOM.2008.4753206
Filename
4753206
Link To Document