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

Author(s):  
Alek Radjenovic ◽  
Nicholas Matragkas ◽  
Richard F. Paige ◽  
Matteo Rossi ◽  
Alfredo Motta ◽  
...  
Author(s):  
Nicolas N. Bisi ◽  
Vinicius Pazzini ◽  
Luciana Foss ◽  
Simone Andre da Costa Cavalheiro ◽  
Lisane B. de Brisolara ◽  
...  

Author(s):  
Codruţ-Lucian Lazăr ◽  
Ioan Lazăr ◽  
Bazil Pârv ◽  
Simona Motogna ◽  
István-Gergely Czibula

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.


Author(s):  
Jürgen Hausladen ◽  
Birgit Pohn ◽  
Martin Horauer

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.


Author(s):  
Helle Hvid Hansen ◽  
Jeroen Ketema ◽  
Bas Luttik ◽  
MohammadReza Mousavi ◽  
Jaco van de Pol ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document