Search results for "autumn statement"

The China Manned Spacecraft Programme (CMSP) selected LDRA, the leading provider of automated software verification tools, and the LDRA tool suite to analyse complex safety-critical applications related to the Tiangong 1 spacecraft. The Tiangong spacecraft, required to meet DO-178B Level-A certification, will carry out space rendezvous and docking experiments that support the overall mission of CMSP. The LDRA tool suite will enable CMSP developer...

SynaptiCAD has released an updated version of it's VHDL and Verilog testbench generation and debugging tool, BugHunter Pro, with support for 64-bit versions of Mentor Graphics ModelSim and Cadence Incisive simulators. Other new features include faster waveform capture (so simulations run 8x faster while being debugged), new methods for fast searching through the design hierarchy tree, support for capturing waveform data from VHDL types such as e...

Uninterruptible Power Supplies Limited (UPSL), the UK's leading provider of power protection solutions, today announced it will be renamed 'Uninterruptible Power Supplies Limited, A Kohler Company', before launching its totally new website and embarking on a global expansion programme later this month.

NXP today announced that its SmartMX security chip has been chosen by the Chinese government to power the country’s first ePassport scheme. Utilizing the latest developments in cryptography and security to protect the chip at both hardware and software level, NXP’s portfolio of SmartMX products enables data to be securely stored on the passport, creating an even stronger link between the document and its owner. The Chinese government will sta...

Synopsys today reported results for its fourth quarter and fiscal year 2010. For the fourth quarter of fiscal 2010, Synopsys reported revenue of $375.5 million, compared to $338.3 million for the fourth quarter of fiscal 2009. Revenue for fiscal year 2010 was $1.38 billion, an increase of 1.5 percent from $1.36 billion in fiscal 2009.

DSM Computer provides a clear description of its complete product portfolio in its updated Bluebook edition 2011 that now encompasses a total of 98 pages. Newly added are, in particular, the industrial ABLE public display systems and the recently announced DIN rail PCs. The colored catalog also contains the key data for all embedded systems of the NanoServer® and BookSize family, Galaxy® switch cabinet computers, Infinity® 19-inch industrial c...

SPARK Pro 9, announced today by AdaCore and Altran Praxis, provides a major step forward for developers creating safety critical and high assurance systems. The advanced open source development environment now features increased security functionality, including the ability to verify and assure Multiple Independent Levels of Security (MILS) within the same application as well as support for the latest SPARK2005 language profile.

GL Communications has announced the release of its new OC3/12 and STM1/4 Analysis and Emulation Card. In a statement released to the press, Mr. Jagdish Vadalia, senior manager said, “LightSpeed 1000 is our new Dual OC3/12 STM1/4 PCI-Express card for protocol analysis and emulation of ATM, POS, RAW, and Ethernet traffic. The card also sports 2 GigaBytes of DDR2 RAM, a GigE, and a USB 2.0 interface making this card one of the most versatile and p...

Jackie Mehlmann-Wicks has joined the Adept Scientific (Letchworth, Herts) Marketing Team as Web Marketing Specialist. Jackie has a background in web editing, site content management, search engine optimisation, analytics and email production and will be involved in a range of projects including the management of the Google Adwords campaign and analytics reporting.

Huawei,a leading telecom solutions provider,today announced that it was awarded the Evaluation Assurance Level (EAL) 3 Common Criteria (CC) security certificate for its core network and router products from the National Cryptologic Centre,the certification body of the Spanish National Evaluation and Certification Outline for IT security. This certification demonstrates the reliability and security of Huawei's products and the company's commitment...