CRC Press Embedded Software Development

Dit boek richt zich op embedded softwareontwikkeling en legt de nadruk op open-source componenten. Het biedt een praktische inleiding die zelfs beginnende beoefenaars helpt het ontwikkelingsproces als geheel te begrijpen. Aan de hand van echte codefragmenten en concrete verwijzingen naar open-source besturingssystemen (vooral FreeRTOS) bespreekt het de rol van embedded systemen, de structuur en de interactie met ontwikkeltools, en de werking van toolchains zoals GCC. Het behandelt modellen voor gelijktijdigheid, basisconcepten van taakplanning en hoe een open-source protocolstack kan geïntegreerd worden in een embedded systeem. Daarnaast worden de belangrijkste onderdelen van de FreeRTOS-API geanalyseerd en komen geavanceerde onderwerpen aan bod zoals formele verificatie, model checking, runtime checks, geheugenbescherming, beveiliging en betrouwbaarheid. Het boek bouwt voort op uitgebreid onderzoek naar realtime-OS-en communicatie in embedded toepassingen en dient als startpunt voor verder onderzoek.

Kernpunten

• Praktische inleiding tot embedded software

Kernpunten

• Open-source componenten centraal

Kernpunten

• Real codefragmenten met verwijzingen naar FreeRTOS

Kernpunten

• Onderliggende systemen en toolchains (GCC)

Kernpunten

• Modellen voor gelijktijdigheid en taakplanning

Kernpunten

• Integratie van open-source protocol stacks

Technische aspecten

• Analyse van FreeRTOS-API en OS-concepten

Technische aspecten

• Formele verificatie, model checking, runtime checks

Technische aspecten

• Geheugenbescherming, veiligheid en betrouwbaarheid