In the partner companies, many different artefacts are created, maintained, and evolved during system design and development, ranging from high-level artefacts, such as requirements or models of the system design, to low-level artefacts detailing its implementation. Typically, high-level artefacts denoting the system design, for example SysML system models, are used in combination with low-level artefacts describing the system implementation. In some cases, these are detailed models, such as Simulink models, and in other cases, functionality is defined in code. In addition, other artefacts such as requirement definitions and documentation are created. Of course, these artefacts are not for one-time use, but are instead maintained and evolved to continue to meet the project’s needs. Furthermore, they may be re-used in multiple projects, so we need to consider different variants of these artifacts as well as their different revisions through time.
To improve the productivity of software and system development, it is crucial to be able to work with all these different artefacts in combination, even when they reside in different repositories, are created in different tools, and may be expressed in different programming- or modelling languages. Hence, there is a need to support the management of complex ecosystems of high-level and low-level artefacts (being them represented by structured documents, models, or code), relations between them and versioning and variant information associated with them. Explicitly capturing this information furthermore allows automatic evaluation and visualization of these complex environments, thus allowing engineers to get a better handle on the large sets of created models and other artefacts.
Inconsistencies can manifest themselves in many ways, between any models or other artefacts in the development. An example of consistency between models is that between a system model in SysML and C++ code that implements the defined interfaces. In such cases, both artefacts describe the same part of the system and inconsistency between them can be a signal of more problems in the implementation.
|First Name||Last Name||Title|
|Jagadish||Suryadevara||Consulting Senior Lecturer|
Towards Consistency Checking Between a System Model and its Implementation (Jun 2020) Robbert Jongeling, Johan Fredriksson, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson International Conference on Systems Modelling and Management (ICSMM)
Considerations About Consistency Management for Industrial Model-Based Development (Dec 2019) Robbert Jongeling 12th Seminar on Advanced Techniques & Tools for Software Evolution - SATToSE 2019 (SATToSE 2019)
How to Live with Inconsistencies in Industrial Model-Based Development Practice (Nov 2019) Robbert Jongeling Doctoral Symposium at ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems. (DS@MODELS)
Lightweight Consistency Checking for Agile Model-Based Development in Practice (Jul 2019) Robbert Jongeling, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson 15th European Conference on Modelling Foundations and Applications (ECMFA 2019) (JOT-ECMFA)
Impediments to Introducing Continuous Integration for Model-Based Development in Industry (Jun 2019) Robbert Jongeling, Jan Carlson, Antonio Cicchetti Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2019)
Continuous integration support in modeling tools (Oct 2018) Robbert Jongeling, Jan Carlson, Antonio Cicchetti, Federico Ciccozzi Collaborative Modeling in MDE (COMMitMDE'18)