Tidorum AB

Produkter och tjänster

Tidorum AB utvecklar och säljer verktyg som bestämmer gränser på tid och minne som inbäddade program behöver.

Företagets huvudprodukt, Bound-T, använder statisk programanalys på maskinkodsnivå för att beräkna en övre gräns på målprogrammets exekveringstid (värsta fallets tid, WCET) och på behovet av stackminne i värsta fall. Dessa gränser är värdefulla när målprogrammets utförsel måste rymmas inom en viss tid (dödlinje) och i en viss mängd minne. Informationen kan även användas för att välja den processor och minnesstorlek som bäst motsvarar tillämpningens krav och sålunda minska hårdvarans kostnad och energiförbrukning.

Bound-T licenseras som ett programverktyg (körbar binär) enligt den valda målprocessorn, tex. Intel-8051, och den valda arbetsstationen (värddatorn).

Tekniska lösningar

Bound-T analyserar ett målprogram genom att läsa maskininstruktionerna från målprogrammets binärfil, avkoda dem och bygga upp flödesgrafer och anropsgrafer. För varje instruktion skapar Bound-T en modell av hur många processorcykler (klockcykler) instruktionen behöver, hur den ökar eller minskar på stacken samt dess aritmetiska effekt på register, variabler och villkorsflaggor. Bound-T använder den aritmetiska modellen (som uttrycks i Presburger-aritmetik) för att hitta variabler som räknar slingvarv och gränser för antalet varv på slingor med räknare. För att hitta den längsta vägen genom programmet använder Bound-T sedan Implicit Path Enumeration -metoden (IPET) som bygger på heltalsoptimering (Integer Linear Programming, ILP).

Tidsmodellen beaktar processorns pipeline. Cache-minnen är inte ännu beaktade.

Bound-T är skrivet på programmeringsspråket Ada och består av en samling processor-oberoende centrala moduler (Ada-paket) som definierar en processor-oberoende modell av programmet som skall analyseras, och en samling processor-oberoende algoritmer för analysen. Dessa centrala moduler samverkar med en mindre samling processor-specifika paket som använder Ada-språkets kraftfulla datatyper för att modellera en given processors egenskaper och instruktioner. De processor-specifika paketen definierar de "primitiva" typerna och processor-specifika operationerna som används i den allmänna program-modellen och de allmänna analysalgoritmerna.

Forskningsprojekt och samarbete

Tidorum deltar nu i följande internationella forskningsprojekt och grupper:

• Timing Analysis on Code-Level (TACLe)
  

  Tidorum deltar i detta europeiska COST näverk (Cooperation in Science and Technology) som sammanlänkar forskningsgrupper frå 14 europeiska länder.

  
  
• Advanced Program Analysis for Real-Time-Systems, (APARTS)
  

  Tidorum är den industriella partnern i detta Marie-Curie IAPP projekt (Industry-Academia Partnerships and Pathways) som finansieras av EU FP7. Den akademiska partnern är Mälardalens Universitet i Sverige. Projektet leds av prof. Björn Lisper från Mälardalen Real-Time Research Centre.

Tidorum deltog i följande internationella forskningsprojekt och grupper som nu har blivit färdiga med sitt arbete:

• ArtistDesign Network of Excellence (EU FP7).
  

  Tidorum arbetade i klustern för Timing-Analysis inom denna NoE. Klustern leddes av prof. Björn Lisper från Mälardalen Real-Time Research Centre.

  
  
• ARTIST2 Network of Excellence (EU FP6).
  

  Tidorum arbetade i klustern för Timing-Analysis inom denna NoE.

  
  
• ASTEC Competence Center.
  Tidorum arbetade i WCET-projektet inom ASTEC Stage 4.

Företaget

Tidorum AB är ett privatägt aktiebolag som bildades år 2003. Företagets ledare, Dr. Niklas Holsti, har över 25 års erfarenhet av inbäddade realtidsprogram, även ombord-program för satelliter (se hans CV).

Kontaktuppgifter