CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

A generated property specification language for resilient multirobot missions

Dragule Swaib (Institutionen för data- och informationsteknik (Chalmers)) ; B. Meyers ; Patrizio Pelliccione
Lecture Notes in Computer Science - 9th International Workshop on Software Engineering for Resilient Systems, SERENE 2017, Geneva, Switzerland, 4-5 September 2017 (0302-9743). Vol. 10479 (2017), p. 45-61.
[Konferensbidrag, refereegranskat]

The use of robots is gaining considerable traction in several domains, since they are capable of assisting and replacing humans for everyday tasks. To harvest the full potential of robots, it must be possible to define missions for robots that are domain-specific, resilient, and collaborative. Currently, robot vendors provide low-level APIs to program such missions, making mission definition a task-specific and error-prone activity. There is a need for quick definition of new missions, by users that lack programming expertise, such as farmers and emergency workers. In this paper, we extend the existing FLYAQ platform to support the high-level specification of adaptive and highly-resilient missions. We present an extensible specification language that allows users to declaratively specify domain-specific constraints as properties of missions, thus complementing the existing FLYAQ mission language. This permits to move at runtime, the actual generation of low-level operations to satisfy the declaratively specified mission. We show how this specification language can be automatically generated from a domain-specific FLYAQ mission language by using the generative ProMoBox approach. Next, we show how mission goals are achieved taking mission properties into account, and how missions may change due to unexpected circumstances.

Nyckelord: Cyber-physical systems, Domain-specific languages, Model-driven engineering, Resilient systems, Robotics

Denna post skapades 2017-09-20.
CPL Pubid: 252013


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik (Chalmers)


Datavetenskap (datalogi)

Chalmers infrastruktur