Quality of static analysis depends not only on the tools, but also on the programming language- SPARK Pro is an unambiguous programming language that provides guaranties and proofs on the application developed
- CodePeer detects errors before they grow into expensive problems
- Hi-Lite Open Source project designed to simplify the use of formal methods in developing high integrity software
Print & Online Media for the Embedded Community
Embedded-Control Europe.com
Product News and Companies Directory for the European Embedded Market
Embedded-Know-how.com
Technical Articles, White Papers, Webinars & more for Embedded Designers
Embedded News & Know-how
Weekly E-Mail Newsletter covers Chips & Components, Tools & Software and Boards & Modules
Virtual Conferences
The side iccmedia-vcon.com hosts free Virtual Conferences. The Conferences provide in depth technical information about specific topics relevant for designers of Embedded Systems.
ECE Magazine
Pan-European information source for Embedded Engineers which provides its readers with technical information about embedded hardware, software, tools, services and technologies.
Boards & Solutions Magazine
Boards & Solutions Magazine is focused on the technical aspects of Embedded Computing (Boards, Modules, Systems, Software, Services) and the use of Open Standards.