SPES 2020 Deliverable 1.4.B-3 Concepts for an Integrated Tool ...

degree of implicit and explicit interaction between the applications. Static analysis ranging
from simple type checking (e. g., the consistent encoding of signals into CAN messages) to
highly sophisticated scheduling analysis techniques [PEP02] becomes an important method for
verification and quality assurance.
Securing intellectual property rights. Distributed development especially requires a sophisticated
rights management. In [WA08] the difficulty of the supplier-OEM relationship is mentioned
as an important issue in the automotive domain. OEMs need to be able to investigate
and check the quality of the delivered artifacts, to make sure that the subsystems are compatible
with their environment. OEMs also want to make sure that the delivered systems are
well-crafted. The only thing that OEMs do today is testing (dynamic analysis) and process
assessments. The adoption of static analysis techniques is often not applicable. Suppliers
on the other side are interested in keeping their special know-how and intellectual properties
undisclosed. In many cases, it seems to be a good idea to agree on object files as a deliverable.
This has the big advantage that the intellectual properties of the supplier remain undisclosed.
However, the disadvantages are that static analysis that could ensure the correctness of the
behavior of the software component in its environment (e.g. model checking) or the assessment
of quality attributes is not possible.
12