RESTK

En els sistemes encastats en temps real, l'anàlisi del temps és una part crucial del procés de verificació i validació. En particular, l'anàlisi del temps d'execució del pitjor cas (WCET) és un problema constant a la comunitat en temps real. Per raons de seguretat, la dificultat rau a poder limitar el WCET, que és sens dubte molt difícil de mesurar. A RESTK, oferim una solució per limitar el WCET superior. La desigualtat de Markov és una eina probabilística que permet calcular límits superiors per a la probabilitat de superar un determinat valor. En la seva forma més simple, la desigualtat de Markov és molt pessimista en el seu límit superior. Oferim una solució molt més ajustada per a quantils extremadament alts de límit superior mitjançant l'ús de la desigualtat de Markov a la potència de k a l'algorisme K restringit (RESTK) per tal d'assegurar que les estimacions sempre superin el WCET veritable. La implementació permet introduir un perfil de temps d'execució i calcular un límit superior per als quantils alts desitjats. El programari està escrit en R i l'última versió es pot trobar al repositori Comprehensive R Archive Network (CRAN).

N/A

N/A

N/A

N/A

GPL License (Version 3.0)

N/A