Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Property specification pa… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Property specification patterns for robotic missions

Paper i proceeding
Författare Claudio Menghi
Christos Tsigkanos
Thorsten Berger
Patrizio Pelliccione
Carlo Ghezzi
Publicerad i ICSE '18 Proceedings of the 40th International Conference on Software Engineering
ISSN 02705257
Publiceringsår 2018
Publicerad vid Institutionen för data- och informationsteknik (GU)
Språk en
Länkar https://dl.acm.org/citation.cfm?doi...
Ämneskategorier Systemvetenskap, informationssystem och informatik, Datorseende och robotik (autonoma system)

Sammanfattning

© 2018 Authors. Engineering dependable software for mobile robots is becoming increasingly important. A core asset in engineering mobile robots is the mission specification-A formal description of the goals that mobile robots shall achieve. Such mission specifications are used, among others, to synthesize, verify, simulate, or guide the engineering of robot software. Development of precise mission specifications is challenging. Engineers need to translate the mission requirements into specification structures expressed in a logical language-A laborious and error-prone task. To mitigate this problem, we present a catalog of mission specification patterns for mobile robots. Our focus is on robot movement, one of the most prominent and recurrent specification problems for mobile robots. Our catalog maps common mission specification problems to recurrent solutions, which we provide as templates that can be used by engineers. The patterns are the result of analyzing missions extracted from the literature. For each pattern, we describe usage intent, known uses, relationships to other patterns, and-most importantly-A template representing the solution as a logical formula in temporal logic. Our specification patterns constitute reusable building blocks that can be used by engineers to create complex mission specifications while reducing specification mistakes. We believe that our patterns support researchers working on tool support and techniques to synthesize and verify mission specifications, and language designers creating rich domain-specific languages for mobile robots, incorporating our patterns as language concepts.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?

Denna text är utskriven från följande webbsida:
http://www.gu.se/forskning/publikation/?languageId=100000&disableRedirect=true&returnUrl=http%3A%2F%2Fwww.gu.se%2Fenglish%2Fresearch%2Fpublication%2F%3FtipFriend%3Dtrue%26tipUrl%3Dhttp%253A%252F%252Fwww.gu.se%252Fenglish%252Fresearch%252Fpublication%252F%253Fprint%253Dtrue%2526publicationId%253D269909%26print%3Dtrue%26publicationId%3D269909&tipFriend=true&tipUrl=http%3A%2F%2Fwww.gu.se%2Fenglish%2Fresearch%2Fpublication%2F%3Fprint%3Dtrue%26publicationId%3D269909&publicationId=269909
Utskriftsdatum: 2019-10-21