From software architecture structure and behavior modeling to implementations of cyber-physical systems
| dc.contributor.author | Ringert, Jan Oliver | |
| dc.contributor.author | Rumpe, Bernhard | |
| dc.contributor.author | Wortmann, Andreas | |
| dc.contributor.editor | Wagner, Stefan | |
| dc.contributor.editor | Lichter, Horst | |
| dc.date.accessioned | 2018-10-24T09:59:59Z | |
| dc.date.available | 2018-10-24T09:59:59Z | |
| dc.date.issued | 2013 | |
| dc.description.abstract | Software development for Cyber-Physical Systems (CPS) is a sophisticated activity as these systems are inherently complex. The engineering of CPS requires composition and interaction of diverse distributed software modules. Describing both, a system's architecture and behavior in integrated models, yields many advantages to cope with this complexity: the models are platform independent, can be decomposed to be developed independently by experts of the respective fields, are highly reusable and may be subjected to formal analysis. In this paper, we introduce a code generation framework for the MontiArcAutomaton modeling language. CPS are modeled as Component & Connector architectures with embedded I/Oω automata. During development, these models can be analyzed using formal methods, graphically edited, and deployed to various platforms. For this, we present four code generators based on the MontiCore code generation framework, that implement the transformation from MontiArcAutomaton models to Mona (formal analysis), EMF Ecore (graphical editing), and Java and Python (deployment). Based on these prototypes, we discuss their commonalities and differences as well as language and application specific challenges focusing on code generator development. | en |
| dc.identifier.isbn | 978-3-88579-609-1 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/17363 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software Engineering 2013 - Workshopband | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-215 | |
| dc.title | From software architecture structure and behavior modeling to implementations of cyber-physical systems | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 170 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 155 | |
| gi.conference.date | 26. Februar-1. März 2013 | |
| gi.conference.location | Aachen | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1