Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation

Provided by: RWTH Aachen University
Topic: Hardware
Format: PDF
While design automation for hardware systems is quite advanced, this is not the case for practical embedded systems. The current state-of-the-art is to use software modeling environment and integrated development environment for code development and debugging, but these rarely include the sort of automatic synthesis and verification capabilities available in the VLSI domain. The authors present a model-based integration environment which uses Embedded systems Modeling Language (EsMoL) to pull together control design, code and configuration generation.

Find By Topic