Du er her: Home Arrangementer Seminar i interessegruppen Højniveausprog til indlejrede systemer

Seminar i interessegruppen Højniveausprog til indlejrede systemer


Interessegruppen Højniveausprog til indlejrede systemer afholder seminar

18. juni 2014 hos Tekkva, Niels Jernes Vej 10, 9220 Aalborg Ø

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

Temaer: Internet of things. Eksempler på forskning hos NASA – bl.a. vedr. tidsanalyseværktøj til Safety Critical Java.

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

  1. Velkomst og præsentation v. Tekkva
    1. Deltagerne præsenterer sig (navn, firma, interesse for temaer)
  2. Internet of things v. Peter Mariager, RTX
    1. Baggrund for internettet, trafikmønstre
    2. Et bud på hvad der driver interessen for internet of things, implementeringsmuligheder.
  3. 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.
  4. Opsamling, emner og forslag til næste seminar v. CISS

 



Tid og sted

Dato:  18. juni 2014
Tid:  11.45-16.30
Sted:  Tekkva, Niels Jernes Vej 10, 9220 Aalborg Ø
Pris:  Gratis
Kontakt navn:  Jørgen Biegel, tlf. 96 35 45 65
Kontakt e-mail

Se alle Infinit arrangementer


 
InfinIT er finansieret af en bevilling fra Styrelsen for Forskning og Innovation og drives af et konsortium bestående af:
CISS/Aalborg Universitet . Alexandra Instituttet . DTU Compute/Danmarks Tekniske Universitet . Datalogisk Institut/
Aarhus Universitet . Knowledge Lab/Syddansk Universitet . DELTA . IT-Universitetet