AutoModel: A Domain-Specific Language for Automatic Modeling of Real-Time Embedded Systems

This paper introduces a new approach to the automation of realtime embedded systems modeling. Our approach is based on a new domain-specific language called AutoModel to specify the requirements of a system in terms of its components, goals and constraints. Our automated approach accepts the specified requirements and infers both structural and behavioral models to implement the requirements in the UML-RT modelling language. Existing modeling tools can then be used to generate an implementation from the inferred models without extra work.