Conference
PsALM: Specification of Dependable Robotic Missions
Abstract
Engineering dependable software for mobile robots is becoming increasingly important. A core asset to engineering mobile robots is the mission specification – a description of the mission that mobile robots shall achieve. Mission specifications are used, among others, to synthesize, verify, simulate or guide the engineering of robot software. However, development of precise mission specifications is challenging, as engineers need to translate …
Authors
Menghi C; Tsigkanos C; Berger T; Pelliccione P
Volume
00
Pagination
pp. 99-102
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
May 31, 2019
DOI
10.1109/icse-companion.2019.00048
Name of conference
2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)