%0 Generic %A Noguero, Adrian %A Calvo, Isidro %A Almeida, Luis %A Gangoiti, Unai %T A model for system resources in flexible time-triggered middleware architectures %J Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) %D 2012 %@ 0302-9743 %U https://hdl.handle.net/11556/2820 %X Middleware has become a key element in the development of distributed Cyber Physical Systems (CPS). Such systems often have strict non-functional requirements, and designers need a means to predict and manage non-functional properties. In this work, the authors present a mathematical model for the most relevant resources managed by FTT middleware architectures; namely, (1) processor, (2) memory, (3) energy and (4) network. This model can be used both off-line for simulation and designing purposes of a Cyber Physical System (CPS), or in run-time within an admission test or inside the algorithm of a specific scheduling policy executed by the middleware. In such case, the admission test is aimed at predicting whether a system fulfils the non-functional requirements or not before carrying out any modification in its execution plan at run-time. %~