Towards a Platform for Debugging Executed UML-Models in Embedded Systems

2005 ◽  
pp. 238-241
Author(s):  
Philipp Graf ◽  
Clemens Reichmann ◽  
Klaus D. Müller-Glaser
Keyword(s):  
Embedded Systems ◽  
Uml Models

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems

2012 ◽  
pp. 340-351 ◽  
Author(s):  
Alek Radjenovic ◽  
Nicholas Matragkas ◽  
Richard F. Paige ◽  
Matteo Rossi ◽  
Alfredo Motta ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Automated Verification ◽  
Tool Chain ◽  
Uml Models

Using Graph Grammars to Develop Embedded Systems Based on UML Models

2011 ◽  
Author(s):  
Nicolas N. Bisi ◽  
Vinicius Pazzini ◽  
Luciana Foss ◽  
Simone Andre da Costa Cavalheiro ◽  
Lisane B. de Brisolara ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Graph Grammars ◽  
Uml Models

scholarly journals Generating VHDL Source Code from UML Models of Embedded Systems

2010 ◽  
pp. 125-136 ◽  
Author(s):  
Tomás G. Moreira ◽  
Marco A. Wehrmeister ◽  
Carlos E. Pereira ◽  
Jean-François Pétin ◽  
Eric Levrat
Keyword(s):  
Embedded Systems ◽  
Source Code ◽  
Uml Models

Development of embedded systems to control toxic compounds in textile industries

2012 ◽  
Vol 1 (5) ◽  
pp. 115-117
Author(s):  
Jahnavi KRM Jahnavi KRM ◽  
◽  
Raghavendra Rao K ◽  
Padma Suvarna R
Keyword(s):  
Embedded Systems ◽  
Toxic Compounds ◽  
Textile Industries

Proposal and Evaluation of Mutual Exclusion Method using Lock-free Algorism for Embedded Systems using Multi-core Processor

2019 ◽  
Vol 139 (7) ◽  
pp. 802-811
Author(s):  
Kenta Fujimoto ◽  
Shingo Oidate ◽  
Yuhei Yabuta ◽  
Atsuyuki Takahashi ◽  
Takuya Yamasaki ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Mutual Exclusion ◽  
Exclusion Method ◽  
Multi Core Processor

Towards Okinawa-style Robot-embedded Systems

2013 ◽  
Vol 133 (2) ◽  
pp. 111-115 ◽  
Author(s):  
Takashi Anezaki ◽  
Suriyon Tansuriyavong ◽  
Chikatoshi Yamada
Keyword(s):  
Embedded Systems
Sign in / Sign up

Export Citation Format

Share Document