- 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?
- Column Right
There is abundant energy in our environment, and the challenge is to convert that ambient energy into useable electrical energy to power an application. This lecture looks at the harvesting sources, the system architectures and the ideal features of an energy harvesting power management IC.
Don’t miss the Webinar that helps you calculate the costs and resources involved with buying vs. designing from scratch. New product features, certification, increased performance and quicker design.
Intel recently announced the Intel Reference Design for Intelligent Vending which connects vending machines to cloud services and data analytics to enhance customer experience and improve operations.
Network video recorders (NVRs) are typically network-based computers that take video feeds from multiple cameras simultaneously and record the video in a digital format. This white paper looks at Milestone Systems’ line of Husky NVRs and how they use Intel Core i5/i7 processors
In the last years, the government in many countries have increased their safety standards to provide more safety in public transportation. In this Webinar MEN show you how to cover all requirements from the beginning with just a single system.
The emerging Internet of Things is creating new opportunities to optimize factory operations. The challenge is finding a way to transform isolated, fixed function equipment into a network of intelligent machines.
Increasing processing speed whilst ensuring desired precision is a challenge often faced by design engineers. This webinar will discuss such and many other issues in designing critical applications. The session will also explain the working of the JESD204B high speed SERDES link designed for high speed converters.
During this webinar, participants will receive an overview of the Challenge-Response Authentication protocol and demonstrations on “How to set up an authentication system in four easy steps” and “How to integrate authentication into a new or existing design”.
In this article, we show how the Intel Atom processor E3800 product family delivers the reliability, security, performance, and efficiency that smart grids require.
This white paper helps you to quantify the cost savings bug prevention offers your organization, using formulas inspired by the book "How Google Tests Software".
This Webtalk presents TI's new Sitara AM437x processor family which has up to 40 percent more system performance and is suited for applications such as industrial automation and industrial drives and all types of equipment providing a Human Machine Interface.
Download a copy of the HIC++ coding standard, one of the longest established and most widely adopted coding standards for the C++ language. This major update (V4.0) now covers C++'11 advice and consolidates other current coding best practices.
The Internet of Things represents a major departure in the history of the Internet, as connections move beyond computing devices. This TechFeature provides you with technical information, webinars, white papers, useful links and more about IoT basics, strategies, technologies, products and solutions.
This Microsite provides an overview about Analog Devices’ portfolio of motor control solutions. ADI’s completely integrated solution fits the specific needs of industrial-based customers while helping them meet the new, more stringent energy regulations
Print & Online Media for the Embedded Community
Product News and Companies Directory for the European Embedded MarketEmbedded-Know-how.com
Technical Articles, White Papers, Webinars & more for Embedded DesignersEmbedded News & Know-how
Weekly E-Mail Newsletter covers Chips & Components, Tools & Software and Boards & ModulesBoards & Solutions / ECE Magazine
Pan-European printed magazine for Embedded Engineers which provides its readers with technical information about embedded hardware, software, tools, services and technologies.
This free Virtual Conference has its focus on tools, software and real-time operating systems. Highlights of the conference programme are: enabling the future of connected devices, introduction to model driven development, development of GUIs, development tools for ARM-based MCUs…
Reference designs help to reduce product development effort, time and risk. We have put together a microsite with technical information (White Papers, Webinars, Articles, …) about new reference designs.
Capabilities of oscilloscopes are increasing drastically. They become a more comprehensive and a more comfortable to use measurement tools with lots of integrated functionalities. Our Virtual Seminar provides you with first hand information about new oscilloscope developments with Rohde & Schwarz, Tektronix, Agilent and Pico.
This Virtual Conference provides an update about ltrends, solutions and products to create reliable control and communications within industrial environments. Major topics are Human Machine Interfaces, Connected Factory, (Real-Time) Operating Systems and Software Monetization.
In this virtual conference leading software and hardware vendors present technical webinars and videos about technologies, products, applications and solutions to improve safety of embedded systems.