Studie über ein automatisches Türschließsystem

Eingebettete Systeme sind in der modernen Welt allgegenwärtig. Solche Systeme werden in einer Vielzahl von Anwendungen eingesetzt, die von gewöhnlichen elektronischen Geräten für Verbraucher bis hin zu Anwendungen in der Automobil- und Luftfahrtindustrie reichen. Allen eingebetteten Systemen ist gemein, dass sie mit der physischen Umgebung interagieren und ihre Eingaben oft aus der Umgebung ableiten. Aufgrund der Anwendungsbereiche, in denen solche Systeme eingesetzt werden, wird ihr Verhalten häufig durch funktionale (z. B. die Input-Output-Beziehung) und nicht-funktionale Eigenschaften (z. B. die Ausführungszeit oder den Energieverbrauch) eingeschränkt. Dies macht die Prüfung und Validierung solcher Systeme zu einer anspruchsvollen Aufgabe.

Autorentext

Anik Manna e Shaon Bhattacharyya são antigos alunos do Departamento de ECE do MSIT. O Dr. Swapnadip De está a trabalhar como Professor Associado do Departamento de ECE, MSIT.