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
- Designer´s Column
DESIGNER'S COLUMN
Powerlink Solutions for Industrial Ethernet
This Webinar about Industrial Ethernet,provides an overview about Ethernet Powerlink and introduces a solution for a master control unit and a slave unit, both using Ethernet Powerlink.Box PC solutions for In-Vehicle and In-Railway applications
Axiomtek industrial design gives the tBOX series the advantages of a ruggedize form factor ideal for today’s transportation demands.Simulation and Model-Based Design for Embedded System
In this webinar we introduce Simulink, an environment for multidomain simulation and model-based design for dynamic and embedded systems.Implementing real-time control and communications with a dual-subsystem microcontroller
With the growing importance of energy efficiency and smart grid technology, there is an increasing need for reliable silicon that supports real-time control with an interface capable of connecting to a wider network.Migrating From MSP430F2xx to MSP430FR5xx Family
This application report enables easy migration from MSP430F2xx Flash-based MCUs to the MSP430FR57xx family FRAM-based MCU. It covers programming, system, and peripheral considerations when migrating firmware. The purpose is to highlight differences between the two families.