Diagrammatic physical robot models

Der Artikel geht den Herausforderungen der Softwareentwicklung in der Robotik nach, insbesondere dem Mangel an rigorosen Ansätzen, die Software und physikalische Modellierung integrieren. Es stellt RoboSim vor, eine diagrammatische Notation, die sowohl Steuersoftware als auch Hardware-Designs unterstützt und Simulation und Nachweis von Eigenschaften ermöglicht, die bei der Betrachtung von Software für sich genommen möglicherweise nicht aussagekräftig sind. RoboSim erweitert frühere Arbeiten, indem es physikalische Hybridmodelle von Roboterplattformen einbindet, was einen umfassenderen Verifikationsprozess ermöglicht. Die Notation unterstützt die Definition zeitgesteuerter Eigenschaften, die durch mathematische Modelle gestützt werden und automatisch zur Verifizierung generiert werden. Dieser Ansatz reduziert die Kosten für manuelle Anpassungen und teure Tests erheblich und bietet einen strukturierten und automatisierten Entwicklungsprozess. Der Artikel diskutiert auch die Integration von RoboSim mit bestehenden Tools und Sprachen wie SysML und SDF und präsentiert Fallstudien, die die praktische Anwendung von RoboSim in verschiedenen Robotersystemen demonstrieren. Darüber hinaus vergleicht es RoboSim mit anderen Modellierungssprachen und -werkzeugen und hebt seine Vorteile in Bezug auf Lesbarkeit, Wiederverwendung und Automatisierung hervor.