The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 45 of 830
Back to Result List

Game-Based model checking for reliable autonomy in space

  • Autonomy is an emerging paradigm for the design and implementation of managed services and systems. Self-managed aspects frequently concern the communication of systems with their environment. Self-management subsystems are critical, they should thus be designed and implemented as high-assurance components. Here, we propose to use GEAR, a game-based model checker for the full modal mu-calculus, and derived, more user-oriented logics, as a user friendly tool that can offer automatic proofs of critical properties of such systems. Designers and engineers can interactively investigate automatically generated winning strategies resulting from the games, this way exploring the connection between the property, the system, and the proof. The benefits of the approach are illustrated on a case study that concerns the ExoMars Rover.

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen
DOI:https://doi.org/10.2514/1.32013
ISSN:1940-3151
Title of parent work (English):Journal of aerospace computing, information, and communication
Publisher:American Institute of Aeronautics and Astronautics
Place of publishing:Reston
Publication type:Article
Language:English
Year of first publication:2011
Publication year:2011
Release date:2017/03/26
Volume:8
Issue:4
Number of pages:15
First page:100
Last Page:114
Funding institution:European Union [IST-2006-35157]
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
Peer review:Referiert
Institution name at the time of the publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.