Oriëntatie op de studie BASVAA-th1

Elektrotechniek Elektrotechniek is een heel breed vakgebied. Te breed voor 1 opleiding! HHS heeft gekozen voor brede basis met 2 speerpunten: Energietechniek (Johan Woudstra) Embedded Systems (Harry Broeders)

Embedded Systems Wat zijn Embedded Systems? Een embedded system (ook wel ingebed systeem of geïntegreerd systeem) is een elektronisch systeem (hardware én software) dat is geïntegreerd in gebruiksartikelen of apparaten, met de bedoeling deze een vorm van intelligent gedrag te bezorgen.

Embedded Systems Waarom stoppen we een Embedded Systems in gebruiksartikelen en apparaten (om deze een vorm van intelligent gedrag te bezorgen).

Waarom ES?

Embedded Systems Waarom stoppen we een Embedded Systems in gebruiksartikelen en apparaten (om deze een vorm van intelligent gedrag te bezorgen). Nauwkeurigheid vergroten Gebruikersgemak verhogen Energiezuiniger maken Veiliger maken

Embedded Systems Waar (in welke apparaten) vinden we Embedded Systems?

ES toepassingen Huis, tuin en keukenproducten: Medische apparatuur: Magnetron, broodbakmachine, video, DVD speler, speelgoed, CV ketel enz... Medische apparatuur: MRI scanner, pacemaker, digitale thermometer, enz… Computer apparatuur: DVD drive, printer, modem enz... Land- en tuinbouw: Klimaatbeheersing, sorteermachine, weegschaal, koe herkenningssysteem enz... Auto: Motor management systeem, ABS, airbag, radio, route informatie- systeem enz... Verkeer: Stoplicht, overwegbeveiliging, flitspaal, enz... Energietechniek: Smart energy meter, smart grid, motor controller, enz… ...

Embedded Systems Welke bedrijven maken Embedded Systems? Grote bedrijven (massaproducten)

Embedded Systems Welke bedrijven maken Embedded Systems? Kleine / Middelgrote bedrijven (speciale producten)

Embedded Systems Welke vakken zijn belangrijk voor Embedded Systems? Digitale techniek Programmeren (in C en C++) Modelleren (UML, Matlab/Simulink) Microcontroller techniek PLC techniek Digitale signaalbewerkingen Real-Time systemen

Real-Time Systeem Definitie(s): Systeem waarvan de reactietijd op een onvoorspelbare inputverandering voorspelbaar is. Systeem waarbij de uitvoer niet alleen correct moet zijn maar ook op het juiste moment.

Embedded Systems Welke trends zijn er bij Embedded Systems? SoC en SoPC Internet of things

Embedded Systems Welke problemen zijn er bij Embedded Systems? Systemen worden steeds complexer Hoe ontwerpen we deze complexe systemen? Hoe testen we deze complexe systemen?

Electronic System Level Design

Validatie en Verificatie Validatie versus Verificatie Hebben we het goede gemaakt? Hebben we het goed gemaakt?

Verificatie Testen. Formele Verificatie. Probeer maar wat… Maar wanneer ben je klaar? Formele Verificatie. Wiskundig bewijs… Maar hoe lang duurt dat? Test coverage

Motiverend voorbeeld Doet ie het of Doet ie het niet ?

Bewijs het maar…