The role of modeling tools in future embedded systems

By Bernard Cole

If you think the trend is away from hands-on embedded C programming and toward the use of high level modeling tools for creating the design framework and auto-generating correct by construction code, be sure to attend the 2014 ESC/EELive! In San Jose, Ca.

Using domain-specific modeling languages for medical device development

How existing languages for Programmable Logic Controllers (PLCs) can be extended with domain-specific constructs for medical devices and used to generate native code that runs on both Intel and ARM processors.

Using model-driven development to reduce system software security vulnerabilities

Many features of model-driven development tools for embedded system design can also be used to create software for security- and safety-critical applications.

Modeling of embedded designs 

In Part 1 of a four part tutorial on modeling tools, Shelley Gretlein of National Instruments provides a brief introduction to the range of modeling methodologies and why you should consider their use in your embedded designs.

Use model-driven development for extensible automotive system design

Use Autosar and open source tools such as GENIVI in combination with model driven development to build extensible automotive systems that can adapt to a variety of design environments.

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.

A crash course in UML state machines

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.

State charts can provide you with software quality insurance

Peter Mueller provides five reasons why embedded developers should know more about statecharts and how that knowledge can be used to ensure software quality.

Moving model-based development into safety-critical embedded applications

How to use the SCADE (Safety Critical Application Development Environment) to help model problems of determinism and ambiguity in many safety-critical control system applications.

State machines ease programming microcontrollers

State machines offer an approach for programming MCUs that is especially useful, yet probably seldom gets used by most programmers.

Effective UML mapping for modeling state machines

Creating a round-trip 1-to-1 mapping between a Unified Modeling Language (UML) state chart diagram and its implementation, constructing a state machines by generating and managing executable code from the UML state chart diagram.

Using finite state machines to design software

A straightforward guide to adding structure to your software project using a finite state machine design pattern, requiring no exceptional knowledge other than basic programming and some common sense.


Education

AdaCore University - Learn to Program in Ada

Fundamentals of Signal and Power Isolation

Fundamentals of Digital Oscilloscope Usage

Automating Test Case Selection and Execution for Chipset Testing

Look Ma, no hands! How technology innovation is driving automotive safety and autonomous vehicles



UBM Tech

This e-mail was sent to EmailAddress

Go to Embedded.com
A UBM Tech Newsletter ©2014. All rights reserved.
Privacy Policy I Advertising Information I Unsubscribe
UBM Tech, 303 Second Street, Suite 900 South, San Francisco, CA 94107