Menu Chiudi

THE MISRA C CODING RULES STANDARD: A KEY ENABLER FOR THE DEVELOPMENT OF SAFETY AND SECURITY-CRITICAL EMBEDDED SOFTWARE

R. BAGNARA

Questa รจ l'intestazione

BUGSENG & Applied Formal Methods Laboratory Department of Mathematical, Physical and Computer Sciences University of Parma, Italy

TAGS

Coding standard, MISRA C

CONTENUTO

C is the most used language for the programming of embedded systems.
The advantages of C come with corresponding disadvantages that severely impact safety and security: language subsetting is crucial!
MISRA C is the most authoritative subset of C for the development of high-integrity embedded systems.
MISRA C is integral part of a software development process, and its adoption is radically different from bug finding.
Good tools and proper formal training of personnel enables a smooth and successful adoption of MISRA C into an organization.