Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Extendable toolchain for automatic compatibility checks

 
: Bertram, V.; Roth, A.; Rumpe, B.; Wenckstern, M. von

:
Volltext (PDF; )

Brucker, A.D.:
16th International Workshop on OCL and Textual Modelling, OCL 2016. Workshop Proceedings. Online resource : Co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016); Saint-Malo, France, October 2, 2016
Saint-Malo, 2016 (CEUR Workshop Proceedings 1756)
http://ceur-ws.org/Vol-1756/
S.49-56
International Workshop on OCL and Textual Modelling (OCL) <16, 2016, Saint-Malo>
International Conference on Model Driven Engineering Languages and Systems (MODELS) <19, 2016, Saint-Malo>
Englisch
Konferenzbeitrag, Elektronische Publikation
Fraunhofer FIT ()

Abstract
Embedded software systems are highly configurable and consist of many software components in different variants and versions. However, component updates or upgrades often result in unpredictable incompatibilities with its environment. Existing research addresses this challenge by employing formal methods with a fixed set of encoded static compatibility checks, making it nearly impossible for engineers to add new or modify existing ones. This paper presents a highly adaptable infrastructure to define constraints for compatibility checks. The underlying approach transforms software components into instances of a C&C meta-model, enriched with OCL compatibility constraints at runtime, then evaluated by a solver. The result is transformed back into a C&C model showing compatibility or incompatibility. The easy to integrate infrastructure is based on industrial requirements and allows to add, modify or delete constraints without restarting the tool infrastructure.

: http://publica.fraunhofer.de/dokumente/N-434991.html