Incremental component-based construction and verification of a robotic system

Frontiers in Artificial Intelligence and Applications

Volumn 178, Issue , 2008, Pages 631-635

  Basu, Ananda ^a   Gallien, Matthieu ^b   Lesire, Charles ^b   Nguyen, Thanh Hung ^a   Bensalem, Saddek ^a   Ingrand, Félix ^b   Sifakis, Joseph ^a  

^a VERIMAG   (France)

^b UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

REAL TIME SYSTEMS;

COMPONENT FRAMEWORK; COMPONENT-BASED CONSTRUCTION; CRITICAL SYSTEMS; ESSENTIAL SAFETIES; FUNCTIONAL LEVELS; HETEROGENEOUS SOFTWARE; REAL TIME CONSTRAINTS; ROBOTIC SYSTEMS; SAFETY PROPERTY; SOFTWARE-COMPONENT;

ROBOTS;

EID: 84988555120     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-58603-891-5-631     Document Type: Conference Paper

References (18)

1. R. Alami, R. Chatila, S. Fleury, M. Ghallab, and F. Ingrand, ‘An architecture for autonomy’, IJRR, Special Issue on Integrated Architectures for Robot Control and Programming, 17(4), (1998).
2. A. Basu, M. Bozga, and J. Sifakis, ‘Modeling heterogeneous real-time components in BIP’, in SEFM, Pune, India, (2006).
3. E. M. Clarke and E. A. Emerson, ‘Synthesis of synchronization skeletons for branching time temporal logic’, in Workshop on Logic of Programs, Yorktown Heights, NY, USA, (1981).
4. N. Eén and N. Sörensen, ‘An extensible SAT−solver’, in SAT, Portofino, Italy, (2003).
5. A. Finzi, F. Ingrand, and N. Muscettola, ‘Robot action planning and execution control’, in IWPSS, Darmstadt, Germany, (2004).
6. enoM: A tool for the specification and the implementation of operating modules in a distributed robot architecture’, in IROS, Grenoble, France, (1997).
7. G. Goessler and J. Sifakis, ‘Component-based construction of deadlock-free systems’, in FSTTCS, Bombay, India, (2003).
8. R. P. Goldman and D. J. Musliner, ‘Using model checking to plan hard real-time controllers’, in AIPS Workshop on Model-Theoretic Approaches to Planning, Breckenridge, CO, USA, (2000).
9. P. Kim, B. C. Williams, and M. Abramson, ‘Executing reactive, model-based programs throgh graph-based temporal planning’, in IJCAI, Seattle, WA, USA, (2001).
10. R. Mateescu and M. Sighireanu, ‘Efficient on-the-fly model-checking for regular alternation-free mu-calculus’, Technical Report 3899, IN-RIA Rhône-Alpes, France, (2000).
11. C. McGann, F. Py, K. Rajan, H. Thomas, R. Henthorn, and R. McEwen, ‘T-REX: A deliberative system for AUV control’, in ICAPS WS on Planning and Plan Execution for Real-World Systems, Providence, RI, USA, (2007).
12. I.A. Nesnas, A. Wright, M. Bajracharya, R. Simmons, and T. Estlin, ‘CLARAty and challenges of developing interoperable robotic software’, in IROS, Las Vegas, NV, USA, (2003).
13. M. Phalippou, ‘Executable testers’, in IWPTS, Tokyo, Japan, (1994).
14. F. Py and F. Ingrand, ‘Dependable execution control for autonomous robots’, in IROS, Sendai, Japan, (2004).
15. J-P. Queille and J. Sifakis, ‘Specification and verification of concurrent systems’, in Int. Symposium on Programming, Torino, Italy, (1982).
16. R. Simmons, C. Pecheur, and G. Srinivasan, ‘Towards automatic verification of autonomous systems’, in IROS, Takamatsu, Japan, (2000).
17. J. Tretmans, ‘A formal approach to conformance testing’, in IWPTS, Tokyo, Japan, (1994).
18. B. C. Williams, M. D. Ingham, S. Chung, P. Elliott, M. Hofbaur, and G. T. Sullivan, ‘Model-based programming of fault-aware systems’, Artificial Intelligence, 24(4), (2003).