37
April 2015
P
RODUCT
N
EWS
AdaCore launches QGen code
generator and model verifier
AdaCore announced the release of QGen 1.0,
a quali able and customisable code generator
and model veri er for Simulink and State ow
models.
is tool can generate MISRA C
and SPARK source code producing readable,
traceable, and e cient code. It is particularly
suited for developing and verifying high-in-
tegrity real-time control applications, espe-
cially where safety certi cation is required.
e tool is highly con gurable thanks to its
visible intermediate representation.
Lauterbach supports full portfolio
of Wind River operating systems
Lauterbach and Wind River are working
together to ensure interoperability between
all Wind River operating systems and the
comprehensive debuggers built by Lauter-
bach.TRACE32, the in-circuit debug and
trace solutions of Lauterbach will support
all new releases of Wind River operating sys-
tems, including the latest Wind River Linux,
VxWorks (includingVirtualization Pro le),
and VxWorks 653 platforms.
LDRA: TBmanager provides bidirectional
software process and artifact traceability
LDRA has secured a patent for TBmanager,
its so ware life cycle traceability and veri ca-
tion system. TBmanager enables developers to
bidirectionally link industry-standard objec-
tives, functional requirements, design, code,
and test artifacts to the people responsible
for those activities. By helping de ne, enforce,
and demonstrate a comprehensive veri ca-
tion work ow, TBmanager provides com-
panies with the audit trail needed to achieve
regulatory compliance of safety-critical
standards.
PragmaDev: tool to simulate
deployment of connected objects
PragmaDev RTDS latest release V4.6 intro-
duces 18 new features making it the most
complete model driven development and test-
ing tool dedicated to communicating systems.
Real Time Developer Studio is based on a for-
mal modeling and testing set of technologies
allowing simulation, prototyping, veri cation,
full code generation, debug on target, and test
generation.
TI: connect, control and communicate with
Sitara AM437x industrial single-chip drive
Texas Instruments announced the new Sitara
AM437x Industrial Development Kit. Allow-
ing developers to di erentiate and optimize
motor control industrial system design the
AM437x IDK aids in the evaluation of the
multi-protocol, industrial communication
and feedback interface capabilities of the
highly integrated Sitara AM4379 and AM4377
processors based on the ARMCortex-A9 core.
EBV features TI’s multi-standard
wireless microcontroller platform
EBV Elektronik now o ers the new Sim-
pleLink ultra-low power wireless microcon-
troller platform from Texas Instruments. e
platform helps customers go battery-less with
energy harvesting or enjoy always-on, coin
cell-powered operation for multiple years.
With this industry- rst technology, custom-
ers have the exibility to develop products
that support multiple wireless connectivity
standards using a single-chip and identical RF
design.
Microchip: 3V serial quad I/O interface
SuperFlash memory family
Microchip announces a new family of 3V Serial
Quad I/O (SQI) interface SuperFlash memory
devices: the SST26VF. is three-member “26
Series” SQI interface family is available with
16-Mbit, 32-Mbit or 64-Mbit of memory and is
manufactured using Microchip’s high-perfor-
mance CMOS SuperFlash technology, which
provides the industry’s fastest erase times and
superior reliability.
Xilinx: SDSoC development environment
for all programmable SoCs and MPSoCs
Xilinx announced the SDSoC Development
Environment for All Programmable SoCs
and MPSoCs. e third member of the Xilinx
SDx family of development environments, the
SDSoC development environment enables the
broader community of embedded so ware
developers to leverage the power of hardware
and so ware ‘all programmable’ devices. e
SDSoC environment provides a greatly sim-
pli ed ASSP-like programming experience
including an easy to use Eclipse integrated
design environment and a comprehensive
development platform for heterogeneous
Zynq All Programmable SoCs and MPSoCs
deployment.
TE Connectivity: quick and safe
disconnections in harsh environments
TE’s new robust EX-MATE EXD explo-
sion-proof connector range helps enable
quick and safe disconnections in hazardous
environments.
e new EX-MATE connec-
tors can be wet-mated in depths of up to 50m
and incorporate an ATEX-certi ed glanding
system for the cable which is encapsulated
within the overmold, making it suitable for a
wide range of harsh environments.
