We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.PL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Programming Languages

Title: A Rationale-Based Classification of MISRA C Guidelines

Abstract: MISRA C is the most authoritative language subset for the C programming language that is a de facto standard in several industry sectors where safety and security are of paramount importance. While MISRA C is currently encoded in 175 guidelines (coding rules and directives), it does not coincide with them: proper adoption of MISRA C requires embracing its preventive approach (as opposed to the "bug finding" approach) and a documented development process where justifiable non-compliances are authorized and recorded as deviations. MISRA C guidelines are classified along several axes in the official MISRA documents. In this paper, we add to these an orthogonal classification that associates guidelines with their main rationale. The advantages of this new classification are illustrated for different kinds of projects, including those not (yet) having MISRA compliance among their objectives.
Comments: 12 pages, 2 figures
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
MSC classes: 68N15
ACM classes: F.3.1; D.3.0
Cite as: arXiv:2112.12823 [cs.PL]
  (or arXiv:2112.12823v1 [cs.PL] for this version)

Submission history

From: Roberto Bagnara [view email]
[v1] Thu, 23 Dec 2021 19:57:09 GMT (359kb,D)

Link back to: arXiv, form interface, contact.