Richard.Goering

's profile
image

Biography has not been added

Richard.Goering

's contributions
Articles
Comments
Discussions
    • Adding formal design methods to its widely used Simulink model-based design suite, The Mathworks Inc. has introduced the Simulink Design Verifier, which generates tests and proves properties for models from the company's Simulink simulation platform and Stateflow design and simulation tool.

    • Open Kernel Labs has spun out from an Australian research institute to commercialize OKL4, described by Steve Subar, CEO, as a high-performance open source microkernel that supports virtualization, real-time programming, software componentization, security and encapsulation.

    • New tools from Intel Corp. will help software developers write and debug multi-threaded programs for that company's growing number of multicore CPUs.

    • With download speeds over 10 Mbytes/second, Green Hills' Probe V3 is ready for on-chip debugging of multicore devices, the company says.

    • With faster response times and a smaller memory footprint, MontaVista Software says its new commercial Linux release can meet the needs of most real-time embedded systems.

    • Seeking to expand open-source Ada development software, Aonix is leading an effort to create an Ada Development Toolkit (ADT) within the Eclipse software framework.

    • A software optimization technique from Green Hills Software and Objective Interface Systems claims to reduce the required memory footprint for software defined radios (SDRs) by 50 percent.

    • iSystem, a German provider of emulation and development tools, has released a $99 ARM development suite with debugging hardware and software. Schematics for the hardware can be downloaded for free.

    • By acquiring the intellectual property of FSMLabs, developer of RTLinux, Wind River Systems is claiming to offer the industry's only commercially-supported "hard" real-time Linux technology.

    • Extending its device software optimization (DSO) to validation, Wind River has introduced Lab Diagnostics, a tool that lets users diagnose and repair software problems while devices are running.