Viele Maßnahmen aus dem Bereich Smart City und Smart Region haben das Ziel, digitale Daseinsvorsorge zu stärken und damit die Lebensqualität der Menschen zu verbessern. Doch wie kann gemessen werden, ob dieses Ziel tatsächlich erreicht wird und ob die Menschen…

Chip design verification is dominated by manual interpretation of complex DRAM standards. With DRAMPyML and DRAMBench, Fraunhofer IESE and Normal Computing introduce timed Petri net models and an open benchmark to autoformalize memory specifications. This post shows how AI can…

Weak requirements often break sprint plans because unclear user stories lead to rework and long clarification loops. LLM-based review of user stories is a promising approach that helps teams detect quality gaps earlier. Instead of discovering problems like missing acceptance…

In einer zunehmend digital vernetzten Industrie entwickelt sich der Digitale Produktpass (DPP) zum zentralen Instrument für eine funktionierende Kreislaufwirtschaft. Er bündelt strukturierte, maschinenlesbare Informationen über ein Produkt entlang des gesamten Lebenszyklus: Von der Rohstoffgewinnung über Produktion, Nutzung und Wartung bis…

Revolutioniert Quantencomputing die Zukunft des Software-Engineerings oder bleibt die Technologie vorerst eine hochspezialisierte Nische für Industrie und Forschung? Während in den Medien oft reißerisch über das Ende sicherer Verschlüsselung spekuliert wird, analysieren Software-Architekten bereits die konkreten Auswirkungen auf RSA-Verfahren und…

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 ihre größte Schwachstelle. In einer Welt, in der Software über die physische Sicherheit entscheidet, müssen Security und Safety von Anfang…

Projekte wie F13, LLMoin und MUCGPT zeigen, dass große Sprachmodelle in vielen deutschen Kommunen angekommen sind, derzeit meist als Chatbots mit Recherche-Funktionen (RAG). KI-Agenten gehen einen Schritt weiter. Sie ermöglichen nicht nur die Generierung von Inhalten, sondern auch automatisierte Handlungsabfolgen…

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 von User Stories ist ein vielversprechender Ansatz, mit dem Teams Qualitätslücken früher erkennen können. Statt Probleme wie fehlende Akzeptanzkriterien erst…

KI schreibt Code heute in Sekunden – doch wer garantiert, dass dieser Code das richtige Problem löst? Der Einsatz von KI im Requirements Engineering (RE) ist ein zweischneidiges Schwert: Während generative Tools Lücken in Anforderungen mit plausibel erscheinenden, aber oft fachlich fatalen…

Im Kontext von Industrie 4.0 gewinnt die digitale Abbildung von Fabriken und Produktionsanlagen – etwa als Digitaler Zwilling – immer mehr an Bedeutung. Um diese für Planung, Simulation, Überwachung,Training oder Entscheidungsunterstützung nutzbar zu machen, eröffnen dynamische 3D-Visualisierungen mit der Unreal…