Kategorie
Künstliche Intelligenz
Künstliche Intelligenz steckt heutzutage in vielen Systemen. Wir sind auf die Absicherung der Technologie in kritischen Bereichen spezialisiert.
-
Wenn Chatbots falsch liegen: Warum Unsicherheitsmanagement wichtiger wird
Nicht der Fehler eines Chatbots ist das Problem, sondern wenn das System nicht zeigt, dass es unsicher ist. Ein aktuelles… mehr
Von:
-
Digitaler Zwilling gegen Baumstress: Wie ForestTwin X Wälder und Städte resilient macht
Hitze und ausbleibender Niederschlag setzen Wälder und städtische Grünflächen zunehmend unter Stress. In Forstökosystemen führen sie zu Trockenheit, Strukturzerfall und… mehr
Von:
-
DRAMBench: Autoformalizing DRAM Specifications with Timed Petri Nets
Chip design verification is dominated by manual interpretation of complex DRAM standards. With DRAMPyML and DRAMBench, Fraunhofer IESE and Normal… mehr
Von:
-
Improving User Story Quality Using LLMs
Weak requirements often break sprint plans because unclear user stories lead to rework and long clarification loops. LLM-based review of… mehr
Von:
-
Ohne Cybersecurity keine Safety: Warum autonome Systeme ein neues Sicherheitsdenken brauchen
Autonome Systeme sind eine Schlüsseltechnologie für die zukunftsorientierte Mobilität und Industrie. Doch ihre größte Stärke, die intelligente Vernetzung, ist gleichzeitig… mehr
Von:
-
KI-Agenten in der Verwaltung und Smart City: Beispiele, Grenzen und nächste Schritte
Projekte wie F13, LLMoin und MUCGPT zeigen, dass große Sprachmodelle in vielen deutschen Kommunen angekommen sind, derzeit meist als Chatbots… mehr
Von:
-
Verbesserung der Qualität von User Stories mit LLMs
Qualitätsschwache Anforderungen bringen Sprintpläne oft ins Wanken, weil unklare User Stories zu Nacharbeit und langwierigen Klärungsschleifen führen. Die LLM-basierte Überprüfung… mehr
Von:
-
KI im Requirements Engineering: Warum der Mensch trotz GenAI die wichtigste Instanz bleibt
KI schreibt Code heute in Sekunden – doch wer garantiert, dass dieser Code das richtige Problem löst? Der Einsatz von KI im… mehr
Von:
-
Autonomous Interoperability: Breaking the Economic Bottleneck of Data Exchange
Achieving interoperability is much more than a technical puzzle. It is a significant economic challenge. Today, connecting software systems still… mehr
Von:
-
Generative AI in Software Engineering: A Year in Retrospective
A year ago, we explored how generative AI might transform software engineering (see blog post: Generative AI in Software Engineering:… mehr
Von:
