The explanations below will give you an overview over some recent and major research projects our chair is or has recently been part of. All our project results are aggregated to research topics on our research website.
- Agile Data Development
- BEST Energy
- The CarOLO Project on Autonomous Driving
- Collaborative Embedded Systems (CrESt)
- Human Brain Project (HBP)
- Intelligente modulare Serviceroboter-Funktionalitäten im menschlichen Umfeld am Beispiel von Krankenhäusern (iserveU)
- Interaktive, visuelle Datenräume zur souveränen, datenschutzrechtlichen Entscheidungsfindung (InviDas)
- Internet of Production (IoP)
- Management Cockpit for University Chair Controlling (MaCoCo)
- Modelling Solution for Complex Software Systems (ModelPlex)
- MontiBelle - Intelligent Verification
- The MontiCore Language Workbench
- MontiCore-based Generator framework for Enterprise Management (MontiGem)
- A Semantic Approach to Evolution Analysis in Model-Based Software Development (Semantic Diff)
- SensorCloud, a BMBF Trusted Cloud Computing project
- Software Plattform Embedded Systems (SPES 2020 / SPES XT)
- SysML Workbench for the SPES Method (SpesML)
Agile Data Development
In cooperation with the WZL, MSE and Bewind as industrial partner, the goal of this project is to develop a guideline in the sense of a procedure description for the implementation of an agile development process by integrating agile and plan-driven methods as well as their data-based support. Thus, the project aims at (1) an increase of effectiveness by a targeted addressing of requirements in the sense of the agile idea shall be achieved, (2) an improvement of efficiency by avoiding unwanted iterations due to improved data transparency shall be supported, (3) a data-based decision support by an integrated data and system architecture shall be enabled and (4) a reduction of time-to-market with a simultaneous increase of market.
This approach is thus intended to increase the overall profitability of the windmill portfolio in the medium to long term. In addition, the approach focuses on efficiency gains in the development of new plants as well as improvements in the costs of parts, components and modules used across projects. Sub-goals of this project are:
Integration of agile and plan-driven development methods in the development of mechatronic systems in the context of the wind energy industry.
Real-time, data-based development of new product variants, considering volatile market and customer requirements.
Targeted, efficient realization of volatile and uncertain market requirements.
Creation of transparency through a linked, providing cross-company of development-relevant data.
Dynamic design of requirements management across the entire development process and adaptation of the development process, the development tools, and the downstream validation and certification strategy.
Project is embedded in MontiGem - Generating Enterprise Management Systems
AutoKnigge is a subproject of the second phase of the DFG SPP1835 program on the research of interactively cooperating vehicles. The focus of the first phase, in the predecessor project RapidCoop, was on the concept of local traffic systems (LTS), which are ad-hoc networks for vehicular cooperation, and an architecture-centric, dynamic modeling methodology for the design of such systems. In AutoKnigge, a dynamic framework specifying vehicle behavior is to be developed. The vehicles ought to be able to select appropriate behavioral patterns based on a situation and hence, to perform corresponding cooperative maneuvers. Furthermore, a set of behavioral rules is to be defined which serves as a guidelines catalogue for cooperative vehicles.
Selected publications AutoKnigge, cf. EMA and MontiSim publications, as well
[KKR19]In: The Journal of Object Technology, B. Combemale, S. Ali (Eds.), Volume 18(2), pp. 1-20, AITO - Association Internationale pour les Technologies Objets, Jul. 2019. The 15th European Conference on Modelling Foundations and Applications.
[KPRS19]In: ASE19. Software Engineering Intelligence Workshop (SEI19), L. O’Conner (Eds.), pp. 126-133, IEEE, Nov. 2019.
[KKMR19]In: Proceedings of MODELS 2019. Workshop MLE, L. Burgueño, A. Pretschner, S. Voss, M. Chaudron, J. Kienzle, M. Völter, S. Gérard, M. Zahedi, E. Bousse, A. Rensink, F. Polack, G. Engels, G. Kappel (Eds.), pp. 331-338, IEEE, Sep. 2019.
BEST Energy is a project to improve the energy efficiency in buildings, which project belongs to the ICT Policy Support Programme. The main objective of this project was to improve the energy efficiency in public buildings and street public lighting, by the ICT-based centralized monitoring and management of the energy consumption and production, and to provide decision makers with the necessary tools to be able to plan energy saving measures. To achieve this objective BEST Energy project did implement and validate four pilots, two related to energy efficiency in public buildings (one in a Sports centre in Spain and one in a University building in Germany), and another two regarding energy efficiency in public street lighting. The pilots implement innovative advanced control mechanisms allowing to substantially improve the energy efficiency in the respective buildings and spaces.
The Synavision GmbH is an offspring of these activities.
- Project is embedded in Smart Energy Management
The CarOLO Project on Autonomous Driving
In the context of the CarOLO project, we developed Caroline already at the TU Braunschweig. Caroline is a fully autonomous car, which allowed us to take part in the Darpa Urban Challenge. Caroline managed to win 7th place, was the best newcomer in the competition and our chair became the best non-american team (see also Darpa Grand Challenge).
[BR09a]In: Proceedings INFORMATIK 2009. GI Edition - Lecture Notes in Informatics (LNI), Band P154, 7. Workshop Automotive Software Engineering, 2009.
[BR12b]Autonomous Driving - 5 Years after the Urban Challenge: The Anticipatory Vehicle as a Cyber-Physical System.In: Automotive Software Engineering Workshop (ASE’12), pp. 789-798, 2012.
[BR12]In: Experience from the DARPA Urban Challenge, C. Rouff, M. Hinchey (Eds.), pp. 243-271, Springer, Germany, 2012.
Collaborative Embedded Systems (CrESt)
In the CrESt research project, 23 partners from industry and research investigated how to reliably engineer the software of the future’s smart, distributed CPS. We investigated modeling techniques, methods, and processes to manage the complexity of engineering software for dynamically coupled, automated CPS. Our main contributions focus on tool integration and artifact-based analysis, language variability, and evolution of software product line architectures. The project was funded by the German Federal Ministry for Education and Research (BMBF).
[KRSW20]In: International Working Conference on Variability Modelling of Software-Intensive Systems, M. Cordy, M. Acher, D. Beuche, G. Saake (Eds.), ACM, Feb. 2020.
[BEK+19]In: Journal of Systems and Software, R. C. Sevilla, L. Fuentes, M. Lochau (Eds.), Volume 152, pp. 50-69, Elsevier, Jun. 2019.
[BEK+18b]In: International Conference on Systems and Software Product Line (SPLC’18), ACM, Sep. 2018.
[BGRW18]In: Software Technologies: Applications and Foundations, M. Seidl, S. Zschaler (Eds.), pp. 146-153, LNCS 10748, Springer, Jan. 2018.
- Project is embedded in various areas including Model-Driven Systems Engineering, Variability & Software Product Lines (SPL), Semantics of Modeling Languages, Modeling Software Architecture, and MontiArc - Architectural Modeling.
EmbeddedMontiArc is an architecture-centric component-based modeling methodology focusing on automotive software and cyber-physical systems engineering. Its elaborate type system supporting SI units, a math oriented behaviour description language, as well as compact syntax for the instantiation and interconnection of large systems enables developers to focus on functionality rather than on annoying technical details. The EmbeddedMontiArc compiler produces high-performance executable code and generates interfaces to middleware solutions such as ROS. What’s more, EmbeddedMontiArcDL supports the design of intelligent systems by providing a dedicated and easy-to-learn neural network modeling and training language. The models can be executed and validated in MontiSim, our distributed and service-oriented simulator for autonomous, interactively collaborative vehicles.
- 2 Minute Madness on MDSE and AI
- EmbeddedMontiArc: Textual Modeling Alternative to Simulink
- Simulation of Autonomous Driving Vehicles-Technology Overview
- Simulation of Autonomous Driving Vehicles - Driving at Rain and at Night
- Simulation of Autonomous Driving Vehicles - Driving at Sun and Daytime
- Component and Connectors Views: Definition, Verification, Witnesses (Bachelor Thesis)
- Event based Dynamic Reconfiguration of Component and Connector Architectures
- Defining Semantics of Extra Functional Properties in Component and Connector Mod
- Bounded Model Checking of Self Driving Cars Requirements against its Implementat
- Evolutionary Tuning of PID Controllers
- Multi User Online IDE for DSLs on the example language MontiArc
- Component and Connectors Views Definition Verification Witnesses
- Example Video for EmbeddedMontiArcStudio
- EmbeddedMontiArcStudio Overview Video
- Simulating several Cars
- Modeling an Autopilot for Self Driving Cars with EmbeddedMontiArc
- Modeling PacMan with EmbeddedMontiArc
- ClustererNoKMeans Matlab
- Matlab MatrixModifier
- ClustererOpt Matlab
- EMA Armadillo part1
- EMA Armadillo part2
- ClustererNoKMeansOpt Matlab
- Clusterer EMA
- Matlab Clusterer
Selected publications EmbeddedMontiArc
[KNP+19]In: Conference on Model Driven Engineering Languages and Systems (MODELS’19), M. Kessentini, T. Yue, A. Pretschner, S. Voss, L. Burgueño (Eds.), pp. 283-293, IEEE, Sep. 2019.
[KRS+18a]Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc.In: Conference on Model Driven Engineering Languages and Systems (MODELS’18), pp. 447 - 457, ACM, Oct. 2018.
[KRRW17]In: European Conference on Modelling Foundations and Applications (ECMFA’17), pp. 34-50, LNCS 10376, Springer, Jul. 2017.
Selected Publications MontiSim
[KKRZ19]In: Proceedings of MODELS 2019. Workshop MASE, L. Burgueño, A. Pretschner, S. Voss, M. Chaudron, J. Kienzle, M. Völter, S. Gérard, M. Zahedi, E. Bousse, A. Rensink, F. Polack, G. Engels, G. Kappel (Eds.), pp. 28-37, IEEE, Sep. 2019.
[FIK+18]In: International Conference on Intelligent Transportation Systems (ITSC’18), pp. 596-601, IEEE, 2018.
- Project is embedded in Artificial Intelligence in Software Engineering, Modeling Software Architecture, State-Based Modeling (Automata), Domain-Specific Languages (DSLs), and MontiArc - Architectural Modeling
netz-1.png Brain Project (HBP)
The Human Brain Project is a H2020 FET flagship project that strives to accelerate the fields of neuroscience, computing and brain-related medicine. In this project, conceive and contributed the NESTML modelling language for neuronal behavior.
[Plo18]NESTML - die domänenspezifische Sprache für den NEST-Simulator neuronaler Netzwerke im Human Brain Project.Aachener Informatik-Berichte, Software Engineering, Band 33, ISBN 978-3-8440-5779-9, Shaker Verlag, Feb. 2018.
[BPEM18]Automatically Selecting a Suitable Integration Scheme for Systems of Differential Equations in Neuron Models.In: Frontiers in Neuroinformatics, Volume 12, 2018.
[PBI+16]In: Modellierung 2016 Conference, Volume 254, pp. 93-108, LNI, Bonner Köllen Verlag, Mar. 2016.
Intelligente modulare Serviceroboter-Funktionalitäten im menschlichen Umfeld am Beispiel von Krankenhäusern (iserveU)
In iserveU, we explore model-driven engineering methods for service robotics applications in dynamic environments with a consortium of three companies and four universities. We develop a family of integrated MontiCore modeling languages to describe, plan, and execute robotics tasks without in-depth programming expertise. Models of these languages are used by a MontiArc software architecture which integrated robotics middlewares to, ultimately, operate service robots in a German hospital. The project is funded by the German Federal Ministry for Education and Research (BMBF). Additional materials can be found at our iserveU Materials Website.
[HNR+15]In: Intelligent Robots and Systems Conference (IROS’15), pp. 1793-1798, IEEE, 2015.
[ABH+16]In: International Workshop on Domain-Specific Modeling (DSM’16), pp. 22-27, ACM, Oct. 2016.
[ABK+17]In: Proceedings of MODELS 2017. Workshop EXE, CEUR 2019, Sep. 2017.
Interaktive, visuelle Datenräume zur souveränen, datenschutzrechtlichen Entscheidungsfindung (InviDas)
Many people are increasingly surrounded by digital technologies and applications that collect, process and share personal data. At the same time, few read and understand the often long and complicated privacy statements of their individual devices and applications. Within the InviDas project, we ensure that users of smart wearables, such as fitness watches, will in future have better insight into their data profiles and will thus be able to make informed decisions more easily. New forms of data visualization and gamification are being researched, with which both manufacturers and users can make data privacy declarations more comprehensible and transparent.
The project is funded by the BMBF.
The InviDas project is jointly realized by the Gesellschaft für Informatik e.V., Stiftung Digitale Chancen, Garmin Würzburg GmbH, RWTH Aachen University (Software Engineering, Chair and Institute of Industrial Engineering and Ergonomics and Applied Ethics), Universität Bremen and Otto-Friedrich Universität Bamberg.
- Project is embedded in Model-Based Assistive Systems, Cloud Computing Applications, Enterprise Information Systems, and MontiGem - Generating Enterprise Management Systems
Internet of Production (IoP)
The Internet – in its meaning of a worldwide socio-technical network – has revolutionized accessibility of data and knowledge. This idea has been transferred to the physical world with the concept of the Internet of Things (IoT). A direct application of the IoT approach to production is currently not sufficiently feasible. There are many more parameters but much less available data than other big data application domains. Vast amounts of data characterize modern production. However, this data is neither easily accessible, interpretable, nor connected to gain knowledge. With the Internet of Production (IoP), we have the vision to enable a new level of cross-domain collaboration by providing semantically adequate and context-aware data from production, development, and usage in real-time on an appropriate level of granularity. The central scientific approach is the introduction of Digital Twins and Digital Shadows. The Cluster of Excellence will design and implement a conceptual reference infrastructure for the Internet of Production that enables the generation and application of Digital Shadows. The vision of IoP is to enable a new level of cross-domain collaboration by providing semantically adequate and context-aware data from production, development, and usage in real-time, on an adequate level of granularity.
[DJM+19]Towards Sustainable Systems Engineering-Integrating Tools via Component and Connector Architectures.In: Antriebstechnisches Kolloquium 2019: Tagungsband zur Konferenz, G. Jacobs, J. Marheineke (Eds.), pp. 121-133, Books on Demand, Feb. 2019.
[DJR+19]In: Proceedings of MODELS 2019. Workshop MPM4CPS, L. Burgueño, A. Pretschner, S. Voss, M. Chaudron, J. Kienzle, M. Völter, S. Gérard, M. Zahedi, E. Bousse, A. Rensink, F. Polack, G. Engels, G. Kappel (Eds.), pp. 430-435, IEEE, Sep. 2019.
[SHH+20]In: ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb, W. Bauer, W. Volk, M. Zäh (Eds.), Volume 115(special), pp. 105-107, Carl Hanser Verlag, Munich, Apr. 2020.
[BDH+20]In: International Conference on Advanced Information Systems Engineering (CAiSE’20), S. Dustdar, E. Yu, C. Salinesi, D. Rieu, V. Pant (Eds.), Volume 12127, pp. 85-100, Lecture Notes in Computer Science, Springer International Publishing, Jun. 2020.
- Project is embedded in Model-Driven Systems Engineering, Digital Twins and Digital Shadows in Engineering, Operation and Production, MontiGem - Generating Enterprise Management Systems.
Management Cockpit for University Chair Controlling (MaCoCo)
Within the MaCoCo (Management Cockpit for Controlling) project we realize a multi-user enterprise information system for the decentralized management and controlling of organizational processes within the chairs or institutes of a university. The key elements of the project focus on finance, staff and project organization.
Large parts of the code are generated with the MontiCore language workbench and code generation framework to ensure a highly adaptable system. Lead users are involved actively in the development process to be able to provide a useful solution.
The MaCoCo project is funded by the RWTH Aachen University and jointly realized by the two Chairs of Management Accounting and Software Engineering.
[GHK+20]Generated Enterprise Information Systems: MDSE for Maintainable Co-Development of Frontend and Backend.In: Companion Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers, J. Michael, D. Bork (Eds.), pp. 22-30, CEUR Workshop Proceedings, Feb. 2020.
- Project is embedded in Cloud Computing Applications, Enterprise Information Systems, and MontiGem - Generating Enterprise Management Systems
Modelling Solution for Complex Software Systems (ModelPlex)
The three major objectives of ModelPlex are to develop an open solution for complex systems engineering improving quality and productivity, lead its industrialisation and ensure its successful adoption by the industry.
- Project is embedded in Software Language Engineering (SLE), Domain-Specific Languages (DSLs), and MontiCore - Language Workbench for DSLs.
MontiBelle - Intelligent Verification
Based on a well-established mathematical dataflow-theory, we apply logic, knowledge representation and intelligent reasoning to software engineering to perform correctness proofs, execute symbolic tests or find counterexamples. The theorem prover Isabelle is a mature and fundamental tool, which allows representing knowledge as a collection of definitions and theorems and reason about systems. To increase the usability we provide a high-level API encapsulating the low-level logic engine as well as a domain-specific modeling language as front end coupled with an Isabelle code generator.
- Verified Design of Safety-Critical Cyber-Physical Avionics Systems with the MontiBelle Framework
- Vehicle Feature Interaction Verification at the Push of a Button
- Model-Based Development and Logical AI for Secure and Safe Avionics Systems
These and the rapid increase of computation capabilities suggest that a prominent application for reducing certification costs of critical systems such as intelligent flight control systems or assistance systems for air or road traffic management is not far in the future.
[KMP+21]Model-Based Development and Logical AI for Secure and Safe Avionics Systems: A Verification Framework for SysML Behavior Specifications.In: Aerospace Europe Conference 2021 (AEC 2021), Council of European Aerospace Societies (CEAS), Nov. 2021.
[KPRR21]Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams.In: Proceedings of the Software Engineering 2021 Satellite Events, S. Götz, L. Linsbauer, I. Schaefer, A. Wortmann (Eds.), Volume 2814, CEUR, Feb. 2021.
[BKR+20]Aachener Informatik Berichte, Software Engineering, Band 45, Shaker Verlag, Mar. 2020.
[KPRR20a]An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems.In: Combined Proceedings of the Workshops at Software Engineering 2020, R. Hebig, R. Heinrich (Eds.), Volume 2581, CEUR Workshop Proceedings, Feb. 2020.
[KPRR20]MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety.In: AIAA Scitech 2020 Forum, American Institute of Aeronautics and Astronautics, Jan. 2020.
[KRRS19]Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy’s Streams Become Feasible?.In: Proceedings of the Workshops of the Software Engineering Conference. Workshop on Avionics Systems and Software Engineering (AvioSE’19), S. Krusche, K. Schneider, M. Kuhrmann, R. Heinrich, R. Jung, M. Konersmann, E. Schmieders, S. Helke, I. Schaefer, A. Vogelsang, B. Annighöfer, A. Schweiger, M. Reich, A. van Hoorn (Eds.), Volume 2308, pp. 87-94, CEUR Workshop Proceedings, CEUR Workshop Proceedings, Feb. 2019.
- Project is embedded in Artifacts in Complex Development Projects, Semantics of Modeling Languages, and State-Based Modeling (Automata)
The MontiCore Language Workbench
MontiCore is a language workbench for an efficient development of domain-specific languages (DSLs). It processes an extended grammar format which defines the DSL and generates Java components for processing the DSL documents. Examples for these components are parser, AST classes, symboltables or visitors. This enables a user to rapidly define a language and use it together with the MontiCore-framework to build domain specific tools. Some MontiCore advantages are the reusability of predefined language components, conservative extension and composition mechanisms and an optimal integration of hand-written code into the generated tools. MontiCore enables the research of model-based software development methods employing a variety of DSLs and modeling languages. On top of this, MontiCore and its DSL products are successfully in use in academic and industrial research projects in various domains such as automotive software modeling, cloud architecture and security modeling, model-based robotics, smart energy management, neural network modeling. The design rationale of MontiCore is to provide a powerful and efficient workbench for the agile creation of DSLs along with their accompanying infrastructure such as analyses, transformations, and code generators.
Combined specification of concrete and abstract syntax in a context-free grammar
Customizable generation of parser and abstract syntax tree
Generation of analysis infrastructure including visitors
Adaptable grammar processing via interpreted Groovy scripts
Configurable logging and process reporting
Freemarker Template Engine for easy code generation
DSLs created with MontiCore:
Unified Modeling Language for Programming (UML/P)
- MontiArc Architecture Description Language (ADL) and languages based
on it such as
- MontiArcAutomaton - ADL with automaton behavior specification
- clArc - Cloud ADL Family
- MontiSecArc - ADL with security constraints
- EmbeddedMontiArc - ADL for automotive software and cyber-physical systems engineering
Aerospace Constraint Specification Language - DSL for the specification of significant air traffic scenarios
MontiTrans - Generator and Infrastructure for domain-specific transformation languages
GUIDSL - DSL to describe the layout of websites
A language to model restrictions in television broadcasts
- Java, Class Diagrams, Feature Diagrams, JSON, XML, OCL/P, Object Diagrams, Statecharts, and many more
- This project is described in the topic MontiCore - Language Workbench for DSLs, but it provides the core tool infrastructure for many other language definitions and projects.
MontiCore-based Generator framework for Enterprise Management (MontiGem)
The MontiGem framework allows developers to generate large parts of a web application for a domain specific Enterprise Information System based on the input models and provides a runtime environment for such systems.
- Textual BPMN Notation for Generative Software Engineering
- Information Systems for Privacy of Wearable Data
- Modellbasierte Entwicklung einer mobilen Applikation zur ParkinsonfrÃŒherkennung
- Development of an Information System for a Fully Automated Stem Cell Production System
- Modellbasierte Visualisierung von DBLP-Publikationsdaten
- Digitalisierung der Hochschule: Ein Informationsportal zur Dokumentation von persÃ¶nlichen Daten
- MontiGEM: Generating a GraphQL API
- Modell-basierte Informationssysteme am Beispiel einer Wetterstation
- Zielmodellierung in generierten Informationssystemen
- Zielmodellierung in MontiGEM
- Transformation monolithischer Enterprise-Anwendungen zu Microservice-Architekturen.
- Generating Tutorial System for a User Iterface of a Web Application
- Generative Approach to Implementation of Undo Functionality in a Web-Application Front-End
- Goal Modeling and MDSE for Behavior Assistance
The generated parts include:
Persistence layer - communication interface between application back-end and the database
Command infrastructure - communication interface between application front-end and back-end of the application as well as between parts of the back-end
Graphical user interface
[GMN+20]Continuous Transition from Model-Driven Prototype to Full-Size Real-World Enterprise Information Systems.In: 25th Americas Conference on Information Systems (AMCIS 2020), B. Anderson, J. Thatcher, R. Meservy (Eds.), pp. 1-10, AIS Electronic Library (AISeL), Association for Information Systems (AIS), Aug. 2020.
[AMN+20a]In: 40 Years EMISA: Digital Ecosystems of the Future: Methodology, Techniques and Applications (EMISA’19), Volume P-304, pp. 59-66, LNI, Gesellschaft für Informatik e.V., May 2020.
- This project is described in the topic MontiGem - Generating Enterprise Management Systems, but it provides the core tool infrastructure for many other projects.
A Semantic Approach to Evolution Analysis in Model-Based Software Development (Semantic Diff)
The semantic difference from one model to another model contains the elements in the semantics of the former model that are no elements in the semantics of the latter model. Revealing the semantic differences from one model version to a successor model version facilitates to understand the semantic impact of the syntactic changes that have been applied to the original model version to obtain the successor model version. In this project, we develop
semantic differencing methods for various concrete modeling languages and
concrete modeling language-independent methods that facilitate solving semantic model evolution analysis problems.
[DKMR20]RWTH Aachen University, AIB-2020-05, Technical Report, May 2020.
[DKMR19]In: International Systems and Software Product Line Conference (SPLC’19), T. Berger, P. Collet, L. Duchien, T. Fogdal, P. Heymans, T. Kehrer, J. Martinez, R. Mazo, L. Montalvillo, C. Salinesi, X. Tërnava, T. Thüm, T. Ziadi (Eds.), pp. 245-255, ACM, Sep. 2019.
[BKRW19]Continuously Analyzing Finite, Message-Driven, Time-Synchronous Component & Connector Systems During Architecture Evolution.In: Journal of Systems and Software, P. Pelliccione, J. Bosch, M. Marija (Eds.), Volume 149, pp. 437-461, Elsevier, Mar. 2019.
[KR18a]In: Conference on Model Driven Engineering Languages and Systems (MODELS’18), pp. 289-299, ACM, Oct. 2018.
[BKRW17]In: International Conference on Software Architecture (ICSA’17), pp. 145-154, IEEE, Apr. 2017.
[MRR11d]In: Conference on Foundations of Software Engineering (ESEC/FSE ’11), pp. 179-189, ACM, 2011.
[MRR11b]In: ECOOP 2011 - Object-Oriented Programming, M. Mezini (Eds.), pp. 230-254, Springer Berlin Heidelberg, 2011.
[MRR10]In: Proceedings Int. Workshop on Models and Evolution (ME’10), pp. 194-203, LNCS 6627, Springer, 2010.
- Project is embedded in Semantics of Modeling Languages, Unified Modeling Language (UML), and Artificial Intelligence in Software Engineering.
SensorCloud, a BMBF Trusted Cloud Computing project
In Cloud Computing the user no longer owns all the devices which process personal data. To lower scepticism, the project SensorCloud investigates techniques to understand and compensate all adoption barriers in a scenario consisting of cloud applications that utilize sensors and actuators in private places. This project addresses the interdisciplinary, i.e. social and technical research challenges for the trustworthy integration of sensor and actuator devices with the Cloud Computing paradigm. Most importantly, these challenges include ease of development, security and privacy, and social dimensions of a cloud-based system which integrates into private life.
[HHK+15a]In: Future Generation Computer Systems, Volume 56, pp. 701-718, Elsevier, 2015.
[HHK+14]In: Conference on Future Internet of Things and Cloud (FiCloud’14), IEEE, 2014.
[HPR13]In: Workshop Wissenschaftliche Ergebnisse der Trusted Cloud Initiative, pp. 125-140, Springer, Schweiz, 2013.
- Project is embedded in Cloud Computing Applications.
Software Plattform Embedded Systems (SPES 2020 / SPES XT)
[RSW+15]In: Software Product Line Conference (SPLC’15), pp. 141-150, ACM, 2015.
[BMP+16]In: Modellierung 2016 Conference, Volume 254, pp. 109-116, LNI, Bonner Köllen Verlag, Mar. 2016.
[RSW16]In: Softwaretechnik-Trends, Volume 36(2), May 2016.
- Project is embedded in Domain-Specific Languages (DSLs), Unified Modeling Language (UML), State-Based Modeling (Automata), and Agile Model-Based Software Engineering.
SysML Workbench for the SPES Method (SpesML)
The Systems Modeling Language (SysML) is extensively used in practice as a modeling language by tool vendors and standardization organizations such as the OMG. The industrial introduction of model-based system engineering (MBSE) often consists only of using the SysML modeling language and simple drawing tools, without an appropriate semantic concept and a consistent development methodology. Existing, more advanced methods and tools are not directly applicable. Thus, the essential potentials of the methodology of integrated MBSE are not used. SPES provides a semantically based concept for MBSE with a set of methods.
This project aims to develop a SysML workbench for the SPES methodology and make it available for practical use. This workbench will support the SPES methods and models continuously to ensure the dissemination of MBSE, especially among small and medium-sized enterprises. Thus, the widely used modeling language SysML will be semantically and methodically substantiated and will pave the way to a comprehensive MBSE approach, especially for industry.
- Project is embedded in Domain-Specific Languages (DSLs), Unified Modeling Language (UML), Semantics of Modeling Languages, State-Based Modeling (Automata), and Agile Model-Based Software Engineering.