AdaCore rolled out the GNAT Pro High-Integrity Edition for DO-178B toolset targeting SYSGO’s PikeOS safety-critical real-time operating system (RTOS). PikeOS is an embedded platform where multiple virtual machines can run simultaneously in a secure environment. The Safe and Secure Virtualization (SSV) technology enables multiple operating system APIs, called “Personalities”, to run concurrently on one machine (ie: ARINC-653 application with Linux). GNAT Pro High-Integrity Edition for PikeOS provides ZFP and Ravenscar run-times for both PikeOS Native and APEX (ARINC 653) personalities.
Texas Instruments launched Code Composer Studio v4, which is an integrated development environment (IDE) based on the Eclipse open source software framework. CCStudio v4 is compatible across multiple processors in TI’s broad embedded portfolio, including microcontrollers, digital signal processors, and ARM-based OMAP application processors. This results in a common environment that simplifies development across a host of processor types. The IDE offers a number of low cost JTAG options including an XDS100 class emulator and corresponding CCStudio license for less than $100, which provides a low-cost entry point for development and enables engineers to later upgrade to higher performance debug solutions if necessary.
AdaCore GNAT Pro for RTX is an Ada Integrated Development Environment that enables programmers to produce real-time Ada applications on Microsoft Windows platforms. GNAT Pro for RTX supports two different modes: a Windows executable with memory protection, and a real-time subsystem that executes in kernel mode with hard, real-time behavior. This enhanced control and scalability helps simplify development of critical applications, including industrial automation, aerospace, and military systems. GNAT Pro for RTX is currently available as an add-on to users of AdaCore’s GNAT Pro development environment. Pricing for GNAT Pro subscriptions starts at $14,000.
Microchip Technology Inc. recently announced the MPLAB Starter Kit for Serial Memory Products. The high-speed, easy-to-use kit supports all of Microchip’s serial EEPROM devices, including the new UNI/O(tm) family. The single-board kit obtains power from the USB port on a PC or laptop and runs under the familiar MPLAB Integrated Development Environment (IDE), enabling faster debugging and system integration, with shorter time to market. The MPLAB Starter Kit for Serial Memory Products is priced at $79.98.
AdaCore recently released GNATbench 2.1.0 Eclipse-based development environment for Ada. GNATbench 2.1.0 includes many enhancements, including general project management and presentation capabilities, new features within the language-sensitive editor, new source navigation capabilities, new wizards, and an enhanced builder. The result is a more powerful Integrated Development Environment (IDE) for Ada that supports tighter integration with Wind River’s Workbench development suite, and automatic integration with the large pool of software development capabilities already available within the Eclipse framework.
Express Logic BenchX IDE is a comprehensive Integrated Development Environment for embedded systems. Express Logic designed BenchX IDE to customer need for low-cost, industrial-grade software development tools. Thanks to the Eclipse community’s tremendous contributions to IDE technology, Express Logic is able to deliver a mature, commercial product that is an ideal solution for developers using the ARM, ColdFire architecture, Power Architecture technology or MIPS architectures. BenchX is based on the Eclipse Europa CDT Release 4.0. BenchX is available now. BenchX licenses are priced from $1,000 per seat, including debug probe, documentation, and three months of technical support.
AdaCore recently released GNAT Pro 6.1.1 Ada Development Platform. The latest release offers more than 150 new features and is available on the largest set of supported platforms in the industry — 44 configurations (including 28 cross compilers) on 79 different operating system versions, including multiple versions of Windows, Linux and Solaris. GNAT Pro is a full-featured, multi-language development environment complete with libraries, bindings and a range of supplementary tools. Pricing for GNAT Pro subscriptions starts at $14,000.
GNAT Pro 6.1.1 Features
- High-Integrity versions for VxWorks 6, including the Ravenscar profile
- Thread-safe profiling with gprof, a tool currently available for GNAT Pro on several platforms
- Increased Ada support in gcov, a coverage analysis tool
- Enhanced tools such as gnatcheck, gnatpp, and gnatmetric, to support a wider variety of coding styles and coding standards
- New warnings to help programmers detect errors earlier
- An upgraded debugging engine
- Improved robustness and efficiency for Ada 2005 features
- Better real-time support on win32 platforms
- Fully-integrated Windows .NET framework support
More info: AdaCore
Aonix® recently released its PERC Pico product — the first commercial offering based on an emerging Java Specification Request (JSR)-302 for development of hard real-time safety-critical code. Rivalling the capabilities of optimized C-language programs, PERC Pico 1.1 enables developers to use the Java language in low-level code requiring small memory footprint, fast performance, and predictable tight response-time latencies. PERC Pico 1.1 is available now for Windows and Linux/x86 platforms and is readily portable to all major processor architectures for both RTOS and bare-board platforms. PERC Pico development tools are available with flat project-based pricing. It is also available with special bundling discounts when licensed together with PERC Ultra.
PERC Pico 1.1 offers developers a new memory-use analysis tool. For the first time, developers of real-time Java systems can statically analyze memory requirements and the memory footprint implications associated with source-code changes without resorting to traditional test and debug activities. The PERC Pico tools enforce programming disciplines that enables the PERC Pico analyzer to calculate the total stack memory requirements for every running thread. This kind of analysis and enforcement is extremely beneficial to development of deeply embedded, real-time systems where memory allocation and predictability are important.
PERC Pico 1.1 delivers important developer productivity enhancements, providing new Eclipse plug-ins for building, launching, and debugging PERC Pico applications. These plug-ins enable users to quickly develop and test new PERC Pico applications on a target system in a familiar, flexible and industry standard environment. An important Debug facility new in this release, automatically translates executable symbol names in a PERC Pico application to the Java names shown in the Eclipse editor. Being able to easily view and identify source-level code associations dramatically expedites debugging activities.
PERC Pico components used in conjunction with the PERC Ultra virtual soft real-time product, Aonix’s industry-leading virtual machine technology for mission-critical applications, makes it possible to address all levels of the embedded real-time application, from high-level application complexity to the lowest levels of hardware. Although traditional virtual machine technologies operate on top of an operating environment like Linux or a traditional real-time operating system (RTOS), PERC Pico run-time is the only one that can also execute on the bare hardware.
For the first time, developers can now code their entire application in the Java language, avoiding the mix of low-level C code into their Java applications. This top-to-bottom Java solution eliminates awkward and performance robbing interchanges via the Java Native Interface (JNI), one of the most frequent points of failure in mixed-language embedded Java applications.
More info: Aonix
AdaCore recently announced the availability of GNATcheck, an integrated coding standard verification tool within the GNAT Pro development environment. GNATcheck meets the growing need for automated verification in safety-critical avionics systems, particularly those systems that need to satisfy the DO-178B standard, which was developed by RTCA and EUROCAE. GNATcheck is currently available as part of the GNAT Pro subscription. Pricing for GNAT Pro subscriptions starts at $14,000.
AdaCore’s GNATcheck is an extensible rule-based tool with an easy-to-use interface. It allows developers to completely define a coding standard (referred to as a “Software Code Standard” in DO-178B) as a set of rules, for example a subset of permitted language features. It verifies a program’s conformance with the resulting rules and thereby facilitates demonstration of a system’s compliance with DO-178B.
DO-178B defines the guidelines for development of aviation software in both the US and Europe and is being increasingly adopted by other related sectors, such as air traffic control and military applications. Work on qualifying GNATcheck as a verification tool (in a DO-178B context) is in progress. After this work is completed, GNATcheck’s status as a qualified tool will allow the evidence that it generates to be used as part of a system’s certification.
- An integrated Ada Restrictions mechanism for banning specific features from an application. This can be used to restrict features, such as tasking, exceptions, dynamic allocation, fixed or floating point, input/output and unchecked conversions
- GNAT Pro specific Restrictions, which complement Ada’s set of restrictions, such as those banning the generation of implicit loops or conditionals in the object code, or the generation of elaboration code
- Additional rules based on Ada semantics specification developed following extensive customer input, including detailed issues, such as ordering of parameters, normalized naming of entities and subprograms with multiple returns
- Easy-to-use interface for creating and using a complete coding standard
- Generation of project-wide reports, including evidence of the level of compliance to a given coding standard
- Over 30 compile time warnings from GNAT Pro that detect typical error situations, such as local variables being used before being initialized, incorrect assumptions about array lower bounds, infinite recursion, incorrect data alignment, and accidental hiding of names
- Style checks that allow developers to control indentation, casing, comment style, and nesting level
More info: AdaCore GNAT Pro for Ada
Aonix® recently announced the Solaris version of ObjectAda. ObjectAda V8.3 for Sun’s Solaris platforms running on SPARC and Intel processors provides a complete enterprise-level environment for the development of native Unix applications using the Ada programming language. These latest releases integrate AonixADT (Ada Development Toolkit), an Eclipse-based development environment, into ObjectAda, providing developers with access to the broad range of tools available through the Eclipse framework. ObjectAda for SPARC/Solaris and ObjectAda for Intel/Solaris are immediately available. Prices start at $8,000 for a single seat license.