Safety Critical Applications
Comply with Coding Standards
For safety-critical and security-critical software, coding standards are essential to meet requirements and avoid errors and vulnerabilities.
On this page you will find an overview of all the coding standards that we can serve.
AUTOSAR
AUTOSAR (Automotive Open System Architecture) is a global development partnership of automotive industry stakeholders that aims to create an open and standardized software architecture for automotive electronic control units (ECUs). AUTOSAR provides a set of standards, specifications, and guidelines for developing software in the automotive domain, including coding guidelines.
The AUTOSAR coding guidelines are a set of rules and recommendations for writing C or C++ code in the context of AUTOSAR-compliant software development. These guidelines are designed to ensure code quality, reliability, and safety in automotive software systems. They are crucial for developing software components that can be integrated into AUTOSAR-compliant ECUs from various suppliers while maintaining consistency and interoperability.
Developers and teams working on AUTOSAR-compliant software projects need to follow these coding guidelines to ensure that their code integrates seamlessly with other components and meets the high standards of safety and quality required in the automotive sector. Additionally, adherence to these guidelines can aid in achieving certification for safety-critical applications, such as ISO 26262 compliance for functional safety.
Ensure Code Safety with PC-lint Plus
Discover PC-lint Plus, our tool for compliance with the most important coding standards. It is certified for ISO 26262 and IEC 61508 and ensures that your code meets the highest safety and quality standards.
PC-lint Plus provides support for the following guidelines:
MISRA C:2023
MISRA C:2012, Amendments 1, 2, 3 and 4
MISRA C:2004
MISRA C++:2023
MISRA C++:2008
Custom Coding Guidelines
The analysis capabilities of PC-lint Plus are not limited to the built-in messages. It offers the possibility to define custom checks and diagnostics. They are realized by specifying queries that are executed while inspecting and walking the abstract syntax tree (AST). The AST is generated by PC-lint Plus as a representation of the source code under analysis. Each query is composed of query expressions, which constitute a statically-typed, domain-specific language.
Queries cannot only help enforcing custom coding guidelines. They can also be used to specify precise exceptions for each finding. Before reporting a finding the corresponding queries are executed. If the finding matches a specified exception the finding will be suppressed. In this way, you can define permissible deviations without having to justify each individual occurrence.
Connect with Our Experts
Whether you're seeking advice, looking for solutions, or just curious about our services, we're here to help.
Our team of experienced developers is here to provide the support, and technical expertise you need. Contact us to schedule your consultation and start your journey with us.
Subscribe To Our Newsletter
Are you passionate about software development?
Want to stay updated with the latest, tools, and best practices we offer?
Join our community by subscribing today!