Slides til download

InfinIT-fokusgruppen Embedded Systems Engineering

Nyeste slides ligger øverst.

Tidskritisk indlejret software og udviklingsværktøjer 24.05.2018
Introduktion af InfinIT-miniprojekt. Status på dansk indlejret tidskritisk software.
Bent Thomssen, Institut for Datalogi, AAU
Seluxit, projektpartner præsenterer egen status på projektet
Daniel Lux, Seluxit ApS
Unittest og coverage målinger i udviklingsmiljøet hos Deif Windpower
Jens Lyngsoe, Deif A/S
Formelt værktøj og ideer til nye features
Ulrik Mathias Nyman, Institut for Datalogi, AAU
Genanvendelse af software 13.12.2017
Genanvendelighed af software
Stephan Korsholm, ViaUC
 
Vedligeholdelse af et embedded softwareprodukt
Lars Christensen, GateHouse
 
Tilgange under produktudvikling, som støtter genanvendelse af software
John Kaasgaard, Grundfos
 
FPGA state-of-the-art - platforms, methods and tools 31.5.2017
FPGA/SOC teknologi
Søren Høyrup, Avnet Silicia

Verifikation - Metoder og Libraries
Martin Rønnes, MR Logic

Verifikation - Metoder og Libraries
How FPGAs work when they don't
Alex Birklykke, Space Inventor ApS
Raspberry Pi - historien bag, overblik over platformen og dens anvendelse 3.11.2016
Raspberry Pi - Putting the fun back into computing
Alan Mycroft - Computer Laboratory, University of Cambridge, Professor of Computing and Raspberry Pi co-founder
Raspberry Pi? Men vi har jo iPads! Overvejelser omkring undervisning. RPI-udviklingskit
Karin Høgh, PodConsult
Konstruktion omkring en Raspberry Pi. Konstruktion af et stand-alone instrument udviklet omkring en Raspberry Pi
Lektor Søren Krarup Olesen, Institut for Elektroniske Systemer, AAU
The Casting Demonstrator. Using the Raspberry Pi for graphics and simulated floor heating
Lektor Søren Krarup Olesen, Institut for Elektroniske Systemer, AAU
Udviklingplatform og programmeringssprog til indlejrede systemer 30.3.2016
Værktøjer udviklet på AAU til analyse af SCJ programmer
Bent Thomsen, Datalogisk Institut, AAU
 
Embedded software quality, challenges & possibilities
Stephan Korsholm, ViaUC

Udviklingsplatform og programmeringssprog
Kristian Bay, GomSpace
 
GomSpace introduktion
Kristian Bay, GomSpace
30.3.2016
 
IoT uden batterier: Energy Harvesting seminar 21.10.15


Slides via dette link
HW/SW-platforme i et ekspansivt udviklingsmiljø 9.9.2015
Embedded Development for the Future - Platforms for Rohde-Schwarz Mobile Tester
Peter Krogsgaard Jensen, Rohde & Schwarz Technology Center A/S

Tools and methods for continuously expanding SW applications
Andrzej W?sowski, IT University of Copenhagen

SWEET - a Tool for WCET Flow Analysis 24.11.2014

SWEET - A Tool for WCET Flow Analysis
Björn Lisper, School of Innovation, Design and Engineering, Mälardalen University

A history of (Nordic) compilers and autocodes
Peter Sestoft, IT-Universitetet

 
Exploring lambdas and invokedynamic for embedded systems
Stephan E. Korsholm, VIA University College, Horsens

Udvikling af sikkerhedskritisk software - SIL 1.10.2014

SIL-godkendelser. Introduktion til begreber og udviklingsprocesser
Ulrik Nyman, Datalogisk Institut, AAU

Functional Safety, high demand/low demand mode med fokus på de funktioner, som ikke direkte vedrører personsikkerhed
Preben Albrecht, Danfoss

Link til beskrivelse af pumpe, anvendt som case
Torben Dissing, Grundfos
1.10.2014
http://www.grundfos.com/products/find-product/seg.html

 

 

 

Kontakt

Faglig koordinator
Bent Thomsen
Aalborg Universitet
Tlf.: +45 99 40 88 97
E-mail

 

Faglig koordinator
Jan Madsen
Danmarks Tekniske Universitet
Tlf.: +45 72 18 52 79
E-mail

 

Facilitator
Jørgen Biegel
Aalborg Universitet
Tlf.: +45 96 35 45 65
E-mail

 

 

Netværkets aktiviteter er medfinansieret af Uddannelses- og Forskningsministeriet og drives af et konsortium bestående af:
Alexandra Instituttet . BrainsBusiness . CISS . Datalogisk Institut, Københavns Universitet . DELTA . DTU Compute, Danmarks Tekniske Universitet . Institut for Datalogi, Aarhus Universitet . IT-Universitetet . Knowledge Lab, Syddansk Universitet . Væksthus Hovedstadsregionen . Aalborg Universitet