Marcos Salenko Guimarães, M. Cecilia C. Baranauskas, Eliane Martins



Safety-critical systems are systems whose failure would provoke injury or death to human beings. In avionic systems we have seen some significant evolution related to the aircraft cockpits. The Personal Air Vehicle (PAV) represents a new generation of small aircrafts being conceived to extend personal air travel to a much larger segment of the population proposing new concepts of interaction and communication in aviation. In this domain, communication is a critical factor especially among the users while running the system through its interfaces. This paper presents a technique for modelling and inspecting communication in the user interface of the avionics domain; a case study illustrates the proposal for artefacts of the PAV domain.


  1. Allen M. J., 2007. “Guidance and Control of an Autonomous Soaring UAV”, In NASA Technical Memorandum, NASA/TM-2007-214611, NASA.
  2. Baranauskas M. C. C., Salles J. P., Liu K., 2002. “Analysing Communication in the Context of a Software Production Organisation”. In 4th International Conference on Enterprise Information Systems, Kluwer Academic Publishers, 2002, pp 202- 209.
  3. Cafe Foundation, 2007. “Personal Air Vehicle”. Retrieved January 27, 2007, from
  4. Carver L. and Turoff M., 2007. “Human-Computer Interaction: The Human and Computer as a Team in Emergency Management Information Systems”. In Communications of the ACM, Vol. 50. No. 3. ACM Press.
  5. Cordeiro J., and Filipe J., 2004. “The Semiotic Pentagram Framework - A perspective on the use of Semiotics within Organisational Semiotics”. In Proceedings of the 7th International Workshop on Organisational Semiotics.
  6. Domino D. A., 2006. “Concept of Operations for the Use of Synthetic Vision System (SVS) Display During Precision Instrument Approach”. In Tech paper of MITRE. Retrieved October 11, 2007, from tech_papers_07/06_1230/06_1230.pdf.
  7. Glaab L. J., Kramer L. J., Arthur T., Parrish R. V., Barry J. S., 2003. “Flight Test Comparison of Synthetic Vision Display Concepts at Dallas/Fort Worth International Airport”. In NASA Technical Publication NASA/TP2003-212177. NASA.
  8. Guimarães M. S., Baranauskas M.C.C., Martins E., 2007. “A Communication-based Approach to Requirements Elicitation for Safety-Critical Systems”. In Proceedings of 10th International Conference on Organisational Semiotics, ICOS.
  9. Harrison, M., 2004. Aspects of Human Error: A brief introduction. In Workshop on Human Computer Interaction and Dependability. Retrieved May, 2, 2006, from /Workshops& Meetings/46/03-Harrison.pdf.
  10. Hewett, Baecker, Card, Carey, Gasen, Mantei, Perlman, Strong and Verplank, 2007. Curricula for HumanComputer Interaction, ACM SIGCHI Curricula for Human-Computer Interaction. Retrieved October 17, 2007, from ACM SIGCHI.
  11. Johnson, C. W., 2003. Failure in Safety-Critical Systems: A Handbook of Incident and Accident Reporting. Glasgow University Press.
  12. Liu, K., 2000. Semiotics in Information Systems Engineering, Cambridge University Press.
  13. Rong J., Theresa S. and Valasek J., 2005. “Small Aircraft Pilot Assistant: Onboard Decision Support System for SATS Aircraft”. In AIAA 5th Aviation, Technology, Integration, and Operations Conference, 26-28.
  14. Palanque, P., Paterno, F., Fields, R., 1998. Designing User Interfaces for Safety Critical Systems. In CHÚ98 workshop, ACM Press.
  15. Salles J. P., Baranauskas M. C. C. and Bigonha R. S., 2001. “Towards a communication model applied to the interface design process. In Knowledge-Based Systems, v. 18, n. 8, 455-459.
  16. Salles J. P., 2000. “O Modelo Fractal de Comunicação: Criando um Espaço de Análise para Inspeção do Processo de Design de Software”. In Tese de Doutorado, Departamento de Ciência da Computação, Universidade Federal de Minas Gerais.
  17. Schnell T., Lemos K., and Etherington T., 2002. “Terrain Sampling Density, Texture, and Shading Requirements for SVIS”.In Final Report to the Iowa Space Grant Consortium.
  18. Stamper R. K., 1993. “Social Norms in requirements analysis - an outline of MEASUR”. In Requirements Engineering, Technical and Social Aspects. Academic Press.
  19. Stamper R. K., 1973. Information in Business and Administrative Systems, John Wiley and Sons Inc.
  20. Young S. D. and Quon L., 2006. “Aviation Safety Program, Integrated Intelligent Flight Deck, Technical Plan Summary". Retrieved October 17, 2007, from plan_c1.pdf.

Paper Citation

in Harvard Style

Salenko Guimarães M., Cecilia C. Baranauskas M. and Martins E. (2008). COMMUNICATION-BASED MODELLING AND INSPECTION IN CRITICAL SYSTEMS . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 5: ICEIS, ISBN 978-989-8111-40-1, pages 215-220. DOI: 10.5220/0001693902150220

in Bibtex Style

author={Marcos Salenko Guimarães and M. Cecilia C. Baranauskas and Eliane Martins},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 5: ICEIS,},

in EndNote Style

JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 5: ICEIS,
SN - 978-989-8111-40-1
AU - Salenko Guimarães M.
AU - Cecilia C. Baranauskas M.
AU - Martins E.
PY - 2008
SP - 215
EP - 220
DO - 10.5220/0001693902150220