Kritikotasun mistoko denbora errealeko sistema banatuen sintesiaren optimizazioa

The synthesis of real-time systems entails the determination of a deployment and a scheduling that guarantee meeting all deadlines of applications. Given that nowadays the design of many ciberphysical systems is based on mixed criticality systems, it is neccessary to develop new techniques adapted to the use of partitioning, and with that aim this PhD thesis has been taken up. In this text an overall view of the thesis is presented, showing its objectives, methodology, current status and future works to be performed.