A5026454561- Advanced Software Engineering Methodologies
- Model-Driven Software Engineering Techniques
- Service-Oriented Architecture and Web Services
- Formal Methods in Verification
- Software System Performance and Reliability
- Software Engineering Research
- Business Process Modeling and Analysis
- Software Testing and Debugging Techniques
- Real-Time Systems Scheduling
- Embedded Systems Design Techniques
- Software Reliability and Analysis Research
- Simulation Techniques and Applications
- Software Engineering Techniques and Practices
- Graph Theory and Algorithms
- Advanced Database Systems and Queries
- Distributed and Parallel Computing Systems
- Multi-Agent Systems and Negotiation
- Petri Nets in System Modeling
- Safety Systems Engineering in Autonomy
- Flexible and Reconfigurable Manufacturing Systems
- Distributed systems and fault tolerance
- Modular Robots and Swarm Intelligence
- Open Source Software Innovations
- Scientific Computing and Data Management
- Semantic Web and Ontologies
Hasso Plattner Institute
2015-2024
University of Potsdam
2015-2024
Queen's University
2022
École Normale Supérieure de Lyon
2022
Centre National de la Recherche Scientifique
2017-2022
University of Leicester
2022
University of Gothenburg
2022
Western Norway University of Applied Sciences
2022
McMaster University
2022
University of Bern
2022
The development of self-adaptive software requires the engineering an adaptation engine that controls underlying adaptable by feedback loops. often describes runtime models representing and activities such as analysis planning use these models. To systematically address interplay between activities, megamodels have been proposed. A megamodel is a specific model capturing activities. In this article, we go one step further present executable modeling language for ExecUtable RuntimE MegAmodels...
Current techniques for the verification of software as e.g. model checking are limited when it comes to complex distributed embedded real-time systems. Our approach addresses this problem and in particular state explosion controlling mechatronic systems, we provide a domain specific formal semantic definition subset UML 2.0 component an integrated sequence design steps. These steps prescribe how compose systems from domain-specific patterns which part system behavior well-defined context....
The next generation of networked mechatronic systems will be characterized by complex coordination and structural adaptation at run-time. Crucial safety properties have to guaranteed for all potential configurations. Testing cannot provide guarantees, while current model checking theorem proving techniques do not scale such systems. We present a verification technique arbitrarily large multi-agent from the domain, featuring adaptation. overcome limitations existing exploiting local character...
Runtime adaptability is often a crucial requirement for today's complex software systems. Several approaches use an architectural model as runtime representation of managed system monitoring, reasoning and performing adaptation. To ease the causal connection between model, these models are closely related to implementation at rather low level abstraction. This makes them it impedes reusability extensibility autonomic managers. Moreover, do not cover different concerns, like security or...
In this paper, we present an interpreter for Story Diagrams working on Eclipse Modeling Framework (EMF) models. The provides a more flexible and, under certain circumstances, scalable solution than the compiled Java code generated from by Fujaba. of Dynamic EMF even allows evolution meta models at runtime. can now be modeled and executed within Eclipse. They modified re-executed Diagram immediately without recompiling source restarting application. Our implementation also supports...
Model transformation plays a central role in Model-Driven Engineer- ing (MDE) and supporting bidirectionality is current challenge with important applications. Triple Graph Grammars (TGGs) are formally founded, bidirectional model language shown by numerous case studies to be promising useful practice. TGGs have been researched for more than 15 years multiple TGG tools under active development. Although common theoreti- cal foundation shared, differ considerably concerning expressiveness,...
The development of complex mechatronic systems requires a careful and ideally verifiable design. In addition, engineers from different disciplines, namely mechanical, electrical software engineering, have to cooperate. current technology is use block diagrams including discrete blocks with statecharts for the design verification such systems. This does not adequately support large which improve system behavior at run-time by means online reconfiguration its controllers because as whole has...
No abstract available
Many self-adaptive systems include control loops between the core system and specific elements which realize self-adaptation capabilities. This is also true albeit at a higher level of abstraction for decentralized architectures. However, available techniques to describe software architecture such do not support make explicit. Therefore, architecting their logic today well supported. In this paper, we present UML profile that extends modeling concepts become first class architecture. enables...