Page 46

EETE MAR 2015

DEBUGGING &PROGRAMING TOLS Analysis tool stops software “erosion” Enabling developers to write better embedded software is the goal of the creators of the Bauhaus Suite, a software development environment from tool vendor Axivion GmbH. The tool suite supports MISRA C:2012 and allows automated static analysis for C# programs integrated into Microsoft Visual Studio. The Axivion Bauhaus tool suite, available now in release 6.2, targets safety-relevant software in automotive and medical environments. Supporting the MISRA C:2012 standard, the tool tests embedded software and provides information to the programmer as to in which lines its code deviates from the rules as set by the relevant standards. It also provides hints to the programmer which program statements need to be corrected or at least described in a comment. The selection of programing languages supported has been enhanced with a view to GUI design in industrial environments. As a result, the tool enables users to perform in-depth static analysis of C# code. Thanks to the increased degree of integration, the results of the analysis are accessible directly in the Microsoft Visual Studio development environment which also supports C++. Developers involved in large projects can benefit from the newly added 64-bit support for all operating systems. Axivion Bauhaus suite 6.2 automatically performs static analysis on large amounts of code at high speed, facilitating quality assurance in embedded software development. This feature also improves quality and serviceability of the software. For instance, it tracks instances with identical software statements; if one of them is modified, it automatically applies this modification to all other instances. Axivion www.axivion.com Customizable code generator is certification-ready AdaCore’s QGen 1.0 is what the company calls a qualifiable and customizable code generator and model verifier for Simulink and Stateflow models. This tool can generate MISRA C and SPARK source code producing readable, traceable, and efficient code. It is particularly suited for developing and verifying high-integrity real-time control applications, especially where safety certification is required. The tool handles around 100 Simulink blocks. These were selected as a safe subset that guarantees predictable code generation patterns, does not require any run-time support, and allows for tool qualification against software safety standards. Support for Stateflow models is expected during late Q2 2015. The tool’s static model verifier detects run-time errors such as integer overflow and division by zero. It also can find logic errors such as dead execution paths, and verify functional properties through Simulink Assertion blocks. QGen can be integrated with AdaCore’s GNATemulator and GNATcoverage tools to support Processor-in-the-Loop (PIL) testing and structural coverage analysis without any code instrumentation. Qualification material for QGen will be available for standards such as DO-178C (avionics), EN 50128 (rail), and ISO 26262 TCL3 (automotive). The model verification feature is qualifiable for DO-178C at Tool Qualification Level 5. AdaCore www.adacore.com Imperas opens MIPS Warrior processor models Imperas has released the Open Virtual Platforms (OVP) Fast Processor Models for the MIPS Warrior P-class and M-class CPU IP cores from Imagination Technologies. The processor core models and example platforms are available from the Open Virtual Platforms website, www.OVPworld.org/MIPS. The models of the P5600 and M51xx processor cores, as well as models of other MIPS processors, work with the Imperas and OVP simulators, including the QuantumLeap parallel simulation accelerator, performing at hundreds of millions of instructions per second. All OVP processor models are instruction accurate, and very fast, focused on enabling embedded software engineers to have a development environment available early to accelerate the entire product development cycle. Virtual platforms utilizing these OVP processor models can be created with the OVP peripheral and platform models, or the processor models can be integrated into SystemC/TLM-2.0 based virtual platforms using the native TLM-2.0 interface available with all OVP processor models. The OVP models also work with the Imperas advanced tools for multicore software verification, analysis and debug, including key tools for hardware-dependent software development such as OS and CPU-aware tracing (instruction, function, task, event), profiling, code coverage and memory analysis. The tools use the Imperas SlipStreamer patent pending binary interception technology. SlipStreamer enables these analytical tools to operate without any modification or instrumentation of the software source code, i.e., the tools are completely nonintrusive. Imperas www.imperas.com IDE targets concurrent 8/32-bit MCU and wireless design Simplicity Studio is what Silicon Labs claims to be industry’s first integrated MCU/wireless development environment enabling concurrent MCU and RF design for a wide range of IoT applications. This new software release inherits the best features of the original Simplicity Studio platform and adds support for Silicon Labs’ new 8-bit EFM8 MCU family, new EZR32 sub-GHz wireless MCUs and EM35xx Ember ZigBee wireless SoCs – the most widely used 2.4 GHz connectivity solution in the 802.15.4 mesh networking market. The tool provides MCU and wireless developers with one-click access to everything they need to complete their projects, from initial concept to final product, in a unified software environment. It includes an Eclipse-based integrated development environment (IDE), graphical configuration tools, energy profiling tools, network analysis tools, demos, software examples, documentation, technical support and community forums. All of these integrated features combine to make embedded development simple and productive for IoT developers. Simplicity Studio automatically detects the connected 8-bit or 32-bit MCU or wireless IC, graphically configure the device, and show supported configuration options to help developers get their projects up and running in minutes. Silicon Labs www.silabs.com 30 Electronic Engineering Times Europe March 2015 www.electronics-eetimes.com


EETE MAR 2015
To see the actual publication please follow the link above