High-confidence embedded real-time designs stretch
the demands placed on design and development tools. We will
demonstrate the design and testing of an embedded control
system built using the ESMoL modeling language and supporting
tools. ESMoL adds distributed deployment concepts to Simulink
designs, and integrates scheduling analysis as well as platformspecific
simulation.
The Universal Data Model (UDM) is a metaprogrammable tool for providing uniform access to data structures that could be persistent. The tool uses UML class diagram as the language for defining the data structures and it generates C++ or Java class definitions for implementing the classes. Each attribute and association will have a corresponding setter/getter method in the generated code.
The Generic Modeling Environment is a configurable toolkit for creating domain-specific modeling and program synthesis environments. The configuration is accomplished through metamodels specifying the modeling paradigm (modeling language) of the application domain.
