Embedded Systems Engineering


Formiddag (10.30-11.10)


Model Driven Development of Firmware for an Embedded System (EN)

Oplægsholdere: Stephan Erbs Korsholm, ViaUC og Laurynas Ubys, engineering student, ViaUC

Ensuring correct behaviour of an embedded system developed in a procedural programming language like C is hard and prone to errors. This project presents a formalised language, which allows describing the behaviour of lifting platforms. Also, a compiler is provided, which, with- out requiring prior knowledge of any programming language, can be used to generate working firmware code. The project has been carried out in collaboration with Guldmann A/S, and a working prototype was developed around their most advanced lifting platform. The system proved to be capable of solving issues identified by the company. Moreover, it is a generic solution and could easily be used in the development of other embedded systems.

 


Eftermiddag (13.00-13.40)


T-CREST: A Multicore Platform for Real-Time Systems (EN)

Oplægsholder: Martin Schoeberl, Assistant Professor, DTU

The T-CREST platform is a time-predictable multicore platform optimized for real-time systems. Traditional multicore platforms that are optimized for average case speed are highly unpredictable in execution time. In contrast, T-CREST is designed from scratch with a focus on time predictability. This includes processors, network-on-chip, memory controller, compiler, and worst-case execution time analysis tool.

Using the Open-Source T-CREST Platform (EN)

Oplægsholder: Martin Schoeberl, Assistant Professor, DTU

T-CREST is implemented in an FPGA. All components of the T-CREST platform are available in industry friendly BSD open source. Two industry partners have already explored T-CREST and one Danish industry partner is currently evaluating T-CREST. This talk will present usage of T-CREST and give pointers how to get started.

 

 

Læs mere:

> SummIT 2015 forside
> Program
> Keynote speakere
> Udstillinger
> Find vej
> Kontakt
> Billeder fra dagen

 

       
InfinIT er finansieret af en bevilling fra Styrelsen for Forskning og Innovation 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