Minneapolis, MN

March 11, 2010

8:30 am - 2:30 pm

Open-Door Technical Seminars (Multi-Tracks)

09:00 am – 09:45 am

What are OpenVPX Profiles?

Presented by: Michael Monroe – ELMA Electronic

OpenVPX introduces a descriptive nomenclature based upon Module Profiles, Slot Profiles, Backplane Profiles and Chassis Profiles. This session will introduce these terms and show how they simplify the specification of OpenVPX systems and help module manufacturers ensure interoperability. These terms are as useful for custom systems as they are for standard OpenVPX development systems.

Embedded Solutions for Digital Signage and other Streaming Video Applications

Presented by: Dan Naughton, North Central Regional Sales Manager – AAEON Electronics

This presentation is an overview of the different hardware and software solutions being deployed for hardware assisted video decoding. Hardware assisted video decoding and acceleration are becoming more common as the demand for lower cost and lower power solutions grows. Different software and hardware architectures will be discussed along with case studies and real life applications. The focus will be on lower power, fan less, solutions for video applications.

PCIe 2.0 Expansion for Low Cost GPU Acceleration, HPC and High Speed Storage

Presented by: Mark Gunn, VP – One Stop Systems

Direct Attached (PCI Express over cable) computing is a powerful technology that can be implemented in almost any application to expand slot count, attach high speed devices to an existing system, and communicate between PC’s at up to 80Gb/s and much less cost than other solutions. Discover how these easily accessible and available products can be implemented in your application for higher productivity at lower costs. See the future of cluster computing using PCIe over cable in the data center and in HPC environments.

10:15 am – 11:00 am

Harnessing the Power of Multicore Processors with Virtualization

Presented by: Phil Bruckner – Green Hills Software, Inc.

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.

Using Statecharts and Model-Based Design to Prototype Real-Time Controls

Presented by: MathWorks

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.

10:15 am – 11:45 am

Safety Critical Embedded Software Testing Workshop

Presented by: John Paliotta, Director – Vector Software

There are many strategies a project can take to test their embedded software applications. These include code coverage analysis, full unit testing, and static code analysis. Ideally, most organizations would like a repeatable regression testing process that is easy to implement and has a measurable impact on product quality. But how do you get there? This session will explore the various ways companies from a wide range of industries combine various testing approaches to improve overall product quality and test repeatability. A comprehensive live demonstration on an embedded target will highlight how VectorCAST, the industry-leading embedded software testing tool, addresses unit testing, integration testing, code coverage analysis, system testing and regression testing.

11:30 am – 12:15 pm

Developing Next Generation HMI's for Embedded Systems

Presented by: Karim Mouline, FAE – QNX Software Systems

Embedded systems are evolving quickly with sophisticated human machine interfaces that combine audio/video playback, enhanced graphics, and internet connectivity. This session looks at building advanced HMIs and all the challenges that come with it. Learn how to integrate advanced graphical tooling into an embedded environment, addressing the two most commonly raised objections: adequate performance and rock-solid reliability. Explore engineering concerns about integrating everything from high-level HMI applications to low-level embedded controls without compromising real-time reliability or HMI performance. Finally, discover how to save time in the integration process by creating a seamless interface, blending content from any number of existing applications.

Eliminating Runtime Errors in Critical Embedded Software

Presented by: MathWorks

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.

01:30 pm – 02:15 pm

Static Analysis for Safety Critical (FAA DO-178B) & Software Assurance (CERT-C) Applications

Presented by: John Bluestein, FAE – PRQA Programming Research

FAA DO-178B safety critical applications must follow rigorous software processes. CERT-C is a secure coding standard published by Software Engineering Institute, Carnegie Mellon. See how to obtain DO-178B static analysis credit using automated static analysis tools and how to comply with the static analyzable rule in the CERT-C standard.

Model-Based Design for Signal Processing Applications

Presented by: MathWorks

We will explore the Model-Based Design approach to design, simulate and deploy algorithms to embedded processors using automatic code generation. We will use examples for an acoustic noise cancellation system (using a LMS algorithm) and a 3-Band a parametric equalizer utilizing IIR filters to demonstrate how to easily convert floating point models to fixed-point, and deploy the model s to a DSP. Along the way we will show how to verify the models and the generated code against a golden reference.

Increasing Software Reliability, Maintainability and Security through Integrated Static and Dynamic Analysis

Presented by: Nat Hillary, Field Applications Engineer, – LDRA Technology Inc.

Through the last number of years we have seen the emergence of static and dynamic analysis techniques as accepted methods of increasing embedded software quality, security, and reliability. We will look at various static analysis techniques (standards compliance, complexity analysis, run-time error analysis) and dynamic analysis techniques (functional, system and unit test, structural coverage analysis, modeling) and show how applying the results of both static and dynamic analysis provides far more value than either one alone. Key to this increased value is traceability: the ability to apply results of these various analysis techniques to requirements at both high and low levels throughout the development lifecycle creates actionable status data usable by management to assess embedded software projects. Finally, we will look at methods of automating the various analyses and establishing the traceability of analysis results at various phases within the development lifecycle.