Als »Die Forschungsuniversität in der Helmholtz-Gemeinschaft« schafft und vermittelt das Karlsruher Institut für Technologie (KIT) Wissen für Gesellschaft und Umwelt. Ziel ist es, zu den globalen Herausforderungen maßgebliche Beiträge in den Feldern Energie, Mobilität und Information zu leisten. Daran arbeiten am KIT rund 9.800 Mitarbeiterinnen und Mitarbeiter auf einer breiten disziplinären Basis in Forschung, Lehre und Innovation zusammen. Das KIT ist eine von elf Exzellenzuniversitäten in Deutschland. Von der Grundlagenforschung bis zur Anwendung zeichnet sich das KIT durch ein breites Spektrum an Disziplinen aus, d. h. in den Natur-, Ingenieur- und Wirtschaftswissenschaften sowie in den Geistes- und Sozialwissenschaften. Die KIT-Forschungsgruppe "Dependability of Software-intensive Systems" (DSiS) am Institut für Informationssicherheit und Verlässlichkeit (KASTEL) beschäftigt sich mit der Erforschung neuer Entwurfs- und Analyseverfahren für verlässliche Software-intensive technische Systeme. ABB ist ein weltweit führendes Technologie-Unternehmen, das die Transformation von Gesellschaft und Industrie vorantreibt, um eine produktivere und nachhaltigere Zukunft zu erreichen. Durch die Verknüpfung von Software mit seinem Elektrifizierungs-, Robotik-, Automatisierungs- und Antriebsportfolio verschiebt ABB die Grenzen der Technologie, um die Leistung auf ein neues Niveau zu bringen. Bei ABB Corporate Research erforschen wir neue Technologien und innovative Methoden, um die Stärken des Kerngeschäfts von ABB, einem Unternehmen mit einer langen Innovations- und Technologiegeschichte, zu stärken. Die Softwarearchitektur-Forschungsgruppe des ABB Corporate Research Center Deutschland setzt aktuelle wissenschaftliche Erkenntnisse und technologische Entwicklungen in Prototypen zukünftiger Produkte und Systeme um.