Kenneth Butts: Usage Scenarios for an Automated Model Compiler
(Previously presented at the EMSOFT 2001 Workshop, Tahoe City)

Abstract: This talk is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an automated model assembler (called a model compiler) could support automotive embedded control systems development. We describe some desired characteristics and features of the envisioned model compiler and place particular emphasis on support for model compatibility checking. Finally, we describe characteristics of model components that are commonly used in practice.