Analyse und Entwicklung einer µ-Controller-basierten Echtzeitsteuerung für Sensorsysteme mit Ada-Raven

Für die Ansteuerung einer Elektronischen Nase wurde eine Echtzeitsteuerung mittels Ada und dem Ravenscar-Profil entwickelt. Ziele waren hierbei der Entwurf und die Umsetzung eines mehrstufigen abstrakten Softwaremodells und eine Abbildung der nebenläufigen Aktivitäten zur Steuerung der Elektronischen Nase. Letzteres wird durch die Verwendung von Ada erreicht, denn das Ada Laufzeitsystem ermöglicht den Einsatz von parallelen Tasks mit verschiedenen Ausführungssträngen. Um den Zuverlässigkeitsanforderungen für den Einsatz des Sensorsystems gerecht zu werden, wurde das RavenscarProfil, ein restriktives Subset von Ada, mit einem Tasking-Modell und preemptivem Scheduling verwendet.