Institute of Electrical and Electronics Engineers IEEE transactions on automatic control New York, NY : Institute of Electrical and Electronics Engineers, 1963 69(2024), 1, Seite 568-605 Online-Ressource
von Klaus Bengler ; Werner Damm ; Andreas Luedtke ; Jochem Rieger ; Benedikt Austel ; Bianca Biebl ; Martin Fränzle ; Willem Hagemann ; Moritz Held ; David Hess ; Klas Ihme ; Severin Kacianka ; Alyssa J. Kerscher ; Laine Forrest ; Sebastian Lehnhoff ; Alexander Pretschner ; Astrid Rakow ; Daniel Sonntag ; Janos Sztipanovits ; Maike Schwammberger ; Mark Schweda ; Anirudh Unni ; Eric M. S. P. Veith
von Werner Damm ; Martin Fränzle ; Alyssa J. Kerscher ; Forrest Laine ; Klaus Bengler ; Bianca Biebl ; Willem Hagemann ; Moritz Held ; David Hess ; Klas Ihme ; Severin Kacianka ; Sebastian Lehnhoff ; Andreas Lüdtke ; Alexander Pretschner ; Astrid Rakow ; Jochem Rieger ; Daniel Sonntag ; Janos Sztipanovits ; Maike Schwammberger ; Mark Schweda ; Alexander Trende ; Anirudh Unni ; Eric M. S. P. Veith
Gesehen am 02.04.2024 ; Published online 14 Jan. 2024
"The design and analysis of multi-agent human cyber-physical systems in safety-critical or industry-critical domains calls for an adequate semantic foundation capable of exhaustively and rigorously describing all emergent effects in the joint dynamic behavior of the agents that are relevant to their safety and well-behavior. We present such a semantic foundation. This framework extends beyond previous approaches by extending the agent-local dynamic state beyond state components under direct control of the agent and belief about other agents (as previously suggested for understanding cooperative as well as rational behavior) to agent-local evidence and belief about the overall cooperative, competitive, or coopetitive game structure. We argue that this extension is necessary for rigorously analyzing systems of human cyber-physical systems because humans are known to employ cognitive replacement models of system dynamics that are both non-stationary and potentially incongruent. These replacement models induce visible and potentially harmful effects on their joint emergent behavior and the interaction with cyber-physical system components." - www.acm.org
ACM transactions on cyber-physical systems New York, NY : ACM, 2017 8(2024), 1, Artikel-ID 4, Seite 1-23 Online-Ressource
von Werner Damm ; David Hess ; Mark Schweda ; Janos Sztipanovits ; Klaus Bengler ; Bianca Biebl ; Martin Fränzle ; Willem Hagemann ; Moritz Held ; Klas Ihme ; Severin Kacianka ; Alyssa J. Kerscher ; Sebastian Lehnhoff ; Andreas Luedtke ; Alexander Pretschner ; Astrid Rakow ; Jochem Rieger ; Daniel Sonntag ; Maike Schwammberger ; Benedikt Austel ; Anirudh Unni ; Eric M. S. P. Veith
HochschulschriftEingebettetes SystemZeitgesteuertes SystemSicherheitskritisches SystemComputersimulationSimulationSystemKritische InformationsinfrastrukturEchtzeitsystemCyber-physisches System
Zeitgesteuerte Architekturen werden wegen ihres deterministischen und vorhersehbaren Verhaltens häufig in sicherheitskritischen Systemen eingesetzt. Den bestehenden Lösungen mangelt es jedoch an Beobachtungs- und Fehlerbehebungsmöglichkeiten. Um dieses Problem zu lösen, schlagen wir GALI vor, eine neuartige Simulationstechnik. GALI steht für "Globally Accurate, Locally Inaccurate" (global genau, lokal ungenau) und beschleunigt die Simulation von zeitgesteuerten Systemen bei gleichzeitiger Verbesserung der Beobachtbarkeit und Fehlersuche. Es nutzt eine befehlsgenaue Simulation mit einer vorbestimmten zeitgesteuerten Systemkonfiguration und wendet diskrete zeitgesteuerte Ausführung an, um schnelle und genaue Ergebnisse zu erzielen. Das unterstützende Tooling-Ökosystem generiert die erforderliche Infrastruktur. Unsere Evaluierung zeigt, dass GALI ein präzises Verhalten wie zyklusgenaue Simulationen erreicht und einen minimalen Overhead wie ungezeitete Simulationen hat.
Time-Triggered (TT) architectures are widely used in safety-critical computer systems for their deterministic and predictable behavior. However, existing solutions lack observability and debugging capabilities. To address this, we propose GALI, a novel simulation technique. GALI, which stands for "Globally Accurate, Locally Inaccurate," speeds up the simulation of time-triggered systems while enhancing observability and debugging. It utilizes an instruction-accurate simulation with a predetermined time-triggered system configuration and applies discrete timed execution to produce fast and accurate results. The supporting tooling ecosystem generates platform and application components, including board-support packages, binary files, communication channels, and required infrastructure. Our evaluation demonstrates that GALI achieves precise behavior similar to cycle-accurate simulations while incurring minimal overhead, comparable to untimed simulations.
Institute of Electrical and Electronics Engineers IEEE transactions on automatic control New York, NY : Institute of Electrical and Electronics Engineers, 1963 (2023) vom: 13. Nov., Seite 1-8 Online-Ressource