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 a 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. We present a model-based integration environment which uses a graphical architecture description language (EsMoL) to pull together control design, code and configuration generation, platform-specific simulation, and a number of other features useful for taming the heterogeneity inherent in safety-critical embedded control system designs. We describe concepts, elements, and development status for this suite of tools.
CITATION STYLE
Porter, J., Karsai, G., Volgyesi, P., Nine, H., Humke, P., Hemingway, G., … Sztipanovits, J. (2009). Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5421, pp. 20–34). https://doi.org/10.1007/978-3-642-01648-6_3
Mendeley helps you to discover research relevant for your work.