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.