Seminar i interessegruppen Højniveausprog til indlejrede systemer

InfinIT-interessegruppen Højniveausprog til indlejrede systemer inviterer til seminar

den 12. marts 2014 hos Tekkva, Niels Jernes Vej 10, 9220 Aalborg Ø.

Temaer: Dart – et nyt generelt programmeringssprog. Ny metode til skedulringsanalyse og EU projektet CRAFTERS. Beretning om forskning hos NASA – bl.a. vedr. Tidsanalyseværktøj til Safety Critical Java.

Ønsker du at deltage eller blive medlem af interessegruppen, kan du kontakte Jørgen Biegel, jbi@tekkva.dk

Program:

Kl. 11.45-12.30 sandwich. Kl. 12.30–16.30 fagligt program:

1. Velkomst og præsentation v. Tekkva
1. Deltagerne præsenterer sig (navn, firma, interesse for temaer)
   
   
2. Dart – et nyt generelt programmeringssprog v. Søren Gjesse, Google Danmark ApS
1. Udvikling af sproget har været 3 år undervejs. Hvorfor sproget er udviklet.
2. Sproget kan bruges som værktøj til fx webudvikling og kan køre på mange platforme. Kan bruges til embeddede løsninger til fx ARM, og kan kompilere til Java script.  
   
   
3. Orientering om ny metode til skedulringsanalyse og EU projektet CRAFTERS v. Ulrik Nyman, Datalogisk Institut, AAU
1. Ny metode til hierarkisk skedulringsanalyse i ”industri version” samt briefing om EU projektet CRAFTERS
   
   
4. Overblik af mit arbejde på NASA v. Kasper Søe Luckow, Datalogisk Institut, AAU
1. Udvikling af Symbolic PathFinder v7; et analyseværktøj der benytter symbolsk eksekvering til analyse. Har stor user base hos NASA og Fujitsu (og i academia).
2. Udvikling af SymRT; et tidsanalyseværktøj til Safety Critical Java baseret på symbolsk eksekvering. Kan bruges til worst (og best) case execution time analyse, schedulability analyse, blocking time analyse, og meget andet. Det er en forbedret version af mit tidligere arbejde, som blev præsenteret på et seminar i gruppen for et års tid siden.
3. Reliability analyse (og mere generelt probabilistisk analyse) af Java programmer placeret i et stokastisk miljø. Dette er mit nuværende arbejde.
   
   
5. Opsamling, emner og forslag til næste seminar v. CISS

 NB. Aftalen om Kaspers orientering om NASA arbejdet er foreløbig.

Tid og sted