Unified Modeling Language

A new skill based robot programming language using UML/P Statecharts

Ulrike Thomas, Gerd Hirzinger, Bernhard Rumpe⋆, Christoph Schulze, Andreas Wortmann

Citations: 118 • 2013

RoboChart: modelling and verification of the functional behaviour of robotic applications

Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock

Citations: 113 • 2019

Robotic software systems: From code-driven to model-driven designs

Schlegel, Hassler, Lotz, Steck

Citations: 82 • 2009

Hazard analysis of human–robot interactions with HAZOP–UML

Jérémie Guiochet

Citations: 76 • 2016

Robotic System for Automation of Water Quality Monitoring and Feeding in Aquaculture Shadehouse

Fernando Daniel Von Borstel Luna, Edgar de la Rosa Aguilar, Jaime Suarez Naranjo, Joaquín Gutiérrez

Citations: 60 • 2016

Service robot for the elderly

Minseong Kim, Suntae Kim, Sooyong Park, Mun‐Taek Choi, Munsang Kim, Hassan Gomaa

Citations: 58 • 2009

A Real-Time-Linux-Based Framework for Model-Driven Engineering in Control and Automation

George Doukas, Kleanthis Thramboulidis

Citations: 51 • 2009

An ontology for State Analysis: Formalizing the mapping to SysML

David Wagner, Mike Bennett, Robert Karban, N. Rouquette, Steven Jenkins, Michel D. Ingham

Citations: 50 • 2012

Model-based safety assessment with SysML and component fault trees: application and lessons learned

Peter Munk, Arne Nordmann

Citations: 45 • 2020

A test generation solution to automate software testing

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux

Citations: 44 • 2008

Verified simulation for robotics

Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis

Citations: 44 • 2019

Dependency Modeling and Model Management in Mechatronic Design

Ahsan Qamar, Christiaan J. J. Paredis, Jan Wikander, C. During

Citations: 42 • 2012

Model-driven engineering for mobile robotic systems: a systematic mapping study

Giuseppina Lucia Casalaro, Giulio Cattivera, Federico Ciccozzi, Ivano Malavolta, Andreas Wortmann, Patrizio Pelliccione

Citations: 41 • 2021

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification

Natasha Sharygina, James C. Browne, Robert P. Kurshan

Citations: 39 • 2001

Digital Evolution of Behavioral Models for Autonomic Systems

Heather J. Goldsby, Betty H. C. Cheng, Philip K. McKinley, David B. Knoester, Charles Ofria

Citations: 35 • 2008

Experience with Model-Based User-Centered Risk Assessment for Service Robots

Jérémie Guiochet, Damien Martin-Guillerez, David Powell

Citations: 34 • 2010

Tripodal schematic design of the control architecture for the Service Robot PSR

Gun-Hee Kim, Woojin Chung, Munsang Kim, Chong‐Won Lee

Citations: 33 • 2004

Tripodal Schematic Control Architecture for Integration of Multi-Functional Indoor Service Robots

G. Kim, Woojin Chung

Citations: 33 • 2006

Model-driven safety assessment of robotic systems

N. Yakymets, Saadia Dhouib, Hadi Jaber, Agnès Lanusse

Citations: 33 • 2013

Evolving interface design for robot search tasks

Holly A. Yanco, Brenden Keyes, Jill L. Drury, Curtis W. Nielsen, Douglas A. Few, David J. Bruemmer

Citations: 33 • 2007