Developers creating safety critical and high assurance systems will benefit from today’s launch of SPARK Pro. The new open source development environment has been created by Praxis, international specialist in critical systems engineering, and AdaCore, the leading provider of commercial software solutions for the Ada language.
PolyCore Software, Inc., the leader in multicore communications software solutions, announced Poly-Mapper[TM], a Multicore Communications Topology Mapping Tool. Poly-Mapper is an Eclipse GUI based, easy-to-use, flexible tool for rapid creation of validated multicore communications topologies. With Poly-Mapper multicore application developers can rapidly and accurately create, configure and reconfigure multicore communications topologies enabling them to focus on how to partition and distribute the application across multiple cores. Being able to quickly remap functions to different cores and to reconfigure the topology resources allows the developer to make several iterations in a short period of time to find a good balance between performance and resource utilization.
Aonix®, the provider of the PERC® product line for embedded and real-time Java[tm] developers, and SYSGO, a leading supplier of software solutions for the world’s most demanding safety and security applications, announced their collaboration in the Trusted Embedded Computing initiative. Aonix will provide the PERC Ultra virtual machine and its expertise in security and complex embedded systems and SYSGO will provide PikeOS MILS compliant and safe and secure virtualization expertise to the TECOM/FP7 project.
AdaCore, leading provider of Ada tools and support, announced GNAT Pro 6.2, the latest major release of its flagship GNAT Pro Ada development environment. This new release is now available on 18 native and 28 cross platforms. It offers over 130 new features, including increased support for code coverage and source-to-object traceability, which are important for safety-critical and high-reliability application development.
Aonix®, a provider of solutions for safety and mission-critical applications, announced the release of ObjectAda® 8.4 for Windows, targeting PowerPC embedded and real-time systems running the Wind River VxWorks 6.6 real-time operating system (RTOS). This is the first ObjectAda release supporting full Ada tasking atop VxWorks 6.6 via Real-Time Processes (RTP).
AdaCore, provider of the highest quality Ada tools and support services, announced the release of GNAT Programming Studio (GPS) 4.3 – an advanced, powerful Ada-oriented Integrated Development Environment (IDE) that accompanies the AdaCore GNAT Pro toolset on most platforms. The new release lets developers simultaneously use multiple versions of the GNAT Pro toolset and features a redesigned builder module as well as an improved documentation generator. By configuring the development environment for several toolchains, a programmer can take advantage of the latest tool improvements while continuing to use a baselined previous version of the compiler.
AdaCore, provider of the highest quality Ada tools and support, announced the availability of GNAT Pro for Wind River’s VxWorks 6.6 SMP product. This powerful Ada development environment brings a language that was designed from the ground up to support multi-processing to an operating system that takes advantage of multi-core processors.
AdaCore, provider of the highest quality Ada tools and support, announced plans to fully support the VxWorks MILS product line for medium and high security levels of the Common Criteria: Evaluation Assurance Level (EAL) 4 and above. GNAT Pro High-Integrity Edition for MILS is a full-featured Ada development environment and toolchain based on the proven GNAT Pro High-Integrity Edition for DO-178B. It includes the Cert run-time library that is part of numerous safety-certified systems and which can meet Common Criteria Security Assurance Requirements equivalent to EAL 4.
PrismTech[tm], an acknowledged leader in advanced software integration and infrastructure solutions, announced that the regulatory and certification authority for both Software Communications Architecture (SCA) and JTRS compliance, the Joint Tactical Radio System (JTRS) Testing and Evaluation Lab (JTEL), has selected its Spectra[tm] 2 tools suite to assist with the testing and certification of waveform and platform application code. Spectra 2 is PrismTech’s end-to-end development suite for the modeling, code generation, testing and deployment of SCA-compliant software defined radio (SDR) applications. PrismTech’s products “Power Netcentricity” and thus help optimize resource management and provide the superior information on events and conditions necessary to empower decision makers.
Aonix®, the provider of the PERC product line for embedded and real-time Java developers, announced the release of PERC Ultra SMP with support for multicore hardware. PERC Ultra SMP responds to the need for multiprocessor and multicore solutions in complex mission-critical embedded and real-time Java applications. Early adopters of the technology are in the military, aerospace, and telecommunications sectors.