Orintatie op de studie BASVAAth 1 Elektrotechniek l
Oriëntatie op de studie BASVAA-th 1
Elektrotechniek l Elektrotechniek is een heel breed vakgebied. l Te breed voor 1 opleiding! HHS heeft gekozen voor brede basis met 2 speerpunten: l Energietechniek (Johan Woudstra) l Embedded Systems (Harry Broeders) 1
Embedded Systems l Wat zijn Embedded Systems? l 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. 2
Embedded Systems l Waarom stoppen we een Embedded Systems in gebruiksartikelen en apparaten (om deze een vorm van intelligent gedrag te bezorgen). 3
Waarom ES?
Embedded Systems l Waarom stoppen we een Embedded Systems in gebruiksartikelen en apparaten (om deze een vorm van intelligent gedrag te bezorgen). l Nauwkeurigheid / prestaties vergroten l Gebruikersgemak verhogen l Energiezuiniger maken l Veiliger maken l Flexibeler maken l Kleiner maken 5
Embedded Systems l Waar (in welke apparaten) vinden we Embedded Systems? 6
ES toepassingen l Huis, tuin en keukenproducten: l Magnetron, broodbakmachine, video, DVD speler, speelgoed, CV ketel enz. . . l Medische apparatuur: l MRI scanner, pacemaker, digitale thermometer, enz… l Computer apparatuur: l DVD drive, printer, modem enz. . . l Land- en tuinbouw: l Klimaatbeheersing, sorteermachine, weegschaal, koe herkenningssysteem enz. . . l Auto: l Motor management systeem, ABS, airbag, radio, route informatie- systeem enz. . . l Verkeer: l Stoplicht, overwegbeveiliging, flitspaal, enz. . . l Energietechniek: l Smart energy meter, smart grid, motor controller, enz… l. . . 7
Embedded Systems l Welke bedrijven maken Embedded Systems? l Grote bedrijven (massaproducten) 8
Embedded Systems l Welke bedrijven maken Embedded Systems? l Kleine / Middelgrote bedrijven (speciale producten) 9
Embedded Systems l Welke vakken zijn belangrijk voor Embedded Systems? l Digitale techniek l Programmeren (in C en C++) l Modelleren (UML, Matlab/Simulink) l Microcontroller techniek l PLC techniek l Digitale signaalbewerkingen l Real-Time systemen 10
Real-Time Systeem l Definitie(s): l Systeem waarvan de reactietijd op een onvoorspelbare inputverandering voorspelbaar is. l Systeem waarbij de uitvoer niet alleen correct moet zijn maar ook op het juiste moment. 11
Embedded Systems l Welke trends zijn er bij Embedded Systems? l So. C en So. PC l Internet of things 12
Embedded Systems l Welke problemen zijn er bij Embedded Systems? l Systemen worden steeds complexer l Hoe ontwerpen we deze complexe systemen? l Hoe testen we deze complexe systemen? 13
Electronic System Level Design 14
Validatie en Verificatie l. Validatie versus Verificatie l. Hebben we het goede gemaakt? l. Hebben we het goed gemaakt? 15
Verificatie l Testen. l Probeer maar wat… l Maar wanneer ben je klaar? Test coverage l Formele Verificatie. l Wiskundig bewijs… l Maar hoe lang duurt dat? 16
Motiverend voorbeeld Doet ie het of Doet ie het niet ? 17
Bewijs het maar… 18
- Slides: 19