»Click here to view online I »Forward to a friend I »Sign up for an Embedded Newsletter

Share this Newsletter:

facebook linkedin twitter digg

November 26, 2012

Tech Focus

Using high level modeling tools for embedded designs

Modeling of embedded designs - Part 1: Why model?

Modeling embedded designs - Part 2: Modeling method examples

Modeling embedded systems - Part 3: Where to model

Modeling embedded systems - Part 4: If prototypes aren't possible


Editor's Note

Bernard Cole Bernard Cole
Site Editor
Embedded.com
bccole@acm.org
Read his blog

In his recent blog on "Trends in embedded software design," Michael Barr points out that despite its advantages in small footprint, limited resource MCU based designs, the C language without help is simply not up to the task of building systems requiring over a million lines of code.

Because of this trend, he predicts that "tools able to reliably generate those millions of lines of C code automatically for us, based on system specifications, will ultimately take over." One state-machine derived candidate that he mentions is the open source Quantum Platform unified modeling language framework for event-driven programs.

To get a complete picture of modeling tools capable of auto-generating the necessary code, be sure to read the four part series on "Modeling embedded systems," by Shelley Gretlein. Based on a chapter she is contributing to an upcoming 2013 book on software engineering, the series provides a good introduction to the different model-based (MBD) tools such as LabView, MatLab and Simulink, as well as the model-driven (MDD) Unified Modeling Language design framework.

To complement and expand upon her overview, collected here are a range of contributed design articles, webinars and technical papers on many of the modeling options available. Also included in the Resources Around the Network section are a number of conference and technical journal papers and presentations. Among these, my Editor's Top Picks are:

Quantum Programming for Embedded Systems
Design embedded algorithms with high level graphical tools
Model-Driven & Model-Based Design in industrial & machine control

Traditional methods of C programming will not go away and will be needed to fine tune the performance of the generated code or write device drivers to integrate it more closely to the hardware. But such high level tools are a necessity for embedded programmers and while you may not like the idea of auto-generated code today, Barr writes that: "I guarantee that once you program for a state machine framework, you'll see the benefits of the overall structure and be ready to move up a level in programming efficiency."


Development

A crash course in UML state machines: Part 1

In this article series. Miro Samek introduces you to the basics of UML state machines basic notation, clarifying semantics, and provides some code examples to the role of UML state machines have in practical, everyday programming rather than mathematical abstractions. Up first: The over simplification of the event-action paradigm.

Build Safety-Critical Designs with UML-based Fault Tree Analysis - The basics

This three part series describes use of Fault Tree Analysis (FTA) in safety-critical design, taking advantage of UML profiling to create a safety analysis profile, including the definition of its normative metamodel. Part 1: The basics of safety & capturing of fault metadata for analysis.

Transitioning from code-based to model-driven software testing: Part 1

In a three part tutorial Moshe Cohen of Telelogic describes the new UML 2.0 Testing profile and how it can be used to extend traditional code-centric Test Case development into modeling Test Architectures and Test case behaviors, faster and with fewer resources.

Combining Model-Driven and Model-Based Design in industrial and machine control

Two popular approaches to high level embedded design, model-based development using Simulink and model based design using UML/SysML can be used effectively in a wide range of robotic and machine control systems.

Using object-oriented MATLAB for DSP

This hands-on how-to demonstrates how to use object-oriented programming features of Matlab 2008a to model C++ digital signal processing solutions.

Allocating memory in MATLAB-to-C code

MATLAB frees you from having to think about memory allocation and actively encourages the use of variable-size arrays. But memory, time, and hardware constraints limit how the C implementation allocates memory. Here are some workarounds.

Using a model-based tool to speed SDR digital down converter design

How to use model-based design methods to deal with errors in RF subsystems early in the design process rather than when physically tested at the prototype stage.

Leveraging multi-core processors with graphical system design tools

Randy Martin describes how high level system design methodologies in combination with an appropriate RTOS can be used to simplify development of multi-core-based embedded devices.

Back to the basics: Designing your embedded algorithms with high level graphical tools

Implementing algorithms for functions such as digital filters is much more of an art than a science. With this in mind, using an interactive and iterative approach is necessary so that you can quickly and efficiently move from design, to simulation, to implementation. Additionally, this approach encourages experimentation with various design parameters and can lead to further innovations.

Reconfigure factory machine controllers for higher efficiency operation

How to use Xilinx FPGAs and National Instrument's Reconfigurable I/O platform to build field oriented control systems that improve motor efficiency.

Using model-driven development for agile embedded apps:Part 1 – Why model and why MDA?

In a four part series of tutorials, Bruce Powel Douglass, author of "Real-Time Agility," presents a convincing argument as to why agile approaches are now necessary in embedded software development and the role of model-driven architectures and development can aid in this process.


Products

Zynq-7000 All Programmable SoCs accelerate industrial automation

Zynq-7000 All Programmable SoCs from Xilinx, Inc. accelerate design productivity while increasing system performance and safety through single-chip system integration.

TI's new C2000 32-bit Piccolo F2805x MCUs boast 5x performance

Texas Instruments Incorporated's new highly integrated C2000 Piccolo F2805x microcontrollers are optimized for a variety of three-phase inverter motor control applications to enhance power efficiency and control performance.

ESC - LDRA and MathWorks integrate LDRA tool suite with Simulink

LDRA and MathWorks have integrated the LDRA tool suite with Simulink modelling tools. The integration offers independent verification and full traceability of all artifacts - whether requirements, model elements, or tests - throughout all phases of the lifecycle.

LDRA tools integrate with LabVIEW DO-178 certification

The LDRA tool suite has been integrated with National Instruments LabVIEW Virtual Instruments to provide hardware-in-the-loop (HIL) simulation, a technique used to develop and test the complex real-time embedded systems commonly found in military and aerospace designs.


Industry

NI updates LabView with improved hardware integration

As National Instruments prepares to open the doors of its annual NI Week conference it has unveiled NI LabVIEW 2011, the updated version of its design software.

Space Codesign releases new HW/SW co-design tools

Space Codesign Systems releases Version 2.4 ESL design tool for Hardware/Software co-design with new support for asymmetric multiprocessing (AMP).

Imperas debuts Cortex-A15/R4 Fast Processor Models

Imperas has released its models of the ARM Cortex-A15, Cortex-R4, Cortex-R4F and ARM1176 processor cores.

Imperas adds Cortex-M models to its OVP

Imperas has released its first models of the Cortex family of processor cores from ARM with models of the M-series of cores added to the Open Virtual Platforms (OVP).


Signum is a new digital mobile and desktop application hosted by ARM. This platform brings learning to a new level by incorporating video, animation, interactive screens, social media and hyper links into traditional print. With Signum you are fully immersed in the latest technologies, products and design methodologies for building ARM-IP based solutions. Subscribe Now!


Insights

Trends in embedded software design

As the magazine that catered to embedded systems programmers closes, the future lies in less hands-on programming and more auto-generated code.

A picture is worth a thousand lines of code

Graphical system design and prototyping opens the doors of embedded systems development to the masses.

Introduction to UML statecharts

The Unified Modeling Language (UML) uses a variety of diagrams to model systems. In this third and final installment, statecharts are explained.

Modeling the way with academia and industry

The use of models and simulation has replaced the old-fashioned design methods.


Collections on Embedded.com

Embedded.com now has a series of collections of content by topic. We will continue to add content to our collections and will institute a rating system in the near future where you can rate your favorite articles (and help others find them). To suggest new collections or add content to a collection, contact Susan Rambo, managing editor.

New collection:

Virtual prototyping

Browse the collections:

A sampling of topics include:
Agile programming
Algorithms
Digital signal processing
Embedded vision
Hardware description languages
Multicore
PID control
Watchdog timers


TechOnline Library

Tech Papers

Quantum Programming for Embedded Systems: Part 1—Statecharts

Quantum Programming for Embedded Systems: Part 2—Active Objects

UML for the C programming language

Integration, Testing and Debugging of C Code Together with UML-Generated Sources

A Preview of UML 2.0 for Embedded System Designers

Synthesizing Algorithms from MATLAB and Model-based Descriptions

Algorithm / Hardware Co-Design Using MATLAB

Using MATLAB to Create an Executable Specification for Hardware

Combining ModelSim and Simulink in an Integrated Simulation Environment

Webinars & Courses

ESC SV-502- Demystifying UML, Part 1

ESC SV-367- UML for C-Based Embedded Systems

Introduction to the LabVIEW Platform

Redesigning the Modern Car ECU with LabVIEW and CompactRIO


Resources

Around the Network Events

Developing FPGA-based embedded controllers using Matlab/Simulink

UML design for dynamically reconfigurable embedded multiprocessors

Application of UML in real-time embedded systems

More about the QP (Quantum Platform) framework



600nA Rail-to-Rail Op Amps
Touchstone's new low-power, TS1001/2/4 single, dual and quad rail-to-rail op amps use only 600nA/channel or half the power of any other op amp. They operate from supply voltages as low as 0.8V. Pricing starts at $0.75/1K. Free samples and demo boards.
Learn more...


Conferences and Events

ESC Silicon Valley at DESIGN West
Registration now open.
Early bird pricing available until Dec. 21:

Save $800 on all access pass if you sign-up for Embedded Systems Conference 2013 now. ESC 2013 is part of DESIGN West, being held April 22 to 25, 2013 at the McEnery Convention Center, San Jose, CA.

For more industry events, visit Embedded.com's event page.



This email was sent to: @{Email Name}@

To subscribe to UBM Electronics emails or change your email preferences please click here.

Unsubscribe
UBM Electronics, 303 Second Street, Suite 900 South, San Francisco, CA 94107