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

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

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 Tool Support for fUML Models

2010 ◽  
Vol 5 (5) ◽  
pp. 775 ◽  
Author(s):  
Codruţ-Lucian Lazăr ◽  
Ioan Lazăr ◽  
Bazil Pârv ◽  
Simona Motogna ◽  
István-Gergely Czibula
Keyword(s):  
Tool Support ◽  
Abstract Syntax ◽  
Tool Chain ◽  
Standard Means ◽  
Uml Models ◽  
Executable Models

In this paper we present a tool chain that aids in the construction of executable UML models according to the new Foundational UML (fUML) standard. These executable models can be constructed and tested in the modeling phase, and code can be generated from them towards different platforms. The fUML standard is currently built and promoted by OMG for building executable UML models. The compatibility of the executable models with the fUML standard means that only the UML elements allowed by fUML should be used for the abstract syntax and the extra constraints imposed by the fUML standard should be considered. The tool chain we propose is intregrated with the existing UML tools of Eclipse modeling infrastructure.

A Cloud-Based Approach to Development of Embedded Systems Software

2015 ◽  
Author(s):  
Jürgen Hausladen ◽  
Birgit Pohn ◽  
Martin Horauer
Keyword(s):  
Embedded Systems ◽  
Operating Systems ◽  
Development Process ◽  
Development Environment ◽  
Management Tools ◽  
Integrated Development ◽  
Tool Chain ◽  
Development Platform ◽  
Systems Software ◽  
Ubiquitous Access

The complexity of modern embedded systems and tools to develop them is continuously growing. Although there are various efforts to address this issue (e.g., by raising the level of abstraction) it is rather challenging to keep pace with all relevant innovations in the field. For example, various collaboration and version management tools support the development process when multiple developers collaborate on the development of an embedded solution. In this paper, we present a cloud-based integrated development environment that supports the development of software for embedded systems where the entire tool-chain is in the cloud and provides debugging and flashing of hardware as usual. This approach avoids tool version conflicts, enables central upgrade as well as maintainability and provides a unique interface across multiple operating systems to the developers (the latter is often enforced in industrial settings by restricting the software setup and privileges of an individual developer). Furthermore, the cloud-approach enables ubiquitous access to the development platform.

Automated Verification of Executable UML Models

2011 ◽  
pp. 225-250 ◽  
Author(s):  
Helle Hvid Hansen ◽  
Jeroen Ketema ◽  
Bas Luttik ◽  
MohammadReza Mousavi ◽  
Jaco van de Pol ◽  
...  
Keyword(s):  
Automated Verification ◽  
Uml Models
Sign in / Sign up

Export Citation Format

Share Document