HAMSTERS (which stands for Human-centered Assessment and Modeling to Support Task Engineering for Resilient Systems) is a task modeling language with a supporting tool. It is widely inspired by existing notations and tools and takes advantages from all of them. More information is available at: http://www.irit.fr/recherches/ICS/softwares/hamsters/.

Since June 2012, ICS team is working on MARACCASS project (Models and Architectures for the Resilience and Adaptability of Collaborative Collision Avoidance System for Spacecraft). This project is funded by CNES and aims at investigating about appropriate ways to design and develop collaborative applications to manage collision avoidance between satellites and space objects. One of the main objectives is to extend HAMSTERS notation so that it can provide support for the description of collaborative activities.


The notation and tool have been used for the following contributions:

|Conférence| Célia Martinie, Philippe Palanque, David Navarre, Eric Barboni. A Tool-Supported Training Framework for Improving Operators. Dependability Confronted with Faults and Errors. Probabilistic Safety Assessment (PSAM11 & ESREL 2012), Helsinki, Finland, June 25-29 2012, Taylor & Francis Group.

| Conférence | Célia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Eric Rigaud, Sara Silvagni. Using Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems' Variability. 2nd International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2012), London, UK, May 28-31, 2012.

|Chapitre de livre| David Navarre, Philippe Palanque, Célia Martinie, Marco Winckler and Sandra Steere. Formal Description Techniques for Human-Machine Interfaces - ModelS-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems. In The Handbook of Human-Machine Interaction, A Human-Centered Approach, Edited by Guy A. Boy, Florida Institute for Human and Machine Cognition, USA, Ashgate, ISBN: 978-0-7546-7580-8

| Chapitre de livre | Philippe Palanque, Marco Winckler, Célia Martinie. A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces. In: Model-Driven Development of Advanced User Interfaces . Hussmann, H., Meixner, G. & Zuehlke, D. (Eds.). Springer, Studies in Computational Intelligence Series, Vol. 1061., ISBN: 978-3-642-14561-2.

| Conférence | Célia Martinie, Philippe Palanque, Eric Barboni, Martina Ragosta. Task-Model Based Assessment of Automation Levels: Application to Space Ground Segments. IEEE International Conference on Systems, Man and Cybernetics, Anchorage, 09/10/2011-12/10/2011, IEEE Computer Society - Conference Publishing Services, 2011.

| Conférence | Célia Martinie, Philippe Palanque, Eric Barboni, Marco Antonio Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi. Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs. International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelona, Spain, May 26-27, IRIT Press, 2011.

| Conférence | Célia Martinie, Philippe Palanque, Marco Antonio Winckler. Structuring and Composition Mechanism to Address Scalability Issues in Task Models. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011), Lisboa, Portugal, 05/09/2011-09/09/2011, Springer, 2011.

| Conférence | Célia Martinie, Philippe Palanque, Marco Winckler, David Navarre & Erwann Poupart. Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments. ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2011), Pise, Italy, 13/06/2011-16/06/2011, ACM SIGCHI, 2011.

| Conférence | Eric Barboni, Jean-François Ladry, David Navarre, Philippe Palanque and Marco Winckler Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models. In proceedings of ACM Symposium on Engineering Interactive Systems (EICS'2010), June 19-23, 2010, Berlin, Germany. Pages: 165-174

| Conférence | Célia Martinie, Philippe Palanque, David Navarre & Marco Winckler A formal approach supporting effective and efficient training program for improving operators' reliability. Safety and Reliability for managing Risk (ESREL 2010), Rhodes Grece, 05/09/2010-09/09/2010, Taylor & Francis Group, p. 234-243, 2010.