Altran Praxis and AdaCore announced a new reference implementation of the Skein algorithm, written and verified using the GPL 2010 Edition of the SPARK language and toolset. Skein is a cryptographic hash function and an entrant in the National Institute of Standards and Technology (NIST) hash function competition to design what will become the new Secure Hash Algorithm (SHA-3) standard. Such hash functions are used to compute short “digests” of long messages, and are one of the key building blocks of digital communication and cryptographic systems. Altran Praxis and AdaCore have open sourced the SPARKSkein reference implementation and made it available to the developer community via the Skein website. This is in time for the second SHA-3 candidate conference taking place at the Crypto 2010 conference, Santa Barbara, California, USA, from 23-24 August 2010.
MathWorks announced that its Target Support Package and Embedded IDE Link products now support the Eclipse integrated development environment (IDE) and Embedded Linux through the GNU compiler tool chain. As a result, engineers can automate project creation in Eclipse and deploy real-time embedded systems on Linux using automatically generated code from MATLAB and Simulink models. These capabilities enable engineers using Model-Based Design to rapidly implement and verify algorithms on processors that can run Embedded Linux, such as ARM, Freescale, and Intel.
DiSTI, a global leader in Empowering the Human Machine Interface (HMI), has announced the availability of iPod Touch, iPhone and iPad (iDevices) support for GL Studio’s Safety Critical Embedded C++ (SCEC++) run-time library. This new expansion of capability enables users to rapidly create high performance interface graphic designs on these small hand-held devices.
Sigasi, an EDA company focused on agile hardware design tools, announced that it will make Sigasi HDT, an Intelligent Development Environment (IDE) for VHDL, available as an Eclipse plugin. As of today, Sigasi HDT will be available in two versions: as a standalone application as before, and as an Eclipse plugin. A tool license includes the right to use either version, at any time, at the customer’s discretion.
Atego, the leading independent supplier of industrial-grade, modeling and development tools for complex, mission and safety-critical embedded systems and software, has announced the release of Aonix ObjectAda Real-Time for Windows targeting the Wind River VxWorks 653 multi-partition RTOS for PowerPC. This is the first release of the Aonix ObjectAda product with full Ada runtime support for the Wind River safety-critical platform.
Atego, the leading independent supplier of industrial-grade, modeling and development tools for complex, mission and safety-critical embedded systems and software has acquired Blue River Software GmbH, extending its embedded development software portfolio to now include C++ tools. Atego’s acquisition of Blue River closely follows its creation from the recent merger between Artisan Software Tools and Aonix. The acquisition also demonstrates Atego’s effectiveness at delivering on its growth strategyas a platform for market consolidation.
Artisan® Software Tools and Aonix® have merged to create a new, stronger independent force in the mission- and safety-critical systems and software development tools market. The merged company is named Atego and headquartered in San Diego CA, USA. Artisan Software Tools is the world’s largest independent supplier of industrial-grade, collaborative modeling tools for complex, mission and safety-critical systems and software and Aonix is a leading supplier of critical systems development tools, virtual machines and services for real-time/embedded Java and Ada solutions.
Aonix®, the provider of the PERC product line for embedded and real-time Java developers, announced the start of its integration efforts to Wind River’s VxWorks MILS Platform for multilevel secure (MLS) systems with its flagship product PERC Ultra. This integrated product will help customers address the growing requirement by industry and government scalable, portable, and maintainable tools and execution environments that can handle the special needs and rigor associated with access to and protection of secure data in MLS systems.
Aonix®, the provider of the PERC® product line for embedded and real-time Java[tm] developers, announced that it is partnering with Real-Time Innovations (RTI) to provide integrated standards-based data distribution services to PERC Ultra for the Wind River Systems VxWorks MILS platform. The companies have also formed a partnering agreement paving the way to jointly market RTI Data Distribution Service and Aonix PERC® technologies to their mutual customers.
IS2T announced the availability of MicroEJ®-EDU, a free Java platform kit for software developers who wish to evaluate Java technologies optimized for embedded systems. This Java evaluation kit provides the embedded engineering community with new opportunities to understand how to design and maintain more robust, secure and scalable applications and how to cut actual software development costs by a factor of five.