MISRA C is a software development language subset
originally created to promote the safer use of the C programming language in safety-critical automotive applications.
Praxis' SPARK Examiner checks the conformance of a program to the rules of SPARK, a secure language subset
, augmented by annotations that formally define a program's meaning and allowing it to be rigorously analyzed.
With GNATcheck developers can enforce the specified coding standard or language subset
covered by the Traceability Analysis Package.
According to Matt Schurman, chief technology officer at GlucoLight Corporation, "By introducing the Embedded MATLAB language subset
and Simulink in our design process, we virtually eliminated the errors previously experienced with manual code translation from MATLAB to C.
Building on its long history of supplying small and fast Ada95 compile systems that satisfy the Ravenscar Ada95 profile certifiable language subset
, Aonix is targeting language-specific configurations of SmartKernel so that developers will be able to create systems where multiple applications in multiple languages can safely run on a single board.
a provider of formal functional verification systems today donated the SUPERLOG(R) Design Assertions language Subset
to the standards organization Accellera.
According to Dataquest's Gary Smith, Principal EDA Analyst, "Design teams that adhere to a language subset
at the RT level achieve a much higher productivity level and considerably minimize their time to verification.
NASDAQ: SNPS), in a continuing program of industry openness, today announced that it has delivered documentation of the Verilog register-transfer-level (RTL) synthesizable language subset
for IEEE standardization via the EDA Industry Council.
The efforts of VHDL International to address the synthesis language subset
have catalyzed our efforts and made us aware of the need to expand this beyond VHDL to include Verilog, the other major high-level design language," Woodson added.
In this way, projects can enforce language subsets
and reduce the cost of program certification.
For safety critical development it also supports development with MISRA C, Embedded C++, and both the SPARC and Ravenscar Ada language subsets
With 24 different languages, it allows global companies to implement one single version of the operating system, without language subsets
, and gives users the ability to switch languages at any workstation.