Logo des Repositoriums

Auflistung nach Schlagwort "state machines"

1 - 2 von 2
  • Konferenzbeitrag
    Mining of Comprehensible State Machine Models for Embedded Software Comprehension
    (Softwaretechnik-Trends Band 39, Heft 2, 2019) Said, Wasim; Quante, Jochen
    Embedded legacy software contains a lot of expert knowledge that has been cumulated over many years. Therefore, it usually provides highly valuable and indispensable functionality. At the same time, it becomes more and more complex to understand and maintain. Mining of understandable models, such as state machines, from such software can greatly support developers in maintenance, evolution and reengineering tasks. Developers need to understand the software in order to evolve it. Existing state machine mining approaches are based on symbolic execution, which means enumeration of all paths. This quickly leads to path explosion problem. One effect of this problem on state machine mining is that the extracted models contain a very high number of states and transitions, and therefore are not useful for human comprehension. This means that additional measures towards comprehensibility of extracted state machines are required. To reach this goal, we introduced user interaction measures that can reduce the complexity of extracted state machines by reducing the number of states and transitions.
  • Konferenzbeitrag
    Robotic process control for multi-vegetable micro spot-farming using digital twin simulation
    (44. GIL - Jahrestagung, Biodiversität fördern durch digitale Landwirtschaft, 2024) Weber, Bettina; Chande, Sahil; Maike, Simon; Verbunt, Maarten; Lee, Ting Sheng; Becker, Rolf; Franko, Josef
    Current robotic approaches in smart farming are often limited to a specific task such as weeding or harvesting. Contrary to this, the AgriPV-Bot aims at sustainable and efficient micro spot full vegetable farming by focusing on mixed vegetable cultivation through automated horticultural processes. Such a holistic approach requires sophisticated robotic process control. This paper presents the development of the underlying state machine built in ROS SMACH to handle a variety of tasks within the system. All processes and interactions of sensors and actuators are first simulated on the digital twin software Gazebo before being deployed in the real environment. This allows for rapid iterations of software and reduces dependencies on season and crop availability regarding physical field tests.