Andererseits ist im Entwurf wegen des variablen Einsatzes von Hardware, der Nebenläufigkeit und der Komplexität des Systems selber ein sehr grosser Lösungsraum zu erforschen., Ein "Embedded System" ist durch ein hohes Maß an Nebenläufigkeit, typischerweise harte Realzeitanforderungen sowie durch vorgegebene technische Randbedingungen und Schnittstellen charakterisiert., Nebenäufigkeit bedeutet, daß beide Ereignisse keine gemeinsamen Vorbedingungen oder Nachbedingungen besitzen.Die Nebenläufigkeit gewährleistet ein hohes Maß an kausaler Unabhängigkeit., Nebenläufigkeit wird als eine Grunderscheinung realer Systeme erkannt und nicht, wie in herkömmlichen Systemtheorien, auf Sequentialität und Nicht-Determinismus (deterministisch) zurückgeführt., In der Netztheorie spielt der Begriff der Nebenläufigkeit (kausale Unabhängigkeit, concurrency) eine zentrale Rolle., Diese Dualität ist nicht nur eine formale Dualität zwischen zwei Sorten von Knoten, sondern auch eine Begriffliche zwischen Konflikt und Nebenläufigkeit., Zu dieser Gesamtheit gehört auch das mögliche Nacheinander (Sequentialität), Nebeneinander (Nebenläufigkeit) und Miteinander (Koinzidenz) von (Teil-)Zuständen und Übergängen., Bei dieser Semantik kann Nebenläufigkeit (als Unabhängigkeit) von Nichtdeterminismus unterschieden werden., Programm Das Kolleg dient der Erforschung von Systemen, deren Charakteristika Verteiltheit und Nebenläufigkeit sind.