Requirement Analyses Sample Clauses

Requirement Analyses. ‌ The requirement analysis phase is the first step towards a sound implementation of a solution for the robotics scenario. The input of this phase is a high-level, often non-formal description of the scenario, such as that reported in D73. The output of this phase is a semi-formal description of the system dynamics, as well as a set of adaptation patterns that fit the system requirements. In the case under study, the robots behave as a coordinated swarm. For this reason, the patterns that take inspiration from swarm robotics, such as the Reactive Stigmergy Service Components Ensemble Pattern or the Cognitive Stigmergy Service Components Ensemble [Puv12], are the most natural to describe the system. These patterns, as it can be found in their Context, describe systems composed of a large amount of components acting together, in which the components are simple and the envi- ronment is frequently changing. A number of studies confirm that through these patterns the system can achieve high performance (e.g. [PPC+13], [PCZ13]). An interesting aspect of this scenario is that a victim may be too heavy to be transported to safety by a single robot. Thus, cooperation among multiple robots is required. To achieve coordination, multiple alternatives are possible, spanning from leader-based to completely decentralized approaches. We maintain that a SOTA specification helps selecting the right approach. For example, in the Reactive Stigmergy Service Components Ensemble Pattern, the goals G and utilities U are treated disjointly from a component to another—each service component has its own goals and utilities: • Goals: GSC1 , GSC2 , . . . , GSCn • Utilities: USC1 = USC2 = . . . = USCn while, in a pattern whereby a direct coordination is needed to manage adaptation, they can be expressed as: