Richard.Goering
's profileBiography has not been added
Richard.Goering
's contributions-
-
- 06.11.2007
- Mathworks adds formal methods to Simulink
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.
-
- 04.11.2007
- Intel tools support multicore CPUs
New tools from Intel Corp. will help software developers write and debug multi-threaded programs for that company's growing number of multicore CPUs.
-
- 04.05.2007
- Debug probe revs for multicore
With download speeds over 10 Mbytes/second, Green Hills' Probe V3 is ready for on-chip debugging of multicore devices, the company says.
-
- 04.05.2007
- MontaVista's new Linux challenges RTOSes
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.
-
- 04.02.2007
- Aonix launches Eclipse Ada project
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.
-
- 03.20.2007
- Software claims 50% SDR memory savings
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.
-
- 03.16.2007
- ARM development system is $99
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.
-
- 02.20.2007
- Wind River acquires 'hard' real-time Linux
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.
-
- 02.13.2007
- Wind River rolls Lab Diagnostics
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.
-
-
-

