by Jordi Cabot | Jun 4, 2018 | article
Specifying the architecture of such a large project as MegaM@Rt2 (27 partners from 6 different countries, 9 industrial case studies as well as over 30 different tools from project partners) is a challenge in itself. We opted for a pragmatic model-driven approach in...
by Saurabh Tiwari | May 23, 2018 | article
Model-based methodologies such as Model-based Systems Engineering (MBSE) and Model-based Design (MBD) are industry-wide being considered as effective solutions in addressing ongoing technological shifts and related development challenges. In recent times, there has...
by Abel Gómez Llana | May 14, 2018 | article
In April 2018, Berlin held the 4th Workshop on Challenges in Performance Methods for Software Development (WOSP-C) co-located with the 9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018). This fourth edition of WOSP-C, explored the performance...
by Dragos Truscan | Apr 25, 2018 | article
Online model-based testing is an important method for validation of software systems, which checks on the fly the conformance between the behavioral specification of a system and its implementation. In contrast to generating and running offline tests, online testing...
by Eduard Paul Enoiu | Apr 17, 2018 | article
Testing using architectural designs is intended to determine if the realised system meets its specification, and works as a whole. The growing complexity of embedded systems requires new techniques that are able to support testing of extra-functional requirements,...
by Eduard Paul Enoiu | Apr 3, 2018 | article
In industrial practice, test suites are created manually by handcrafting them using specific test design techniques and domain-specific experience. Although the automatic or semi-automatic creation of test suites has been the focus of a great deal of research, manual...