Activity diagram

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

Peter Munk, Arne Nordmann

Citations: 45 • 2020

Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees

Arne Nordmann, Peter Munk

Citations: 16 • 2018

Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time

Andrew J. Bennett, A. J. Field, C.M. Woodside

Citations: 15 • 2004

Model driven development for embedded systems

Kunihihiko Ito, Saeko Matsuura

Citations: 10 • 2010

Optimization of production in an autonomous robot served manufacturing facility

Evelina Koycheva, Annerose Braune, Stefan Hennig

Citations: 2 • 2010

System verification via Model‐Checking: A case study of an autonomous multi‐differential drive robot

Ibukun Phillips, C. Robert Kenley

Citations: 2 • 2023

Modeling of Agent-based Architecture for Driving Mobile Manipulator Robots

A. Hentout, Brahim Bouzouia, Z. Toukal

Citations: 2 • 2008