Duration: 04/2018 – 09/2020
Hanseatic blockchain innovations for logistics and supply chain management
At HANSEBLOC, potential additional benefits of blockchain for the logistics sector are identified and implemented as a prototype. An exemplary use case is the counterfeit-proof shipping of transport documents to the parties involved along the logistics chain, with the blockchain as a trusted entity.
itemis AG ensures the end-user-friendly definition of Smart Contracts using a domain-specific language (DSL). This language considers verification and simulation aspects and enables the generation of executable code for the blockchain. This will also be made possible via a web collaboration platform.
Logistics companies, IT service providers and universities participate in the joint project. It is coordinated by Logistik-Initiative Hamburg e.V. (LIHH) and funded by the German Federal Ministry of Education and Research (BMBF).
Duration: 02/2017 – 05/2020
Collaborative Embedded Systems
The project aims to develop methods for the model-based development of collaborative embedded systems.
The number and complexity of functions executed by embedded systems and cyber-physical systems is continuously increasing. A large part of the complexity results from the interconnection of the systems. This has a massive impact on the scope to be considered. The focus is no longer only on individual systems, but on their cooperative interaction in networks of systems. The ability to form such networks dynamically will be the basis for many smart technologies of the future.
Development methods have been elaborated in the joint project SPES and SPES_XT. These methods will be extended for the model-based development of cooperative systems and supplemented by new ones that specifically address the challenges of developing system clusters.
In this context, itemis considers in particular which tool support is necessary for the modeling and analysis and how modeling tools can be integrated into tool chains in a heterogeneous environment.
The project is funded by the German Federal Ministry of Education and Research (BMBF).
Duration: 07/2017 – 12/2019
Contract-Based Modeling and Design
The research project pursues the goal of securing the design and development of complex technical systems through the formal modeling of so-called “contracts”. The core idea of the CBMD project is to model systems as a hierarchy of components. This allows to analyze the inner workings of each component and its interaction with the environment separately during automatic formal analysis.
For the exchange of models between tools from different vendors, the project partners are developing a common Ecore metamodel to represent hierarchical component structures and contracts. This allows an exchange of models and results between the tools involved.
An example for the formal modeling of Contracts is the interface description language Franca IDL. It offers the possibility to define sequences in the form of protocol state machines.
The research project “CBMD” is carried out within the framework of the ZIM funding program at the BMWi. It is funded by the German Federal Ministry of Economics and Energy.
Duration: 06/2016 – 05/2019
Qualified development decisions for the creation of mechatronic systems
In the VisTraQ project, together with the department of software technology for safety-critical systems at the TU Ilmenau, itemis was developing a tool-supported methodology for the efficient analysis of development work products and their connections during the creation of mechatronic systems. The developed prototype provides an intuitive, web-based possibility for querying and analyzing development data across an entire project and thereby make a significant contribution to more objective and better development decisions.
One of the project goals is to determine the information needs of people involved in a development project. To this end, interviews took place with people who played different roles in development projects. The results were used to evaluate existing query languages and to develop a separate textual and graphical query language for traceability data.
These query languages satisfy the relevant information needs of people involved. They are easy to learn, but also powerful enough to formulate all important queries. For example, in order to be created and executed by the management level, the associated queries are readable and understandable.
A further goal is to incorporate the knowledge gained into the further development of the existing itemis product YAKINDU Traceability in order to expand it with advanced analysis and reporting functionalities.
Duration: 04/2017 – 03/2019
Self-adapting coupling component for connecting machines and IT systems
The future vision of Industry 4.0 requires highly connected and versatile production systems. In order to ensure a continuous flow of information within the entire automation pyramid, machines must be able to be integrated with overlying IT systems in a manner that is flexible, efficient and independent of the manufacturer. Existing integration solutions currently require enormous manual effort.
The goal of this project was the development of an intelligent, self-configuring and manufacturer-independent coupling component to connect different machines with information and control systems in a completely new way.
The basic idea of the coupling component is the automated reuse of integration knowledge. In a learning phase, the coupling component analyzed the data flow and found stored data patterns in order to derive possible information models and mapping rules between source and target model. These rules can be used for concrete data transformations. By storing the mapping rules in a repository, they are available again for subsequent connection projects or when machine configurations are changed and can be automatically adopted or adjusted. With an increasing number of machine connections, the coupling knowledge grows.
With the help of the solution developed in the project, both machine manufacturers and application system manufacturers can considerably improve the integratability and adaptability of machines. The project results represent an advanced technological solution for both industrial partners for the processing of recurring machine connections/integration issues.
The project was funded by the German Federal Ministry of Education and Research (BMBF).
Duration: 01/2016 – 02/2018
A particularly critical step in system and software development is the gathering of requirements. Inaccurate requirements are one of the most expensive sources of errors in development processes. Especially in the area of safety-critical systems, accident investigations have shown that incomplete requirements are a major cause.
IETS3 deals with the (partial) formalization of requirements in order to be able to detect and eliminate errors and inconsistencies at an early stage by means of automatic analyses, for example by model checkers or SMT solvers.
As evaluation partners, we were supported by well-known major corporations from the automotive industry, medical technology, aviation and consumer electronics.
A central result of the IETS3 project is the ISE tool platform (Integrated Specification Environment). It is based on the open source tool JetBrains MPS and is successfully used and continuously extended in subsequent research projects as well as in commercial customer projects.
The project was funded by the German Federal Ministry of Education and Research (BMBF).
Duration: 05/2012 – 04/2015
Duration: 07/2011 – 04/2014
Model-Based Open Source Development Environment for Automotive Multi-Core Systems
Under the project name AMALTHEA, a platform for new development environments has been created that was designed for the development of multi-core systems, that supports the product line approach and that delivers AUTOSAR-compliant results. To enable automatic code generation and software reuse, the tools are based on the paradigm of model-based development and support all relevant development steps.
The main benefit of the AMALTHEA project was the reduction of development costs, since the project result was a complete and consistent development platform that was available for the first time. The project results were made public under the Eclipse Public License. This means that companies that were previously not represented in this sector can also participate in the development of new vehicle functions.
Duration: 06/2012 – 11/2013
Domain-specific languages for X
The use of domain-specific languages in software development is an important element in the race with the increasingly complex IT landscape. Just a few years ago, it was usually sufficient for a company's software to run on one operating system. Today, applications of this kind must be available in the cloud and accessible by various platforms. Unfortunately, software developers are often overwhelmed with the task of learning the various platform-specific programming languages, libraries and tools and finally combining them in one project.
Domain-specific languages (DSL), which are developed specifically to describe application-related issues, are a popular way to standardize the different platforms and make them available to application developers with a common interface.
The goal of the research project DSL4X was to support DSLs by advanced editors for platforms outside of Eclipse.
Duration: 11/2010 – 10/2013
Duration: 08/2005 – 07/2013
Duration: 07/2011 – 06/2013
Duration: 06/2009 – 11/2012
Duration: 05/2010 – 04/2012
Duration: 07/2008 – 06/2011
Duration: 01/2008 – 05/2011
Duration: 01/2008 – 12/2010
Duration: 11/2008 – 10/2010
Advanced MOdel Repository
In the AMOR project, itemis, together with the Institute for Applied Computer Science at the University of Leipzig, has developed a general concept to manage development artifacts of model-based software development. The model repository conceived by the technology partners was implemented prototypically as a solution based on Eclipse. The repository, in which models can be stored in a browsable, versionable and reusable manner, was used and tested at the application partner Intershop Communications AG.
Duration: 07/2008 – 06/2010
MODEL DRIVEN ARCHITECTURE FOR EMBEDDED SYSTEMS
Duration: 01/2006 – 12/2008