Using the Model-Based design approach, we will demonstrate how to efficiently develop, test, validate and communicate real-time control algorithms using Statecharts, without acquiring development tool chains, building devices drivers, or board support packages (BSPs). We’ll discuss how to test these algorithms in simulation, and automatically generate code to integrate with the rest of your system. We will also show how to deploy your algorithms to a real-time system embedded system using an x86 compatible prototyping platform to control your hardware. Lastly, we will demonstrate how these algorithms may retarget into an embedded production environment.

We will introduce the Polyspace code verification tool for achieving robust software quality. Learn about a unique formal-method approach called 'abstract interpretation' - which makes it possible to find errors that other techniques can miss. Through demonstrations and examples, we will show how it helps detect errors in embedded C/C++/Ada code and prove that the software contains no run-time errors. You will find this valuable if you: work with critical C, C++ or Ada code; rely on dynamic testing, coverage and code reviews to find runtime errors; would like a way to prove that no more runtime errors remain in your code; seek qualification or certification under DO-178B, ISO 26262, IEC 61508, EN 50128.

Do most embedded projects need an RTOS? Its a good question. The answer lies in the very nature of embedded devices. Devices that, in many cases, are manufactured in the thousands, or millions, of units. Devices where even a $1 reduction in per-unit hardware costs can save the manufacturer a small fortune. Savings aside, the services provided by an RTOS make many computing problems easier to solve, particularly when multiple activities compete for a systems resources. This session explores what is realtime, what makes a realtime system and when its needed. Attend and learn about some of the critical elements of realtime computing such as scheduling, priority inversion, interrupt handling and reliability.

Today’s industrial and military customers are demanding computer systems that can operate in a wider array of applications than traditional industrial and commercial products were designed to survive. This requirement includes not only the need for extended operating temperatures but also the ability to survive in high shock and vibration environments. At the same time, many of the systems used in these projects have been reduced to a CPU board and specialized I/O. This simplification is leading system designers to seek alternatives to the expensive infrastructure of VME and cPCI based systems. To meet their needs, engineers are looking at the new generation of INDUSTRIAL PCs. Come join us as we tear down an INDUSTRIAL PC and see how they are designed to handle the stress of shock and vibration, all the while maintaining their cool. We will discuss a wide range of potential applications and questions that you should consider when selecting an INDUSTRIAL PC for your project.

For high speed real-time applications, the interconnect that is used can dramatically effect performance. Applications such as simulators and distributed "sensor to processor" systems benefit from lower latency and higher throughput. We will show how to reduce latency and improve system performance with our latest interconnect technologies. Find out how to improve you system performance by implementing techniques such as reflected and shared memory. Understand how to improve application performance with superior sockets performance using our Ultra fast Supersockets implementation.

Join Green Hills Software for an informative session that will cover development challenges associated with adopting multicore processors in new designs. We’ll cover common use cases for multicore devices as well as a complete multicore toolkit that includes development tools, operating systems, and virtualization technology. Utilizing this toolkit enables developers to unlock the power of next generation multicore designs.