Reverse engineering of legacy software interfaces to a model-based approach
conference paper
Cyber-physical systems consist of many hardware and software components. Over the life-cycle of these systems, components are replaced or updated. To avoid integration problems, good interface descriptions are crucial for component-based development of these systems. For new components, a Domain Specific Language called Component Modeling Analysis can be used to formally define the interface of such a component in terms of its signature, state and timing behavior. Having interfaces described in a model-based approach enables the generation of artifacts, for instance, to generate a monitor that can check interface conformance of components based on a trace of observed interface interactions during execution. The benefit of having formal interface descriptions also holds for legacy system components. Interfaces of legacy components can be reverse engineered manually. In order to reduce the manual effort, we present an automated learner. The learner can reverse engineer state and timing behavior of a legacy interface by examining event traces of the component in operation. The learner will then generate a ComMA model. © 2018 Polish Information Processing Society.
Topics
Embedded systemsInformation systemsInformation useLegacy systemsLife cycleModeling languagesProblem oriented languagesReverse engineeringComponent-Based DevelopmentDomain specific languageHardware and software componentsIntegration problemsInterface descriptionsInterface interactionModel based approachSystem componentsInterface states
TNO Identifier
844191
ISSN
9788394941970
Source
2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, 9 September 2018 through 12 September 2018, pp. 867-876.
Publisher
Institute of Electrical and Electronics Engineers Inc.
Article nr.
8511291
Source title
Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018
Editor(s)
Ganzha, M.
Maciaszek, L.
Maciaszek, L.
Paprzycki, M.
Maciaszek, L.
Maciaszek, L.
Paprzycki, M.
Pages
867-876
Files
To receive the publication files, please send an e-mail request to TNO Repository.