A DSM solution for specifying and generating configuration of real-time operating systems (ITRON based). The model shows the tasks and their attributes (task IDs, priorities, arguments etc.), interrupts, schedulers and handlers. Since the modeling language uses directly these domain concepts and follows the related rules it prevents making illegal configurations. The configuration can be analyzed and checked with purpose-built checking reports and the final configuration is fully generated.