Configuring TASKING Safety Checker for Third Party C Compilers

August 24, 2016

Configuring TASKING Safety Checker for Third Party C Compilers

TASKING Safety Checker can be used in various industries where IEC 61508 related regulations are in place, like ISO 26262 in automotive. It fully supports the ISO-C standard, but it needs a simple configuration to be used in context with compiler specific C extensions. This blog provides sources for such configurations.

In addition to the TASKING C compilers, the new Safety Checker can be configured to work with embedded C compilers from other parties/vendors. The Safety Checker fully supports the ISO-C standard, including select pragmas and macros and several additional generic language extensions, but by default it does not include support for compiler specific C language extensions.

The Safety Checker would simply generate a syntax error when a target specific feature is used that it does not recognize. It is therefore required to configure the Safety Checker for such non-standard C code.

The Safety Checker support website contains configuration files for several TASKING compilers. You can configure the Safety Checker for a compiler by including the configuration file at the beginning of each C source file, before other includes with the option --include-file. The configuration file should contain all non-standard C code that is supported by a certain compiler, such as intrinsic functions, qualifiers for memory, data types, predefined macros, typedefs, etcetera. Such information can usually be retrieved from the Reference Guide or User Manual that the vendor provides with the compiler.

In order to prepare the Safety Checker for a non-TASKING® compiler, the most convenient way to start is through one of the configuration files present on the support page, serving as a kind of template. Once completed, you can analyze your code without false-positive warnings related to your specific compiler choice.

Download the evaluation of TASKING Safety Checker today.

Product

most recent articles

Green is Our Favorite Color: Embracing Environmental Sustainability We might be known for our love of blue — after all, our hardware is called the BlueBox. But don’t let that fool you; when it comes to sustainability, green is our favorite color. Encouraging an Environmentally Conscious Workplace Sustainability starts with the mindset of our employees at TASKING Labs in Slovenia. We actively encourage an environmentally conscious mentality throughout our organization. Many employees choose to bike to work Read Article

Accuracy, Performance and Risk Reduction with TASKING Certified C Library Watch Video

Qualifying a C Library - Dealing with the conflicting worldviews of the ISO 26262 and ISO C standards Functional safety and cybersecurity standards treat the qualification of tools and libraries as independent subjects. This independence is inconsistent with the perspective of the ISO C standard which serves as the foundation for implementing compiler toolsets and their libraries. This fundamental difference poses difficulties when it comes to qualifying a compiler and the libraries associated with it. Introduction To achieve conformance with the Read Article

Qualified C Library Download PDF

Boosting Safety and Efficiency with PPU-Enhanced AURIX™ TC4x Microcontrollers Watch Video

AUTOSAR Timing Analysis with Vector TA Tool Suite and TASKING winIDEA IDE TASKING has maintained a very close and cooperative partnership for many years. A particularly fruitful area of cooperation is focused on creating solutions for AUTOSAR Timing Analysis. Numerous joint research and customer projects result in a user-friendly workflow for advanced timing analysis using the Vector TA Tool Suite, based on hardware trace recordings on Vector MICROSAR-based ECUs. The trace recordings are performed by the TASKING Read Article

SmartCode v10.3r1 Download PDF

winIDEA Debugging Features Accessible in NXP's S32 Design Studio Developing complex embedded systems requires robust tools that optimize the coding, debugging, and testing processes. winIDEA IDE is an Integrated Development Environment (IDE) widely recognized for its comprehensive debugging and testing capabilities. It supports a wide range of microcontrollers and processors, offering features such as real-time data acquisition, advanced breakpoints, and multi-core debugging. NXP's S32 Design Studio (S32DS) is Read Article

winIDEA and AURIX™ Development Studio: The Best Debugging Duo for AURIX Developers Developing complex embedded systems requires robust tools that optimize the coding, debugging, and testing processes. winIDEA IDE is an Integrated Development Environment (IDE) widely recognized for its comprehensive debugging and testing capabilities. It supports a wide range of microcontrollers and processors, offering features such as real-time data acquisition, advanced breakpoints, and multi-core debugging. Infineon’s AURIX™ Development Read Article

TASKING Academy: A Platform for Future Engineers Established in 2017 at TASKING Labs in Slovenia, TASKING Academy offers students from the Faculty of Electrical Engineering and the Faculty of Computer and Information Science a unique opportunity to gain practical experience in their field. Interested students can apply through our website or during the annual JobFair and Career Week events organized by the faculties. The selection process begins with a review of the applicants' CVs, followed by Read Article

Back to Home