Using OSATE tools, users can model systems (eg ADAS systems) including hardware and software (application level), for example, the threads used for each application can be modeled, including the period of the thread , compute execution time, million instructions per second (MIPS) budget, and reference processor. OSATE checks user-created models against violations of AADL text syntax rules and property definitions for each specified component. Additionally, the tool has the ability to utilize various plugins (such as Ocarina and the ability to import models from MATLAB and Simulink to OSATE). But OSATE does not support any DSE methods, such as solving the mapping problem of multi-core automotive computing units.