Actas - ISSI - Universidad Politécnica de Valencia

More documents

Recommendations

Info

V Jornadas de Trabajo Dynamica (Alvarez et al. 2006b) Bárbara Álvarez, Pedro Sánchez, Juan A. Pastor, Francisco Ortiz, An Architectural Framework for Modeling Teleoperated Service Robots, ISSN: 0263-5747, Robotica Journal, Vol.4(4), pp. 411-418, Cambridge University Press, July 2006. (Fernandez et al. 2005) C. Fernández, J.A. Pastor, P. Sánchez, B. Álvarez, A. Iborra, Ship Shape in Europe: Co-operative Robots in the Ship Repair Industry, Robotics and Automation Magazine (RAM), Special issue on Industrial Robotics Applications & Industry-Academia Cooperation in Europe. New Trends and Perspectives, Vol. 12(2), pp.65-77, september 2005, IEEE Robotics And Automation Society, USA. (Navarro et al. 2004) Elena Navarro, Patricio Letelier, Isidro Ramos, Bárbara Álvarez, Especificación de requisitos software basada en características de calidad, separación de concerns y orientación a objetivos, IX Jornadas en Ingeniería del Software y Bases de Datos (JISBD’04). (Navarro et al. 2005) Elena Navarro, Pedro Sánchez, Patricio Letelier, Juan A. Pastor, Isidro Ramos, Sistematizando la Especificación de Requisitos Safety: un Caso de Estudio sobre aplicaciones teleoperadas, IV Jornadas de enseñanza vía Internet/Web de la Ingeniería de Sistemas y Automática (EIWISA 2005), ISBN: 84-9732-451-X, Granada, España. (Navarro et al. 2006) E. Navarro, P. Sánchez,P. Letelier, Juan A. Pastor, I. Ramos, A Goal- Oriented approach for Safety Requirement Specifications, Proc. of the 13th Annual IEEE International Symposium on Engineering of Computer based systems, Postdam, Germany, pp.319-326, IEEE Computer Society, USA 2006. (Ortiz et al. 2005) Francisco Ortiz, Bárbara Álvarez, Fernando Losilla, David Rodriguez, Noelia Ortega. An implementation of a teleoperated robot control architecture on a PLC and Field-Bus based platform reference, XVI IFAC World Congress, Praga 2005. (Ortiz et al. 2006) Ortiz F, Sánchez P, Alonso D, Álvarez B, Pastor JA, Iborra A, Aplicación de Estándares y Procesos de Seguridad en el Desarrollo de Robots de Servicio Teleoperados. XVII Jornadas de Automática. Almería, España, 6-9 febrero 2006, pag. 771-779, 2006. (Pastor et al. 2004) J.A. Pastor, B. Alvarez, P. Sánchez, F. Ortiz, A Layered Architectural Component Model for Service Teleoperated Robots, pág. 435-446, IX Jornadas Nacionales de Ingeniería del Software y Bases de Datos, ISBN 84-688-8983-0, Málaga, Noviembre 2004. (Pastor et al. 2004b) Juan A. Pastor, Pedro Sánchez, Bárbara Álvarez, Requisitos funcionales de los sistemas robóticos teleoperados. Informe técnico Proyecto CICYT ANCLA, Ref. ANCLA-02-2004., 2004. (Pastor et al. 2005) Juan A. Pastor, Pedro Sánchez, Bárbara Álvarez, Francisco Ortiz, Escenarios de Variabilidad de los Sistemas Robóticos Teleoperados. Informe técnico Proyecto CICYT ANCLA, Ref. ANCLA-08-2005. Enero de 2005. (Pérez et al. 2003) J. Pérez, N. Hussein, I. Ramos, J.A. Pastor, Pedro Sánchez, B. Alvarez, Desarrollo de un Sistema de Teleoperación utilizando el enfoque PRISMA. VIII Jornadas de Ingeniería del Software y Bases de Datos, páginas 411-420, ISBN 84-688-3836-5, Alicante, Noviembre 2003. 46
Proyecto ANCLA: resumen de aportaciones, resultados y conclusiones (Pérez et al. 2004) Pérez J., Cabedo R., Sánchez P., Carsí J.A., Ángel J., Ramos I., Álvarez B. Arquitectura PRISMA para el Caso de Estudio: Brazo Robot Actas del II workshop DYNAMICA – DYNamic and Aspect-Oriented Modeling for Integrated Component-based Architectures, pags. 119-127, junto a Jornadas de Ingeniería del Software y Bases de Datos (JISBD), Málaga, noviembre 2004. (Sánchez et al. 2005) Pedro Sánchez, Juan A. Pastor, Bárbara Álvarez, Francisco Ortiz, Requisitos Safety para el Sistema EFTCoR, Informe técnico Proyecto CICYT ANCLA, Ref. ANCLA-06-2005, 2005. (Sánchez et al. 2005b) Pedro Sánchez, Francisco Ortiz, Juan A. Pastor, Bárbara Álvarez, Arquitectura de Componentes para el robot escalador Lázaro y su representación en el lenguaje PRISMA, Informe técnico Proyecto CICYT ANCLA, Ref. ANCLA-10-2005, 2005. (Vicente et al. 2004) Cristina Vicente, Carlos Fernández y Pedro Sánchez, Automated Visual Inspection Systems Development from a Generic Architectural Pattern Description, Novática, Volumen 171, pp.63-65, Octubre 2004. (Vicente et al. 2004b) Cristina Vicente, Carlos Fernández, Pedro Sánchez, Sistemas de inspección Visual Automatizada: de la arquitectura sw genérica a la generación de prototipos ejecutables. pag. 515-522. IX Jornadas Nacionales de Ingeniería del Software y Bases de Datos, ISBN 84-688-8983-0, Málaga, Noviembre 2004. (Vicente et al. 2006) Cristina Vicente, Ana Toledo, Carlos Fernández, Pedro Sánchez, Generación Automática de Aplicaciones Mixtas Sw/Hw mediante la Integración de Componentes COTS. IEEE América Latina, pp. 25-31, vol.4(2), Abril, 2006. 6. Referencias 1 Coste-Manière, E. & Simmons, R., 2000. Architecture, the Backbone of Robotic System, Proc. of the 2000 IEEE International Conference on Robotics & Automation, pp. 505-513, April 2000, San Francisco, USA. 2 Bruyninckx, H., Konincks, B. & Soetens, P.,2002. A Software Framework for Advanced Motion Control, Dpt. of Mechanical Engineering, K.U. Leuven. OROCOS project inside EURON. Belgium. 3 Scholl, K.U. Alb iez, J. & Gassmann, B.,2001. MCA: An Expandable Modular Controller Architecture, Karlsruhe University, 3rd Real-Time Linux Workshop, Milano, Italy. 4.. Shaw, M. & Garlan B.,1996. Software Architecture : Perspective on a emerging discipline. Prentice Hall, ISBN 0131829572, 0New Jersey, USA. 5..Volpe, R.; Nesnas, I.; Estlin, T.; Mutz, D.; Petras, R.; and Das, H.,2001. The CLARAty architecture for robotic autonomy. In IEEE Proceedings., ed., Aerospace Conference, vol. 1, pp 121-132, 2001 Montana, USA. 47
Page 1: V Jornadas de Trabajo DYNAMICA (DYN
Page 4 and 5: Editores Jennifer Pérez Departamen
Page 6 and 7: Subproyectos y Grupos Participantes
Page 9 and 10: Índice Artículos Towards a Data Q
Page 11 and 12: ARTÍCULOS
Page 13 and 14: Towards a Data Quality Framework fo
Page 21 and 22: References Towards a Data Quality F
Page 23 and 24: PtSM: Modelo de Selección de Portl
Page 27 and 28: Fiabilidad Usabilidad Eficiencia Re
Page 33 and 34: Proyecto ANCLA: resumen de aportaci
Page 45: Proyecto ANCLA: resumen de aportaci
Page 49 and 50: Perspectivas de futuro del desarrol
Page 59 and 60: Verificación de Propiedades de Dom
Page 71 and 72: Selección de componentes basada en
Page 83 and 84: Esquemas de control PID para una ma
Page 93 and 94: Ambient-PRISMA: Ambients in Distrib
Page 95 and 96: Ambient-PRISMA: Ambients in Distrib
Page 97 and 98:
Ambient-PRISMA: Ambients in Distrib
Page 99 and 100:
Page 101 and 102:
Page 103 and 104:
Coordinación y Acceso a Informaci
Page 105 and 106:
Page 107 and 108:
Page 109 and 110:
Hacia la Construcción de Arquitect
Page 111 and 112:
2. El modelo PRISMA Hacia la Constr
Page 113 and 114:
Page 115 and 116:
Page 117 and 118:
5. Conclusiones y trabajos futuros
Page 119 and 120:
Page 121 and 122:
Introducción al Cálculo-π con Pr
Page 123 and 124:
es la primera ocasión en la que se
Page 125 and 126:
α-Conversión [x]P ≡ [y]P{y/x}
Page 127 and 128:
En la versión de este cálculo que
Page 129 and 130:
I(α. P) = {α} I(!P) = I(P) I((ν
Page 131 and 132:
en el conjunto inicial de acciones
Page 133 and 134:
Introducción al Cálculo-Pi con Pr
Page 135 and 136:
Introducción al Cálculo-Pi con Pr
Page 137 and 138:
DEMOSTRACIONES 137
Page 139 and 140:
PRISMA CASE ♦ PRISMA CASE Jennife
Page 141 and 142:
MOMENT: una herramienta de Gestión
Page 143 and 144:
LUNA+: Un entorno para validación
Page 145 and 146:
Una herramienta visual para la gene
Page 147 and 148:
MDHDM:Un Método de Desarrollo de H
Page 149 and 150:
Índice de Autores Ali Nour, 93 Alo
show all

Actas - ISSI - Universidad Politécnica de Valencia

Create successful ePaper yourself

Delete template?

Save as template?