Model-based design

An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering

Peter H. Feiler, Bruce Lewis, Steve Vestal, Ed Colbert

Citations: 89 • 2005

A Formal Model-Based Design Method for Robotic Systems

Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song

Citations: 47 • 2018

Model Continuity to Support Software Development for Distributed Robotic Systems: A Team Formation Example

Xiaolin Hu, Bernard P. Zeigler

Citations: 32 • 2004

Using AADL to Model and Develop ROS-Based Robotic Application

Gianluca Bardaro, Matteo Matteucci

Citations: 10 • 2017

Combining robotics component-based model-driven development with a model-based performance analysis

Alex Lotz, Arne Hamann, Ralph Lange, Christian Heinzemann, Jan Staschulat, Vincent Kesel, D. Stampfer, Matthias Lutz, Christian Schlegel

Citations: 8 • 2016

Design and Use of CSP Meta-Model for Embedded Control Software Development

Maarten M. Bezemer, Robert Wilterdink, Jan F. Broenink

Citations: 8 • 2012

Simulink meets Lego: Rapid controller prototyping of a stabilized bicycle model

Michele Basso, Giacomo Innocenti, Alberto Rosa

Citations: 7 • 2013

Design and implementation of an Internet-based embedded control system

Hongtao Yang, Roy Eagleson

Citations: 7 • 2004

A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

Citations: 6 • 2020

Supervisor synthesis in model-based automotive systems engineering

J.M. van de Mortel‐Fronczak, R.G.M. Huisman, Martin H. R. van der Heijden, Michel Reniers

Citations: 6 • 2014

Self-Driving Software Benchmark for Model-Based Development

Takumi Onozawa, Takuya Azumi

Citations: 3 • 2022

A Method of Automatic Code Generation Based on AADL Model

Chen Zhang, Xinyi Niu, Bin Yu

Citations: 3 • 2018

Automatic Code Generation in Model Based Design and Digital Signal Processing

Ketki Kshirsagar, Shivam Rane, Pritesh Shah, Ravi Sekhar

Citations: 2 • 2023

Modular Model-Based Design for Aerial Manipulation with Simulink and ROS

David Bernstein, Micha Schuster, Klaus Janschek, Michael Beitelschmidt

Citations: 2 • 2022