A Model-based Execution Framework for Interpreting Control Software

Wiesmayr, Bianca; Zoitl, Alois; Garmendía, Antonio; Wimmer, Manuel

doi:10.1109/etfa45728.2021.9613716

Cited by 6 publications

(3 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, a model execution framework for software components of IEC 61499 (Basic Function Blocks with a simplified state-based diagram and textual algorithms) was created (cf. [46]). Using this framework allows automatically generating behavior models that capture the relation between inputs and outputs that is observable at the interface (i.e., Service Sequences).…”

Section: Initial Results and Timelinementioning

confidence: 99%

“…• C1: Enhancing software engineering for distributed control systems with visual behavior models, including a mechanism to capture behavior models from legacy software automatically [45,46] • C2: A model execution framework for the DSML IEC 61499 including a model interpreter [46] • C3: Tool support for control software engineers to implement and test models, as well as to improve model comprehension [48] This work does not replace, but supplements existing languages and tools that are used in the domain. Behavior models for applications (C1) will provide an important infrastructure for IEC 61499, e.g., as test specification and for software updates [27].…”

Section: Contributionsmentioning

confidence: 99%

“…Paper Title/Topic Venue Case Study RQ [46] Model-Execution Framework for IEC 61499 components IEEE ETFA'21 -1 [44] Using behavior models to guide the application structure IEEE ICPS'20 -1, 2 [28] Implementing interactions based on Activity Diagrams IEEE ETFA'21 1 1, 2 [18,47] RQ4 is evaluated by extending the implemented approach with the chosen new models. To successfully answer this question, the suggested approach has to facilitate the software engineering process.…”

Section: Table 1: Published Papers (Upper Part) and Papers That Are I...mentioning

confidence: 99%

See 2 more Smart Citations

Towards facilitating software engineering for production systems in Industry 4.0 with behavior models

Wiesmayr

2022

2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

Self Cite

View full text Add to dashboard Cite

With the growing adoption of Industry 4.0 concepts in production systems, new challenges arise in engineering control software. Highly distributed control with tight real-time constraints and safety regulations results in increasingly complex software. Current research focuses on increasing the abstraction with new architectures and modularization of software. The presented PhD research addresses modeling of the interactions between control software components, and of the emergent behavior of these compositions. Such behavior models can support the initial implementation, and facilitate (semi-)automated testing and monitoring of control software. Finally, visualizing behavior in a model can enhance understandability of existing control software, when software developers need not access abstracted hierarchy levels to deduct their functionality. This work aims at optimizing the benefit of behavior models in developing control software: Modeling the expected behavior directly for new software will allow using them throughout the software life-cycle. For legacy software, the initial development effort of behavior models will be minimized by automatically capturing behavior models from the implementation. The approach is evaluated in case studies and user studies to integrate experiences from the industrial domain into this software engineering research. CCS CONCEPTS• Software and its engineering → Domain specific languages;• Computer systems organization → Embedded and cyberphysical systems.

show abstract

Section: Initial Results and Timelinementioning

confidence: 99%