Auflistung nach Autor:in "Ringert, Jan Oliver"
1 - 10 von 10
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragComponent and Connector Views in Practice(Software Engineering und Software Management 2018, 2018) Bertram, Vincent; Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard; von Wenckstern, MichaelWe have presented an experience report of applying Component and Connector (C&C) view verification with an industrial partner, at the MoDELS 2017 conference. C&C views are a means for formal yet intuitive structural specification of C&C models. We report on our experience how C&C views and their verification help to address challenges of traceability and evolution in automotive industry. We analyzed the development process at Daimler AG and evaluated our C&C views verification tool on five Simulink models with more than 7700 subsystems in total and C&C views created for 183 textual requirements provided by Daimler AG. We describe our experience in detail and discuss a list of lessons learned, including, e.g., a missing abstraction concept in C&C models and C&C views that we have identified and added to the views language and tool, that engineers can create graphical C&C views quite easily, and how verification algorithms scale on real-size industry models. Furthermore, we report on the non-negligible technical effort needed to translate Simulink block diagrams to C&C models. We make all materials mentioned and used in our experience electronically available for inspection and further research.
- KonferenzbeitragFrom software architecture structure and behavior modeling to implementations of cyber-physical systems(Software Engineering 2013 - Workshopband, 2013) Ringert, Jan Oliver; Rumpe, Bernhard; Wortmann, AndreasSoftware 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.
- KonferenzbeitragGR(1) synthesis for LTL specification patterns(Software Engineering 2016, 2016) Maoz, Shahar; Ringert, Jan Oliver
- KonferenzbeitragInternational workshop on comparison and versioning of software models (CVSM 2013)(Software Engineering 2013, 2013) Pietsch, Pit; Kelter, Udo; Ringert, Jan Oliver
- KonferenzbeitragInternational workshop on Comparison and Versioning of Software Models (CVSM 2014)(Software Engineering 2014, 2014) Pietsch, Pit; Kelter, Udo; Ringert, Jan Oliver
- ZeitschriftenartikelKonferenzankündigungen(Softwaretechnik-Trends: Vol. 33, No. 4, 2013) Pietsch, Pit; Kelter, Udo; Ringert, Jan Oliver
- ZeitschriftenartikelReport on the International Workshop on Comparison and Versioning of Software Models (CVSM 2014)(Softwaretechnik-Trends Band 34, Heft 2, 2014) Kelter, Udo; Pietsch, Pit; Ringert, Jan Oliver
- KonferenzbeitragSynthesis of component and connector models from crosscutting structural views (extended abstract)(Software Engineering 2014, 2014) Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard
- KonferenzbeitragTriggers for Reactive Synthesis Specifications(Software Engineering 2024 (SE 2024), 2024) Amram, Gal; Ma’ayan, Dor; Maoz, Shahar; Pistiner, Or; Ringert, Jan Oliver
- KonferenzbeitragVerifying component and connector models against crosscutting structural views(Software-engineering and management 2015, 2015) Maoz, Shahar; Ringert, Jan Oliver; Rumpe, BernhardThe structure of component and connector (C\&C) models, which are used in many application domains of software engineering, consists of components at different containment levels, their typed input and output ports, and the connectors between them. C\&C views, presented in [MRR13], can be used to specify structural properties of C\&C models in an expressive and intuitive way.