PROYECTOS EN TECNOLOGÍAS DE LA INFORMACIÓN

Size: px
Start display at page:

Download "PROYECTOS EN TECNOLOGÍAS DE LA INFORMACIÓN"

Transcription

1 MINISTERIO DE CIENCIA Y TECNOLOGÍA SECRETARÍA DE ESTADO DE POLÍTICA CIENTÍFICA Y TECNOLÓGICA DIRECCIÓN GENERAL DE INVESTIGACIÓN SUBDIRECCIÓN GENERAL DE PROYECTOS DE INVESTIGACIÓN JORNADAS DE SEGUIMIENTO PROYECTOS EN TECNOLOGÍAS DE LA INFORMACIÓN DESCRIPCIÓN DE RESULTADOS Referencia del proyecto: Título: Investigador principal: Dirección de contacto: TIC C03 Desarrollo integrado de sistemas integrados distribuidos Juan Antonio de la Puente Alfaro ETSI Telecomunicación UPM Ciudad Universitaria s/n Madrid Se trata de un proyecto coordinado? Sí Subproyecto 1: Investigador principal: Dirección de contacto: Subproyecto 2: Investigador principal: Dirección de contacto: Subproyecto 3: Investigador principal: Dirección de contacto: TIC C03-01 Juan Antonio de la Puente Alfaro DIT, ETSI Telecomunicación UPM Ciudad Universitaria s/n Madrid TIC C03-02 Joan Vila Carbó DISCA-EUI; Universitat Politécnica de Valencia Camí de Vera s/n Valencia TIC C03-03 Michael González Harbour Dep. Electrónica y Computadores, Univ. De Cantabria Avda. de los Castros s/n Santander

2 1. PROJECT OBJECTIVES The global aim of the project is to make progress in defining methods and building tools for developing distributed embedded systems in an integrated fashion. Different abstraction levels are considered, including operating systems, distributed object platforms, and architectural design. More in detail, the following kinds of results are expected: Real time operating systems o Real-time kernels for minimal embedded real-time systems (POSIX.13 PSE-50). o Real-time kernels for high-integrity embedded real-time systems (ISO 15942) o Run-time support and development toolkit for embedded systems based on RT-Linux. o Support for quality of service in real-time multimedia systems. Distributed object technology o Run-time support for distributed object platforms o Java virtual machine for CORBA / POSIX platforms o Distributed object technology for telecommunication services management. Software architectures o UML adaptation to real-time systems modelling o Methodological guidelines for embedded systems development with UML o Temporal analysis tools for UML-based design environments o Component-based development methods for embedded systems o Architectural styles and reference architectures for real-time systems 2. LEVEL OF SUCCESS Significant results have already been achieved in most of the above objective areas, with no special difficulties in any of them. Some of these areas have benefited from synergy from other concurrent projects. The next paragraphs describe in detail the most important results within each of the above target areas. 2.1 Real-time operating systems Real-time kernels for minimal embedded real-time systems (POSIX.13 PSE-50). A real-time kernel for small embedded systems called MaRTE OS (Minimal Real-Time Operating System for Embedded Applications) has been developed by the UC team. It is a real-time kernel for embedded applications that follows the Minimal Real-Time POSIX.13 subset, providing both the C and Ada language POSIX interfaces. It allows crossdevelopment of Ada and C real-time applications. Mixed Ada-C applications can also be developed, with a globally consistent scheduling of Ada tasks and C threads. Performance metrics have shown the kernel to be extremely efficient. The kernel has been distributed as free software, and is being used by several institutions in the US and in Europe. It is also being used as an educational tool for practicing with the development of POSIX-compliant real-time applications. MaRTE OS has been implemented for a bare PC (386 processor or above). It is currently being ported to a Motorola 683XX microcontroller. In addition, MaRTE OS is being extended with a set of services for user-defined scheduling that will enable application developers to use their own scheduling policies, and not just those defined in the standard. A proposal for incorporating these services into the POSIX standard has been made and is currently being discussed by the POSIX real-time working group.

3 Real-time kernels for high-integrity embedded real-time systems (ISO 15942). The main result in this area is the Open Ravenscar Real-Time Kernel (ORK), an opensource implementation of the Ravenscar profile 1 for the SPARC-v7 and PC architectures which has been developed by the UPM team. The kernel is part of an integrated development environment based on the GNAT compilation system and the GDB/DDD debugging tools which is available under a GPL licence. An Ada cross-compilation system for MC68000 targets based on the RTEMS kernel is also under development. Run-time support and development toolkit for embedded systems based on RT-Linux. The first result in this area is minimal distribution of Linux with a series of features for embedded and real-time operation which has been developed by the UPV team. Some minor features and a well organized distribution accessible via web are still pending. A graphical tool that defines and guides the whole process development of an embedded system under RT-Linux has also been implemented by the same team. Some refinements to this process and extensive debugging are still required. Other results include some scheduling extensions and a CAN driver for RT-Linux. The scheduling extensions allow designers to structure complex real-time tasks into a sequence of mandatory and optional components which are scheduled in two levels. A computational model for a software architecture based on this tow-level decomposition has also been developed. Finally, new mode change protocols for real-time systems are being investigated in this framework. Support for quality of service in real-time multimedia systems. A quality of service manager architecture has been designed and implemented by the UPM team. Its operating principles are based on the idea of negotiating QoS levels and resource assignments with multimedia applications. The QoS requirements are translated to the operating systems mechanisms so that the level of resources of each application is guaranteed, and the performance of the system is monitored in order to optimize its operation. Iin relation to this subject, the UPV team has worked on a study of optimal bandwidth and buffer reservation in real-time transmission. This is a contribution related to the techniques of estimating resource reservation for achieving a given QoS. It has been done only for the case of Mpeg transmissions, but some generalization of this technique to embedded systems for multimedia purposes is expected Distributed object technology Run-time support for distributed object platforms Support for Java objects in RT-Linux: Some different profiles of minimal distributions of Java have been adapted for RT-Linux by the UPV team. The degree of achievement of this goal is only of 50% because no real-time features have been still considered in this development. 1 The Ravenscar profile is a subset of Ada tasking for high-integrity systems. It is currently part of the ISO guidelines for high-integrity Ada software.

4 Java virtual machine for CORBA / POSIX platforms Although the development of a Java Virtual Machine on top of MaRTE OS had been planned by the UC team for starting in mid-2000, we have delayed this task until 2002 because the community is still developing a standard for real-time Java, that will have a deep impact in our work. Two different approaches are being followed, and two different real-time Java proposals have appeared recently. The use of Java for the implementation of end user access application from terminals with limited capacity or performance (PDA s, cellular phones, etc.) has been investigated by the UPM team. A minimum ORB conforming to CORBA specifications has been implemented for smart cards supporting Java (Cyberflex Access Javacard). Distributed object technology for telecommunication services management. A first set of results in this area refer to life cycle management for users and services. Life cycles for advanced telecom services, as well as subscribers and end users, have been formalised using UML diagrams by the UPM team. The emphasis is in the exploitation phase and the characterisation of general and service specific attributes for the service life cycle management, and on attributes that characterise users and subscribers in the context of the business model. CORBA based applications for service template management and for subscription management have been developed in this framework. A full blown prototype integrating service and subscription management together with front end components to access and service session subsystems has been designed, implemented and validated. Other results are related to configuration management for service nodes and user terminals. First, a feasibility study for the use of object-oriented programming languages has been performed. A UML profile for the specification of configuration management information models has been designed. The UML profile is suitable for the specification and instrumentation of configuration management in services and applications implemented as CORBA based distributed components. A CORBA based prototype for the configuration management of advanced component based telecom services has been implemented. Emphasis has been put on deployment, activation/deactivation, component properties and security. The implementation includes a CORBA compliant event service implemented by DIT-UPM for the integration of subsystems and components within the configuration management system. Finally, security requirements for distributed component based services and applications are being identified. The CORBA security service specification is been considered for the implementation of these security requirements 2.3. Software architectures UML adaptation to real-time systems modelling A new UML profile for real-time systems, called PPOOA, has been developed by UPM. It includes two kinds of extensions of the UML meta-model. The first one is a new modelling element called CFA (Causal Flow of Activities) that models a response to an event as a chain of activities. The UML meta-model has also been extended to include new component stereotypes supporting explicit concurrency, such as periodic and aperiodic processes and different kinds of coordination mechanisms. These components have attributes which can be used to characterize the temporal response of real-time systems. The PPOOA profile has been implemented on CASE prototype tool. Some difficulties have been encountered with on-going evolution of the UML standard.

5 Methodological guidelines for embedded systems development with UML Design guidelines for real-time architectures and components are under development by the UPM team. The guidelines provide help in identifying and selecting software components, as well as modelling the above described CFA elements. Temporal analysis tools for UML-based design environments The UC team has developed a model for representing the temporal and logical elements of real-time applications, called MAST. This model allows a very rich description of the system, including the effects of event or message-based synchronization, multiprocessor and distributed architectures as well as shared resource synchronization. The model is directly obtainable from a description of the system design using a UML tool. A system representation using this model is analyzable through a set of tools that has been developed within the MAST suite, including worst-case schedulability analysis for hard timing requirements, and discrete-event simulation for soft timing requirements. Although the current model only includes fixed priority systems, it is conceived as an open model and is easily extensible to accommodate other kinds of systems. The tools that are already available allow schedulability analysis and priority assignment for distributed real-time applications built under the so-called linear model. These tools have been distributed as free software. We are currently finishing the MAST toolset adding into it the discrete-event simulation capability as well as support for the schedulability analysis of systems modelled under the multiple-event model. In addition, we have developed a methodology and a framework for building an analyzable real-time model of an object-oriented system using a UML CASE tool. The real-time model is formulated by a new UML view named "MAST_RT_View". This view allows the designer to gradually build the real-time model according to the phase of the development process, to feed data into the analysis tools, and to bring the relevant timing responses back into the model. The MAST_RT_View has three models: the processing capacity of the hardware/ software platform; the timing behavior of the application logical components; and the workload and the timing requirements of each real-time situation to be analyzed. This view is analyzable by the MAST set of tools. Component-based development methods for embedded systems A set of guidelines and attributes have been defined for a proper definition of software components has been develop dby the UPM team, with especial focus on non-functional or quality aspects. In addition, standard notations (with full compatibility to the standard UML) have been selected. Several models or views of UML are dealt with. Operational methods for the identification of software components from legacy software have been experimented. These methods are based on measurement of cohesion and coupling indicators, and on the clustering of software elements in order to maximize cohesion. The degree of advancement of the task is 35%. Operational methods for testing of components and systems built on them are being studied. Very specially, the degree of coverage of system requirements with respect to the components used is under way. The task is at 70%. Based on the description of components, and restrictions and decisions for the system architecture, a method and tool implementation for selection of the proper set of components has been produced. The task advancement is 85%. Architectural styles and reference architectures for real-time systems The UC team has defined a reference architecture for industrial controllers based on the PINROB interface, as a portable interface for industrial robots. In this architecture each element is defined as a software component that includes all the information necessary to perform a schedulability analysis using the UML-MAST modelling technique. An application

6 involving several robots, sensors and machines can be easily defined using the defined components. We are currently in the process of implementing the fundamental components that have been defined, in order to demonstrate this technology. A two level architecture and scheduling model for developing the software of an autoguided vehicle under RT-Linux has been defined by the UPV team. The degree of accomplishment of this goal is 70%. A newer version of this software including aperiodic tasks is now under development. A reference software architecture for embedded multimedia systems has been developed by the UPM team. The architecture has been designed with an emphasis on QoS management, and is currently being assessed and improved. 3. RESULTS 3.1 Doctoral dissertations A total of 5 Doctoral Thesis have been presented during the project, and three more are scheduled to be defended in the next moths. Some others are expected to be presented in 2002 (see appendix for the details) Publications A total of 47 papers have been published or accepted for publication in the framework of the project (see appendix for the details). 3.3 Technology transfer The GNAT/ORK compilation system is being evaluated by a number of companies working for the European Space Agency (ESA). In particular, the Astrium group has selected this environment for the pre-development project of the Galileo Navigation Signal Generator Unit. Some dissemination activities related to the MARTE kernel and the MAST evironment have been performed: o The following tutorial was given at an international conference: González Harbour, M., Tutorial: Real-Time POSIX. International Conference on Reliable Software Technologies, Ada-Europe'2000, Potsdam, Germany, Junio, The following invited talks have been given on the technologies developed within this project: o "MAST: Entorno para el modelado y análisis de aplicaciones de tiempo real", Universidad de Málaga, Septiembre o "MARTE: Implementación mínima de POSIX de tiempo real para aplicaciones empotradas", Universidad de Málaga, Septiembre o "MaRTE OS: A Minimal Real- Time POSIX OS for Embedded Applications", Vasteras University, Suecia, Diciembre o "Schedulability Analysis of distributed systems, MAST", European Space Agency (ESA-ESTEC), Noordwijk, Holanda, Junio o "Real-Time POSIX, MarteOS", European Space Agency (ESA-ESTEC), Noordwijk, Holanda, Junio The UC group has been actively participating in the POSIX real-time working group and has proposed an interface for application-defined scheduling based on the results of this project, to be included in a future revision of the ISO/IEC standard.

7 3.4 Other national and international projects CARTS - Computer Aided Architectural Analysis of Real-Time Systems. IST Programme, ESAPS - Engineering Software Architecture, Processes and Platforms for System-Families. ITEA Low-Cost On-Board Software Development Toolkit. ESA/ESTEC OBOSS - Experimental Assessment of Value Added to Software Reuse by Ada 95 Technology. ESA/ESTEC Open Ravenscar Real-Time Kernel. ESA/ESTEC Quality of Service for Trimedia Applications. Philips Research, Collaboration Contact and information exchange with Schlumberger (France), provider of Cyberflex Javacards, regarding the implementation of the CORBA compliant minimum ORB for smart cards. Contact and information exchange with Lucent Technologies (Spain) regarding the implementation of the CORBA compliant event service implemented for the configuration management system. Lucent Technologies partly funded a master thesis related to this implementation.

8 APPENDIX Detail of results 1. Doctoral dissertations UPM 1. Calidad de servicio en sistemas multimedia empotrados mediante gestión dinámica de recursos (Quality of Service in multimedia embedded systems by means of dynamic resource management). Author: Marisol García-Valls. Supervisors: Alejandro Alonso and Juan A. de la Puente. July Contribución a la gestión de configuración en servicios avanzados de telecomunicación con componentes distribuidos. (Contribution to configuration management in component based advanced telecom services). Author: José Fernán Martínez. Supervisor: Juan Carlos Yelmo. To be presented in December,2001. UPV 1. Mode Change Protocols for Real-Time Systems. Author: Jorge Real. Supervisor: Alfons Crespo. March European Ph.D. 2. Planificación en Sistemas Multiprocesadores de Tiempo Real (Scheduling in Multiprocessor Real-Time Systems). Autor: Sergio Sáez Barona. Supervisor: Joan Vila. June, Flexible Real-Time Linux. A new environment for Flexible Hard Real-Time Systems. Author: Andrés Terrasa. Supervisors: Ana García-Fornes, Vicente Botti. February, European Ph.D. 4. Reserva eficiente de recursos en redes para transmisión en tiempo real (Efficient reservation of network resources for real-time transmisison). Author: Enrique Hernández. Supervisor: Joan Vila. June, UC 1. Servicios de planificación en sistemas operativos de tiempo real para aplicaciones empotradas (Scheduling services in real-time operating systems for embedded applications).autor: Mario Aldea. Supervisor: Michael González Harbour. Defense planned for the first quarter of Metodología de modelado y análisis de sistemas distribuidos de tiempo real estricto basada en componentes (Component-based modelling and analysis methodology for hard real-time distributed systems). Autor: Julio Medina, Supervisor: José María Drake. Defense planned for the first quarter of Publications UPM 1. Software Architecture for Product Families, M. Jazayeri, A. Ran, F. Van der Linden (eds.). Chapter Software Architecture Assessment, J.C. Dueñas, A. Alonso, W. Lopes, María S. García, J. A. de la Puente, G. León. Addison-Wesley, ISBN: Railway-Control Product Families: The Alcatel TAS Platform Experience, J. Mellado, M. Sierra, A. Romera, J.C. Dueñas,, in Proceedings of the Third International Workshop on Software Architectures for Product Families. Lecture Notes in Computer Science 1951, Springer-Verlag ISBN: Pg: A First Assessment of Development Processes with Respect to Product Lines and Component Based Development. R. Cerón, J.C. Dueñas, J.A. de la Puente, in Proceedings of the Third

9 International Workshop on Software Architectures for Product Families. Lecture Notes in Computer Science 1951, Springer-Verlag ISBN: Pg: Juan A. de la Puente, José F. Ruiz, Juan Zamorano, Rodrigo García, and Ramón Fernández- Marina. ORK: An Open Source Real-Time Kernel for On-Board Software Systems. In DASIA Data Systems in Aerospace. Montreal, Canada, Juan A. de la Puente, José F. Ruiz, Juan Zamorano. An Open Ravenscar Real-Time Kernel for GNAT. In Hubert B. Keller and Erhard Plödereder (Eds.) Reliable Software Technologies. Ada-Europe 2000 Lecture Notes in Computer Science, Springer-Verlag (2000). 6. Scarab Service Management Subsystem: Subscription and Configuration Management for Advanced Telecommunication Services. J. F. Martínez, J.C. Yelmo. TELEC'2000, July 2000, Santiago de Cuba, Cuba. 7. Criteria for Partitioning Reference Architectures, R. Capilla, J. C. Dueñas, R. Cerón, in "6th International Conference on Information Systems Analysis and Synthesis ". Florida, USA, Julio Alejandro Alonso and Juan Antonio de la Puente. Implementation of Mode Changes with the Ravenscar Profile. Ada Letters, XXI, 1, March Juan A. de la Puente, Juan Zamorano, José F. Ruiz, Ramón Fernández and Rodrigo García The Design and Implementation of the Open Ravenscar Kernel. Ada Letters, XXI, 1, March Architectural evolution, systems that grow., J. C. Dueñas, en "IST Component Based Software Engineering Workshop, Ferentino, Italia, June European Commission. 11. José F. Ruiz, Juan A. de la Puente, Juan Zamorano, Ramón Fernández-Marina. Exception Support for the Ravenscar Profile. Ada Letters, XXI, 3, September Juan Zamorano, José F. Ruiz and Juan A. de la Puente. Implementing Ada.Real_Time.Clock and absolute delays in real-time kernels. In D. Craeynest and A. Strohmeier (Eds.) Reliable Software Technologies. Ada-Europe Lecture Notes in Computer Science, Springer-Verlag (2001). 13. Tullio Vardanega, Rodrigo García, and Juan A. de la Puente. An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK. In D. Craeynest and A. Strohmeier (Eds.) Reliable Software Technologies. Ada-Europe Lecture Notes in Computer Science, Springer-Verlag (2001). 14. Jose Luis Fernandez-Sanchez and Antonio Monzón. Extending UML for Real-Time Component Based Architectures. The Fourteenth International conference on Software and Systems Engineering & their Applications (ICSSEA 2001), Paris, December 2001 UPV 1. Flexible Real-Time Linux. A Flexible Hard Real-Time Environment. A. Terrasa, A. García- Fornes, V. Botti. Real-Time Systems Ed.: Kluwer Academic Publishers (Accepted) Year: A Tool for Customizing RT-Linux to Embedded Systems. Josep Vidal, Pau Mendoza, Ismael Ripoll, Juan Vila. Real-Time Linux Workshop Milano (Italy) Nov To appear soon. 3. Integrated Dynamic Priority Scheduler for RTLinux. Patricia Balbastre & Ismael Ripoll. Real- Time Linux Workshop Milano (Italy) Nov To appear soon.

10 4. Intelligent Sensors on Minimal Embedded RTLinux Version. P. Pérez, G. Benet, J. E. Simó, F. Blanes. RTLinux Workshop. Milan Nov To appear soon. 5. Using RT-Linux for developing real-time embedded systems. Pau Mendoza, Joan Vila, Silvia Terrasa, Patricia Balbastre and Ismael Ripoll. IFAC Conference on New Technologies for Computer Control ( 2001 ). Hong-Kong (China) Nov To appear soon 6. Intelligent Distributed Sensors Using Embedded RTLinux on a CAN Network. P. Pérez, G. Benet, J. E. Simó, F. Blanes. "IEEE RTSS Symposium. London Dec To appear soon. 7. Developing CAN based networks on RT-Linux. P. Mendoza, J.Vila, I. Ripool, S. Terrasa, P.Pérez. 8th. International Conference on Emerging Technologies and Factory Automation. Proceedings of the ETFA Ed. IEEE-CS Press. ISBN Warsaw (Poland) Oct An Optimal Method for Allocating Buffer and Bandwidth for MPEG Traffic in a Network Node. E. Hernández, J.Vila. Proceedings of the 26th Euromicro Conference. Ed. IEEE-CS Press. ISSN: ISBN Warsaw (Poland). 4-6 Sep Offsets for Scheduling Mode Changes. J. Real and A. Crespo. Euromicro Conference on Real- Time Systems, 2001 (Selected for publication in the Real-Time Systems Journal). 10. A Semantics for Dynamic Ceiling Priorities in Ada. J. Real, A. Crespo and A. Llamosí. IRTAW Ada Letters XX1, nr Evaluation of a New Reservation Scheme for MPEG Transmission in Highly Available Real- Time Channels. E. Hernández, J. Vila. Lecture Notes in Computer Science. Next Generation Networks (ISSN: ). Vol: 1938 pp: Year A hardware architecture for scheduling complex real-time task sets. S. Sáez; J. Vila; A. Crespo; A. Garcia. Journal of computing and information technology (ISSN ). Ed. University Computing Center. Zagreb, Croatia. Vol.: 8 pp.: Year: On accepting aperiodic transactions in distributed systems. S. Sáez, J.Vila, A. Crespo. IEEE 7th Conference on Real-Time Computer Systems and Applications. Proceedings of RTCSA'2000. Ed. IEEE-CS Press. Hong-Kong(China) Dec Including User-Defined Timing Exception Support in FRTL. A. Terrasa, A. García-Fornes. IEEE 7th Conference on Real-Time Computer Systems and Applications. Proceedings of RTCSA'2000. Ed. IEEE-CS Press. Hong-Kong(China) Dec A Fast Method to Optimise Network resources for Video-on Demand Transmission: E. Hernández, J.Vila. 26th Euromicro Conference. Multimedia and Communications. Proceedings of the 26th Euromicro Conference. Ed. IEEE-CS Press. Maastricht (The Netherlands) 5-7 Sept Soft Aperiodic Task Scheduling on Hard Real_Time Multiprocessor Systems. S. Sáez, J.Vila, A. Crespo. IEEE 6th Conference on Real-Time Computer Systems and Applications. Proceedings of RTCSA'99. Ed. IEEE-CS Press. Hong-Kong(China) Dec Real-Time Synchronization between Hard and Soft Tasks in RT-Linux. A. Terrasa, A. García- Fornes IEEE 6th Conference on Real-Time Computer Systems and Applications. Proceedings of RTCSA'99. Ed. IEEE-CS Press. Hong-Kong(China) Dec An Efficient Resource Reservation Scheme for Highly Available Real-Time Channels. E. Hernández, J.Vila. Proceedings of PDCS'99. Cambridge (MA, EE.UU). 3-6 Nov The Ceiling Protocol in multi-moded Real-Time Systems. J. Real and A. Wellings. Ada Europe 1999 (Best Paper price). LNCS vol 1622

11 20. Dynamic Ceilings and Ada 95. J. Real and A. Wellings. Int. Real-Time Ada Workshop (IRTAW). Ada Letters XIX, nr Implementing Mode Changes with Shared Resources in Ada. J. Real and A. Wellings. Euromicro Conference on Real-Time Systems, UC 1. J.L. Medina Pasaje, M. González Harbour, J.M. Drake Moyano, MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems. 22th IEEE Real-Time Systems Symposium, Londres, UK, Diciembre, J.L. Medina, J.M. Drake, and M. González Harbour, UML-MAST: Modeling and Analysis Methodology for Real-Time Systems Developed with UML CASE tools. Aceptado para su presentación en el ECSI Forum on Design Languages, FDL'01, September, M. Aldea Rivas and M. González Harbour, POSIX-Compatible Application-Defined Scheduling in MaRTE OS. Proceedings of the Work-in-Progress Session at the 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, Junio, 2001, ISBN: , pp. 15, M. González Harbour, J.J. Gutiérrez García, J.C. Palencia Gutiérrez, and J.M. Drake Moyano, MAST: Modeling and Analysis Suite for Real Time Applications. Proceedings of the 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, Junio, 2001, ISBN: , pp. 125, Mario Aldea Rivas and Michael González Harbour, MaRTE OS: An Ada Kernel for Real-Time Embedded Applications. Proceedings of the International Conference on Reliable Software Technologies, Ada-Europe-2001, Lovaina, Bélgica, Lecture Notes in Computer Science, LNCS 2043, Mayo, 2001, ISBN: , pp. 305, Michael González Harbour (Editor), Proceedings of the 10th International Real-Time Ada Workshop. ACM Ada Letters, Volume XXI, Number 1, March, 2001, pp. 3, José Javier Gutiérrez García and Michael González Harbour, Towards a Real-Time Distributed Systems Annex in Ada. ACM Ada Letters, Volume XXI, Number 1, March, 2001, pp. 62, Mario Aldea Rivas and Michael González Harbour, Extending Ada's Real-Time Systems Annex with the POSIX Scheduling Services. ACM Ada Letters, Volume XXI, Number 1, March, 2001, pp. 20, Maite Veiga, Michael González Harbour, and Eugenio Villar, Portal Crane Specification in Ada. in G. Gorla, W. Nebel, E. Moser, and E. Villar, "System Specification Experiments on a Common Benchmark", IEEE Design&Test of Computers, July, Gutiérrez García J.J., Palencia Gutiérrez J.C., and González Harbour M., Schedulability Analysis of Distributed Hard Real-Time Systems with Multiple-Event Synchronization. Proceedings of the 12th Euromicro Conference on Real-Time Systems, Stockholm, Sweden., Junio, 2000, ISBN: Gutiérrez García, J.J., y González Harbour, M., A Framework for Developing Distributed Hard Real-Time Applications. Proceedings of the IFAC International Workshop on Real-Time Programming, Palma de Mallorca, in "Real-Time Programming 2000", Elsevier Science, Mayo, 2000, ISBN: Aldea Rivas, M. y González Harbour, M., Early Experience with an Implementation of the

12 POSIX.13 Minimal Real-Time Operating System for Embedded Applications. Proceedings of the IFAC International Workshop on Real-Time Programming, Palma de Mallorca, in "Real-Time Programming 2000", Elsevier Science, Mayo, 2000, ISBN:

Open Source Implementation of Hierarchical Scheduling for Integrated Modular Avionics

Open Source Implementation of Hierarchical Scheduling for Integrated Modular Avionics Open Source Implementation of Hierarchical Scheduling for Integrated Modular Avionics Juan Zamorano, Juan A. de la Puente Universidad Politécnica de Madrid (UPM) E-28040 Madrid, Spain jzamora@fi.upm.es,

More information

Execution-Time Clocks and Ravenscar Kernels

Execution-Time Clocks and Ravenscar Kernels Execution-Time Clocks and Ravenscar Kernels Juan Antonio de la Puente Departamento de Ingeniería de Sistemas Telemáticos Universidad Politécnica de Madrid jpuente@dit.upm.es Juan Zamorano Departamento

More information

Ada Real-Time Services and Virtualization

Ada Real-Time Services and Virtualization Ada Real-Time Services and Virtualization Juan Zamorano, Ángel Esquinas, Juan A. de la Puente Universidad Politécnica de Madrid, Spain jzamora,aesquina@datsi.fi.upm.es, jpuente@dit.upm.es Abstract Virtualization

More information

A Real-Time Computer Control Platform for an Experimental Satellite

A Real-Time Computer Control Platform for an Experimental Satellite A Real-Time Computer Control Platform for an Experimental Satellite Juan A. de la Puente Juan Zamorano Alejandro Alonso Daniel Brosnan Grupo de Sistemas de Tiempo Real y Arquitectura de Servicios Telemáticos,

More information

ARINC-653 Inter-partition Communications and the Ravenscar Profile

ARINC-653 Inter-partition Communications and the Ravenscar Profile ARINC-653 Inter-partition Communications and the Ravenscar Profile Jorge Garrido jgarrido@dit.upm.es Juan Zamorano jzamora@datsi.fi.upm.es Universidad Politécnica de Madrid (UPM), Spain Juan A. de la Puente

More information

MAST: A Timing Behavior Model for Embedded Systems Design Processes

MAST: A Timing Behavior Model for Embedded Systems Design Processes MAST: A Timing Behavior Model for Embedded Systems Design Processes By: Michael González Harbour, José Javier Gutiérrez, José Carlos Palencia, José María Drake, Julio Medina, Patricia López Universidad

More information

Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels

Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels Juan Zamorano 1, José F. Ruiz 2, and Juan A. de la Puente 2 1 Departamento de Arquitectura y Tecnología de Sistemas Informáticos

More information

Curriculum Reform in Computing in Spain

Curriculum Reform in Computing in Spain Curriculum Reform in Computing in Spain Sergio Luján Mora Deparment of Software and Computing Systems Content Introduction Computing Disciplines i Computer Engineering Computer Science Information Systems

More information

A POSIX-Ada Interface for Application-Defined Scheduling

A POSIX-Ada Interface for Application-Defined Scheduling A POSIX-Ada Interface for Application-Defined Scheduling By: Mario Aldea Rivas Michael González Harbour (aldeam@unican.es) (mgh@unican.es) Ada-Europe 2002 Vienna, Austria, June 17-21, 2002 4 GRUPO DE COMPUTADORES

More information

Model-Driven Resource Management for Distributed Real-Time and Embedded Systems

Model-Driven Resource Management for Distributed Real-Time and Embedded Systems Model-Driven Resource Management for Distributed Real-Time and Embedded Systems Chang Liu, David Fleeman, Eric Aber, Lonnie Welch, and David Juedes Center for Intelligent, Distributed and Dependable Systems

More information

Decomposition into Parts. Software Engineering, Lecture 4. Data and Function Cohesion. Allocation of Functions and Data. Component Interfaces

Decomposition into Parts. Software Engineering, Lecture 4. Data and Function Cohesion. Allocation of Functions and Data. Component Interfaces Software Engineering, Lecture 4 Decomposition into suitable parts Cross cutting concerns Design patterns I will also give an example scenario that you are supposed to analyse and make synthesis from The

More information

A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architecture using UML-MAST

A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architecture using UML-MAST A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architecture using UML-MAST Francisco Ortiz, Bárbara Álvarez, Juan Á. Pastor, Pedro Sánchez francisco.ortiz@upct.es Universidad

More information

Predictable response times in event-driven real-time systems

Predictable response times in event-driven real-time systems Predictable response times in event-driven real-time systems Automotive 2006 - Security and Reliability in Automotive Systems Stuttgart, October 2006. Presented by: Michael González Harbour mgh@unican.es

More information

Management of E-Commerce Brokerage Services

Management of E-Commerce Brokerage Services of E-Commerce Brokerage Services Jorge E. López de Vergara, Víctor A. Villagrá, Juan I. Asensio, José I. Moreno, Julio J. Berrocal. Dept. de Ingeniería de Sistemas Telemáticos Universidad Politécnica de

More information

Real-time Extensions to the OMG s Deployment and Configuration of Component-based Distributed Applications Specification

Real-time Extensions to the OMG s Deployment and Configuration of Component-based Distributed Applications Specification Real-time Extensions to the OMG s Deployment and Configuration of Component-based Distributed Applications Specification Patricia López, José M. Drake, and Julio L. Medina Grupo de Computadores y Tiempo

More information

Multi-objective Design Space Exploration based on UML

Multi-objective Design Space Exploration based on UML Multi-objective Design Space Exploration based on UML Marcio F. da S. Oliveira, Eduardo W. Brião, Francisco A. Nascimento, Instituto de Informática, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil

More information

Managing Transactions in Flexible Distributed Real-Time Systems

Managing Transactions in Flexible Distributed Real-Time Systems Managing Transactions in Flexible Distributed Real-Time Systems Daniel Sangorrín (dsl@ertl.jp) Michael González Harbour (mgh@unican.es) Héctor Pérez Tijero (perezh@unican.es) J. Javier Gutiérrez (gutierjj@unican.es)

More information

Memory Isolation in Many-Core Embedded Systems

Memory Isolation in Many-Core Embedded Systems Memory Isolation in Many-Core Embedded Systems Juan Zamorano and Juan A. de la Puente Universidad Politécnica de Madrid (UPM), Abstract. The current approach to developing mixed-criticality systems is

More information

PROYECTOS EN TECNOLOGÍAS DE LA INFORMACIÓN

PROYECTOS EN TECNOLOGÍAS DE LA INFORMACIÓN MINISTERIO DE CIENCIA Y TECNOLOGÍA SECRETARÍA DE ESTADO DE POLÍTICA CIENTÍFICA Y TECNOLÓGICA DIRECCIÓN GENERAL DE INVESTIGACIÓN SUBDIRECCIÓN GENERAL DE PROYECTOS DE INVESTIGACIÓN JORNADAS DE SEGUIMIENTO

More information

Curriculum Vitae et Studiorum

Curriculum Vitae et Studiorum Curriculum Vitae et Studiorum of: Last Updated: August 22, 2006 Personal Family Name: Vardanega First Name: Tullio Citizenship: Italian Marital Status: Single Date of Birth: January 12, 1963 Place of Birth:

More information

An approach to extend NDT in the development of Web Applications into Services based organizations

An approach to extend NDT in the development of Web Applications into Services based organizations An approach to extend NDT in the development of Web Applications into Services based organizations Sedeño J. 1, 2, Escalona M.J. 2 and Mejías M. 2 1 Agencia Andaluza de Instituciones Culturales. Seville,

More information

CURRICULUM VITAE. Name: Ana Maria Iglesias Maqueda. Date: 5/10/2004. Signature:

CURRICULUM VITAE. Name: Ana Maria Iglesias Maqueda. Date: 5/10/2004. Signature: CURRICULUM VITAE Name: Ana Maria Iglesias Maqueda Date: 5/10/2004 Signature: PERSONAL DATA FAMILY NAME: Iglesias Maqueda FIRST NAME: Ana Maria PASSPORT NUMBER: 6.251.356 DATE OF BIRTH: 05/18/1975 GENDER:

More information

Integrating real-time analysis into design flows

Integrating real-time analysis into design flows Integrating real-time analysis into design flows WATERS 2011 July 2011, Porto, Portugal Michael González Harbour, mgh@unican.es www.ctr.unican.es GRUPO DE COMPUTADORES Y TIEMPO REAL Michael González Harbour

More information

Updated: 18/2/2015 PERSONAL PROFILE

Updated: 18/2/2015 PERSONAL PROFILE Carlos J. Perez del Pulgar Escuela de Ingenierías C/Ortiz Ramos s/n 29071 Málaga (Spain) Landline: +34 951952324 Email: carlosperez@uma.es www.isa.uma.es/cperez Updated: 18/2/2015 PERSONAL PROFILE Since

More information

Embedded/Real-Time Software Development with PathMATE and IBM Rational Systems Developer

Embedded/Real-Time Software Development with PathMATE and IBM Rational Systems Developer Generate Results. Real Models. Real Code. Real Fast. Embedded/Real-Time Software Development with PathMATE and IBM Rational Systems Developer Andreas Henriksson, Ericsson andreas.henriksson@ericsson.com

More information

Speech understanding in dialogue systems

Speech understanding in dialogue systems Speech understanding in dialogue systems Sergio Grau Puerto sgrau@dsic.upv.es Departament de Sistemes Informàtics i Computació Universitat Politècnica de València Sergio Grau Puerto. Carnegie Mellon: June

More information

ORK+/XtratuM: An Open Partitioning Platform for Ada

ORK+/XtratuM: An Open Partitioning Platform for Ada ORK+/XtratuM: An Open Partitioning Platform for Ada Ángel Esquinas 1, Juan Zamorano 1,JuanA.delaPuente 1, Miguel Masmano 2, Ismael Ripoll 2, and Alfons Crespo 2 1 Universidad Politécnica de Madrid (UPM),

More information

Event Management Proposal for Distribution Data Service Standard

Event Management Proposal for Distribution Data Service Standard Event Management Proposal for Distribution Service Standard José-Luis Poza-Luján, Juan-Luis Posadas-Yagüe and José-Enrique Simó-Ten University Institute of Control Systems and Industrial Computing (ai2).

More information

Enhancement of Development Technologies for Agent- Based Software Engineering

Enhancement of Development Technologies for Agent- Based Software Engineering Enhancement of Development Technologies for Agent- Based Software Engineering Andre Karpištšenko Tallinn Technical University, Ehitajate tee 5 19086 Tallinn, Estonia andre@lap.ee Abstract. Current trends

More information

Task Attribute-Based Scheduling - Extending Ada s Support for Scheduling

Task Attribute-Based Scheduling - Extending Ada s Support for Scheduling Task Attribute-Based Scheduling - Extending Ada s Support for Scheduling A. Burns and A.J. Wellings Department of Computer Science University of York, UK Email: {burns,andy}@cs.york.ac.uk Abstract. Scheduling

More information

Experience with the integration of distribution middleware into partitioned systems

Experience with the integration of distribution middleware into partitioned systems Experience with the integration of distribution middleware into partitioned systems Héctor Pérez Tijero (perezh@unican.es) J. Javier Gutiérrez García (gutierjj@unican.es) Computers and Real-Time Group,

More information

Modelling and analysing real-time systems with MAST: Overview and future extensions

Modelling and analysing real-time systems with MAST: Overview and future extensions Modelling and analysing real-time systems with MAST: Overview and future extensions By: Michael González Harbour Universidad de Cantabria, Spain http://mast.unican.es/ FACULTAD DE CIENCIAS 7/Feb/11 1 1.

More information

Résumé. Name: Néstor Ruben Barraza. Date of Birth: May 10 th, 1962. Address: San Jose 1725 8 A, Buenos Aires, Argentina. Nationality: Argentine

Résumé. Name: Néstor Ruben Barraza. Date of Birth: May 10 th, 1962. Address: San Jose 1725 8 A, Buenos Aires, Argentina. Nationality: Argentine Résumé Name: Néstor Ruben Barraza Date of Birth: May 10 th, 1962 Address: San Jose 1725 8 A, Buenos Aires, Argentina Nationality: Argentine Phone: +54.011.4304.6903, Cel: 011.15.4424.9446 ID: 14.890.327

More information

Curriculum Vitae. (last update: August 13 2005)

Curriculum Vitae. (last update: August 13 2005) Curriculum Vitae (last update: August 13 2005) Education November 1996: Laurea in Ingegneria Informatica (110/110 con lode) at University of Pisa. Thesis title: Progetto e Realizzazione di Meccanismi di

More information

AN AUTOMATIC MAINTENANCE SYSTEM FOR NUCLEAR POWER PLANTS INSTRUMENTATION

AN AUTOMATIC MAINTENANCE SYSTEM FOR NUCLEAR POWER PLANTS INSTRUMENTATION AN AUTOMATIC MAINTENANCE SYSTEM FOR NUCLEAR POWER PLANTS INSTRUMENTATION Bárbara Álvarez, Andrés Iborra, *Carlos Fernández Universidad Politécnica de Cartagena, Dpto. Tecnología Electrónica Campus Muralla

More information

STUDY AND SIMULATION OF A DISTRIBUTED REAL-TIME FAULT-TOLERANCE WEB MONITORING SYSTEM

STUDY AND SIMULATION OF A DISTRIBUTED REAL-TIME FAULT-TOLERANCE WEB MONITORING SYSTEM STUDY AND SIMULATION OF A DISTRIBUTED REAL-TIME FAULT-TOLERANCE WEB MONITORING SYSTEM Albert M. K. Cheng, Shaohong Fang Department of Computer Science University of Houston Houston, TX, 77204, USA http://www.cs.uh.edu

More information

Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications

Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications By: M. González Harbour, M. Aldea Rivas, J.J. Gutiérrez García, and J.C. Palencia Gutiérrez Departamento de Electrónica y

More information

Tool Support for Software Variability Management and Product Derivation in Software Product Lines

Tool Support for Software Variability Management and Product Derivation in Software Product Lines Tool Support for Software Variability Management and Product Derivation in Software s Hassan Gomaa 1, Michael E. Shin 2 1 Dept. of Information and Software Engineering, George Mason University, Fairfax,

More information

Post-Doctoral Researcher, University of the Basque Country. B. A. in Economics, University of Valencia.

Post-Doctoral Researcher, University of the Basque Country. B. A. in Economics, University of Valencia. Paloma Ubeda University of the Basque Country Facultad de C. Económicas y Empresariales Avd/Lehendakari Aguirre, 83 48015 Bilbao E-mail: paloma.ubeda@ehu.es Web page: http://www.bridgebilbao.es/pag/191/behavioral-and-experimental-economics.html

More information

An Automated Workflow System Geared Towards Consumer Goods and Services Companies

An Automated Workflow System Geared Towards Consumer Goods and Services Companies Proceedings of the 2014 International Conference on Industrial Engineering and Operations Management Bali, Indonesia, January 7 9, 2014 An Automated Workflow System Geared Towards Consumer Goods and Services

More information

Chapter 2 Addendum (More on Virtualization)

Chapter 2 Addendum (More on Virtualization) Chapter 2 Addendum (More on Virtualization) Roch Glitho, PhD Associate Professor and Canada Research Chair My URL - http://users.encs.concordia.ca/~glitho/ More on Systems Virtualization Type I (bare metal)

More information

Developing a Cost Model to determine economic benefits of LTE in Digital Dividend

Developing a Cost Model to determine economic benefits of LTE in Digital Dividend Grupo de Tecnologías de la Información y las Comunicaciones Developing a Cost Model to determine economic benefits of LTE in Digital Dividend Thesis Project May, 3 5, 2010 María Catalina Ovando Chico covando@gtic.ssr.upm.es

More information

Europass Curriculum Vitae

Europass Curriculum Vitae Europass Curriculum Vitae Personal information First name(s) / Surname(s) Germán Ros-Sánchez Address(es) (1) Prat de la Riba, #33, 3 rd floor (3 rd door). Cerdanyola del Vallès 08290, Barcelona (Spain).

More information

POSIX : Certified by IEEE and The Open Group a briefing.

POSIX : Certified by IEEE and The Open Group a briefing. POSIX : Certified by IEEE and The Open Group a briefing. The Source for POSIX Certification http://posixcertified.ieee.org January 2006. Acknowledgements: Thanks to Michael Gonzalez for several of the

More information

DEFINITION AND INSTANTIATION OF AN INTEGRATED DATA MINING PROCESS TIN2004-05873

DEFINITION AND INSTANTIATION OF AN INTEGRATED DATA MINING PROCESS TIN2004-05873 Jornadas de Seguimiento de Proyectos, 2007 Programa Nacional de Tecnologías Informáticas DEFINITION AND INSTANTIATION OF AN INTEGRATED DATA MINING PROCESS TIN2004-05873 Javier Segovia Pérez * Universidad

More information

1. PUBLISHABLE SUMMARY

1. PUBLISHABLE SUMMARY 1. PUBLISHABLE SUMMARY ICT-eMuCo (www.emuco.eu) is a European project with a total budget of 4.6M which is supported by the European Union under the Seventh Framework Programme (FP7) for research and technological

More information

Govern IT! Possible ways for R+D+i on Computer and Management Sciences, together

Govern IT! Possible ways for R+D+i on Computer and Management Sciences, together Govern IT! Possible ways for R+D+i on Computer and Management Sciences, together Professor Carlos Juiz Universitat de les Illes Balears UIB, Spain Industrial experience Programmer TUI (1989-90), Systems

More information

WEB APPLICATION FOR TIMETABLE PLANNING IN THE HIGHER TECHNICAL COLLEGE OF INDUSTRIAL AND TELECOMMUNICATIONS ENGINEERING

WEB APPLICATION FOR TIMETABLE PLANNING IN THE HIGHER TECHNICAL COLLEGE OF INDUSTRIAL AND TELECOMMUNICATIONS ENGINEERING WEB APPLICATION FOR TIMETABLE PLANNING IN THE HIGHER TECHNICAL COLLEGE OF INDUSTRIAL AND TELE ENGINEERING Dra. Marta E. Zorrilla Pantaleón Dpto. Applied Mathematics and Computer Science Avda. Los Castros

More information

Definition of a Technological Ecosystem for Scientific Knowledge Management in a PhD Programme

Definition of a Technological Ecosystem for Scientific Knowledge Management in a PhD Programme Definition of a Technological Ecosystem for Scientific Knowledge Management in a PhD Programme Alicia García-Holgado Francisco J. García-Peñalvo Mª José Rodríguez-Conde Research Group in InterAction and

More information

Grupo de Ingeniería de Sistemas Integrados (ISIS) Dpto. Tecnología Electrónica Universidad de Málaga

Grupo de Ingeniería de Sistemas Integrados (ISIS) Dpto. Tecnología Electrónica Universidad de Málaga Grupo de Ingeniería de Sistemas Integrados (ISIS) Dpto. Tecnología Electrónica Universidad de Málaga FP7-ENERGY: Oportunidades de Financiación Europea de la I+D+i y de Liderazgo para empresas y grupos

More information

0. CONTACT ADDRESS, PHONE, AND EMAILS

0. CONTACT ADDRESS, PHONE, AND EMAILS JAVIER DELGADO CEBALLOS 0. CONTACT ADDRESS, PHONE, AND EMAILS University of Granada Department of Management School of Economics and Business Campus Cartuja s/n E-18071 Granada (Spain) Phone: + 34 958

More information

Curriculum Vitae Dr. José Luis Herrera Diestra

Curriculum Vitae Dr. José Luis Herrera Diestra Personal Information: Curriculum Vitae Dr. José Luis Herrera Diestra Nationality: Venezuelan Date of Birth: 11/15/1977 Address: Cubiculo 10, Departamento de Calculo, Escuela Basica, Facultad de Ingenieria,

More information

CENTRO DE SUPERCOMPUTACIÓN GALICIA CESGA

CENTRO DE SUPERCOMPUTACIÓN GALICIA CESGA CENTRO DE SUPERCOMPUTACIÓN DE GALICIA CENTRO DE SUPERCOMPUTACIÓN GALICIA CESGA Javier García Tobío (Managing Director, Galicia Supercomputing Centre) MISSION STATEMENT To provide high performance computing,

More information

In: Proceedings of RECPAD 2002-12th Portuguese Conference on Pattern Recognition June 27th- 28th, 2002 Aveiro, Portugal

In: Proceedings of RECPAD 2002-12th Portuguese Conference on Pattern Recognition June 27th- 28th, 2002 Aveiro, Portugal Paper Title: Generic Framework for Video Analysis Authors: Luís Filipe Tavares INESC Porto lft@inescporto.pt Luís Teixeira INESC Porto, Universidade Católica Portuguesa lmt@inescporto.pt Luís Corte-Real

More information

Mariano Gómez Plaza. Computer Engineering DESCRIPTION OF THE RESEARCH RESULTS

Mariano Gómez Plaza. Computer Engineering DESCRIPTION OF THE RESEARCH RESULTS Ref.: TIC_UAH_04 Industrial Sector Automotion and Space Researcher Department Mariano Gómez Plaza Computer Engineering Contact Details +34 91 885 65 94 / +34 629 80 40 67 91 885 69 23 mgomez@aut.uah.es

More information

µfup: A Software Development Process for Embedded Systems

µfup: A Software Development Process for Embedded Systems µfup: A Software Development Process for Embedded Systems Leif Geiger, Jörg Siedhof, Albert Zündorf University of Kassel, Software Engineering Research Group, Department of Computer Science and Electrical

More information

Schedulability analysis of distributed real-time systems

Schedulability analysis of distributed real-time systems Schedulability analysis of real-time distributed systems Elements of a real-time system Schedulability analysis of distributed real-time systems By: Michael González Harbour mgh@unican.es http://www.ctr.unican.es

More information

A Management Tool for Component-Based Real-Time Supervision and Control Systems

A Management Tool for Component-Based Real-Time Supervision and Control Systems A Management Tool for Component-Based Real-Time Supervision and Control Systems Sandro Santos Andrade, Raimundo José de Araújo Macêdo Distributed Systems Laboratory (LaSiD) Post-Graduation Program on Mechatronics

More information

DRAFT PROGRAMME Transbio Valencia event

DRAFT PROGRAMME Transbio Valencia event DRAFT PROGRAMME Transbio Valencia event February 27th and 28th Field Study Best practices for company creation and development Workshop Housing & access to technologies for biotech companies Calendar February

More information

ORGANIZATIONAL INNOVATION WORKSHOP

ORGANIZATIONAL INNOVATION WORKSHOP ORGANIZATIONAL INNOVATION WORKSHOP Valencia, February, 21st, 2013 UNIVERSIDAD POLITÉCNICA DE VALENCIA DIRECCIÓN: Dr. JOSE LUIS HERVAS OLIVER & Dr. FRANCISCA SEMPERE- RIPOLL ORGANIZATIONAL INNOVATION AND

More information

Ming-Hsing Chiu. Home: (985)845-2664 340 Chapel Loop Office: (985)549-5313 EDUCATION

Ming-Hsing Chiu. Home: (985)845-2664 340 Chapel Loop Office: (985)549-5313 EDUCATION Ming-Hsing Chiu Home: (985)845-2664 340 Chapel Loop Office: (985)549-5313 Mandeville, LA 70471 e-mail: mchiu@selu.edu EDUCATION Ph.D. in Computer Science, University of Central Florida, May 99. Dissertation

More information

Trends in Embedded Software Development in Europe. Dr. Dirk Muthig dirk.muthig@iese.fraunhofer.de

Trends in Embedded Software Development in Europe. Dr. Dirk Muthig dirk.muthig@iese.fraunhofer.de Trends in Embedded Software Development in Europe Dr. Dirk Muthig dirk.muthig@iese.fraunhofer.de Problems A software project exceeds the budget by 90% and the project time by 120% in average Project Management

More information

Design Pattern for the Adaptive Scheduling of Real-Time Tasks with Multiple Versions in RTSJ

Design Pattern for the Adaptive Scheduling of Real-Time Tasks with Multiple Versions in RTSJ Design Pattern for the Adaptive Scheduling of Real-Time Tasks with Multiple Versions in RTSJ Rodrigo Gonçalves, Rômulo Silva de Oliveira, Carlos Montez LCMI Depto. de Automação e Sistemas Univ. Fed. de

More information

Tomás Balderas-Contreras

Tomás Balderas-Contreras RÉSUMÉ Tomás Balderas-Contreras E-mail: URL: balderas@ccc.inaoep.mx http://ccc.inaoep.mx/~balderas/ http://mx.linkedin.com/in/tomasbalderas/ Phone: +52 22 2241 4930 Mobile phone: +52 33 1835 9934 Personal

More information

INTEGRAL MULTIMEDIA SYSTEM FOR NON PRESENTIAL TEACHER STUDENT ADVISORY THROUGH INTERNET1

INTEGRAL MULTIMEDIA SYSTEM FOR NON PRESENTIAL TEACHER STUDENT ADVISORY THROUGH INTERNET1 INTEGRAL MULTIMEDIA SYSTEM FOR NON PRESENTIAL TEACHER STUDENT ADVISORY THROUGH INTERNET1 José Luis Castro López, Pedro García Teodoro*, Juan Manuel Estévez Tapiador, Jesús Esteban Díaz Verdejo, Juan Manuel

More information

The Service Availability Forum Specification for High Availability Middleware

The Service Availability Forum Specification for High Availability Middleware The Availability Forum Specification for High Availability Middleware Timo Jokiaho, Fred Herrmann, Dave Penkler, Manfred Reitenspiess, Louise Moser Availability Forum Timo.Jokiaho@nokia.com, Frederic.Herrmann@sun.com,

More information

A MODEL-BASED MONITORING ARCHITECTURE FOR HETEROGENEOUS ENTERPRISE SERVICES AND INFORMATION SYSTEMS

A MODEL-BASED MONITORING ARCHITECTURE FOR HETEROGENEOUS ENTERPRISE SERVICES AND INFORMATION SYSTEMS ISBN: 978-972-8939-47-2 2011 IADIS A MODEL-BASED MONITORING ARCHITECTURE FOR HETEROGENEOUS ENTERPRISE SERVICES AND INFORMATION SYSTEMS Félix Cuadrado, Rodrigo García-Carmona, Juan C. Dueñas and Álvaro

More information

UML-based Test Generation and Execution

UML-based Test Generation and Execution UML-based Test Generation and Execution Jean Hartmann, Marlon Vieira, Herb Foster, Axel Ruder Siemens Corporate Research, Inc. 755 College Road East Princeton NJ 08540, USA jeanhartmann@siemens.com ABSTRACT

More information

A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT

A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT Cléver Ricardo Guareis de Farias, Marten van Sinderen and Luís Ferreira Pires Centre for Telematics and Information Technology (CTIT) PO Box

More information

INSTITUTO POLITÉCNICO NACIONAL

INSTITUTO POLITÉCNICO NACIONAL SYNTHESIZED SCHOOL PROGRAM ACADEMIC UNIT ACADEMIC PROGRAM: Escuela Superior de Cómputo Ingeniería en Sistemas Computacionales LEARNING UNIT: Embedded Systems LEVEL: AIM OF THE LEARNING UNIT: The student

More information

Beck, L., L., Chizhik, A.W., and McElroy, A.C. 2005. Cooperative learning

Beck, L., L., Chizhik, A.W., and McElroy, A.C. 2005. Cooperative learning Referencias Beck, L., L., Chizhik, A.W., and McElroy, A.C. 2005. Cooperative learning techniques in CS1: design and experimental evaluation. Proceedings of the 36th SIGCSE technical symposium on Computer

More information

Virtual Machines. www.viplavkambli.com

Virtual Machines. www.viplavkambli.com 1 Virtual Machines A virtual machine (VM) is a "completely isolated guest operating system installation within a normal host operating system". Modern virtual machines are implemented with either software

More information

Curriculum Vitae Lic. José Rafael Pino Rusconi Chio +52 (998) 119 40 78 http://www.joserafaelpinorusconichio.com/ rpino67@hotmail.

Curriculum Vitae Lic. José Rafael Pino Rusconi Chio +52 (998) 119 40 78 http://www.joserafaelpinorusconichio.com/ rpino67@hotmail. Curriculum Vitae Lic. José Rafael Pino Rusconi Chio +52 (998) 119 40 78 http://www.joserafaelpinorusconichio.com/ rpino67@hotmail.com Content 1) Professional summary... 1 2) Professional Experience....

More information

UNIVERSIDAD TÉCNICA DEL NORTE ARTÍCULO CIENTÍFICO (INGLÉS)

UNIVERSIDAD TÉCNICA DEL NORTE ARTÍCULO CIENTÍFICO (INGLÉS) UNIVERSIDAD TÉCNICA DEL NORTE FACULTAD DE INGENIERÍA EN CIENCIAS APLICADAS CARRERA DE INGENIERÍA EN SISTEMAS COMPUTACIONALES TRABAJO DE GRADO PREVIO A LA OBTENCIÓN DEL TÍTULO DE INGENIERO EN SISTEMAS COMPUTACIONALES

More information

Designing Real-Time and Embedded Systems with the COMET/UML method

Designing Real-Time and Embedded Systems with the COMET/UML method By Hassan Gomaa, Department of Information and Software Engineering, George Mason University. Designing Real-Time and Embedded Systems with the COMET/UML method Most object-oriented analysis and design

More information

Updated: 6/10/2015 PERSONAL PROFILE

Updated: 6/10/2015 PERSONAL PROFILE Carlos J. Pérez del Pulgar Escuela de Ingenierías C/Ortiz Ramos s/n 29071 Málaga (Spain) Landline: +34 951952324 Email: carlosperez@uma.es www.isa.uma.es/cperez Updated: 6/10/2015 PERSONAL PROFILE Since

More information

Intelligent Systems to Assist in Cytological Diagnosis and to Train Cytotechnics TIN2004-07236

Intelligent Systems to Assist in Cytological Diagnosis and to Train Cytotechnics TIN2004-07236 Jornadas de Seguimiento de Proyectos, 2007 Programa Nacional de Tecnologías Informáticas Intelligent Systems to Assist in Cytological Diagnosis and to Train Cytotechnics TIN2004-07236 Jose Manuel Zurita

More information

Bachelor Degree in Informatics Engineering Master courses

Bachelor Degree in Informatics Engineering Master courses Bachelor Degree in Informatics Engineering Master courses Donostia School of Informatics The University of the Basque Country, UPV/EHU For more information: Universidad del País Vasco / Euskal Herriko

More information

Master in Science, specialty in Information Systems. ITESM. México, June 1984.

Master in Science, specialty in Information Systems. ITESM. México, June 1984. LAURA CRUZ REYES Instituto Tecnológico de Cd. Madero División de Estudios de Posgrado e Investigación Juventino Rosas y Jesús Urueta Cd. Madero Tamaulipas México CP. 89440 Tel/Fax (52) 833 215 85 44 e-mail:

More information

CURRICULUM VITAE: JAVIER ELIZALDE BLASCO UPDATED: AUGUST 2015

CURRICULUM VITAE: JAVIER ELIZALDE BLASCO UPDATED: AUGUST 2015 CURRICULUM VITAE: JAVIER ELIZALDE BLASCO UPDATED: AUGUST 2015 PERSONAL INFORMATION Birth: Pamplona, April 1st 1977 Citizenship: Spanish Languages: Spanish (mother tongue), English (fluent) Contact details:

More information

Curriculum Vitae: Maria-Jose Vieira

Curriculum Vitae: Maria-Jose Vieira León (Spain), June 2010 Curriculum Vitae: Maria-Jose Vieira Personal details First Name: Maria-Jose Family Name: Vieira Nationality: Spanish Current Position: Associate Professor in Educational Sciences

More information

Component-based Robotics Middleware

Component-based Robotics Middleware Component-based Robotics Middleware Software Development and Integration in Robotics (SDIR V) Tutorial on Component-based Robotics Engineering 2010 IEEE International Conference on Robotics and Automation

More information

International Summer School on Embedded Systems

International Summer School on Embedded Systems International Summer School on Embedded Systems Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences Shenzhen, July 30 -- August 3, 2012 Sponsored by Chinese Academy of Sciences and

More information

USTC Course for students entering Clemson F2013 Equivalent Clemson Course Counts for Clemson MS Core Area. CPSC 822 Case Study in Operating Systems

USTC Course for students entering Clemson F2013 Equivalent Clemson Course Counts for Clemson MS Core Area. CPSC 822 Case Study in Operating Systems USTC Course for students entering Clemson F2013 Equivalent Clemson Course Counts for Clemson MS Core Area 398 / SE05117 Advanced Cover software lifecycle: waterfall model, V model, spiral model, RUP and

More information

Europass Curriculum Vitae

Europass Curriculum Vitae Europass Curriculum Vitae Personal information First name(s) / Surname(s) Address Telephone(s) E-mail(s) Nationality Date of birth Gender +34 926822654 Mobile +34 658502565 pgayos@gmail.com Spanish 31/05/1982

More information

DRAFT PROGRAMME Transbio Valencia event

DRAFT PROGRAMME Transbio Valencia event DRAFT PROGRAMME Transbio Valencia event February 27th and 28th Field Study Best practices for company creation and development Workshop Housing & access to technologies for biotech companies Calendar February

More information

An OSGi based HMI for networked vehicles. Telefónica I+D Miguel García Longarón

An OSGi based HMI for networked vehicles. Telefónica I+D Miguel García Longarón June 10-11, 2008 Berlin, Germany An OSGi based HMI for networked vehicles Telefónica I+D Miguel García Longarón Networked Vehicle 2 Networked Vehicle! Tomorrow, the vehicles will be networked! Using Always

More information

Presentation of the AADL: Architecture Analysis and Design Language

Presentation of the AADL: Architecture Analysis and Design Language Presentation of the AADL: Architecture Analysis and Design Language Outline 1. AADL a quick overview 2. AADL key modeling constructs 1. AADL components 2. Properties 3. Component connection 3. AADL: tool

More information

Tool Support for Model Checking of Web application designs *

Tool Support for Model Checking of Web application designs * Tool Support for Model Checking of Web application designs * Marco Brambilla 1, Jordi Cabot 2 and Nathalie Moreno 3 1 Dipartimento di Elettronica e Informazione, Politecnico di Milano Piazza L. Da Vinci,

More information

The Matrix - A framework for real-time resource management for video streaming in networks of heterogenous devices

The Matrix - A framework for real-time resource management for video streaming in networks of heterogenous devices The Matrix - A framework for real-time resource management for video streaming in networks of heterogenous devices Larisa Rizvanovic Mälardalen University Department of Computer Science and Electronics

More information

Virtualization Technologies (ENCS 691K Chapter 3)

Virtualization Technologies (ENCS 691K Chapter 3) Virtualization Technologies (ENCS 691K Chapter 3) Roch Glitho, PhD Associate Professor and Canada Research Chair My URL - http://users.encs.concordia.ca/~glitho/ The Key Technologies on Which Cloud Computing

More information

print close Building Blocks

print close Building Blocks print close Machine Design Kim Hartman Wed, 2015-07-15 11:23 Many OEMs strive to maximize plant productivity by allowing machines to perform multiple operations simultaneously. Some of these concurrent

More information

Designing and Embodiment of Software that Creates Middle Ware for Resource Management in Embedded System

Designing and Embodiment of Software that Creates Middle Ware for Resource Management in Embedded System , pp.97-108 http://dx.doi.org/10.14257/ijseia.2014.8.6.08 Designing and Embodiment of Software that Creates Middle Ware for Resource Management in Embedded System Suk Hwan Moon and Cheol sick Lee Department

More information

Tele-service Creation with ISABEL in Heterogeneous Network Environments

Tele-service Creation with ISABEL in Heterogeneous Network Environments Tele-service Creation with ISABEL in Heterogeneous Network Environments Juan Quemada Tomas de Miguel Arturo Azcorra Santiago Pavón Joaquin Salvachua Manuel Petit David Larrabeiti Tomas Robles Gabriel Huecas

More information

Antonio Kung, Trialog. HIJA technical coordinator. Scott Hansen, The Open Group. HIJA coordinator

Antonio Kung, Trialog. HIJA technical coordinator. Scott Hansen, The Open Group. HIJA coordinator HIJA Antonio Kung, Trialog HIJA technical coordinator Scott Hansen, The Open Group HIJA coordinator 1 Presentation Outline HIJA project ANRTS platforms Requirements for ANRTS platforms Profiles based on

More information

Phone 1: +54 (261) 4291000 Phone 2: +54 (261) 4250771 ext. 28 Email: dmonge@itu.uncu.edu.ar Homepage: http://about.me/dmonge

Phone 1: +54 (261) 4291000 Phone 2: +54 (261) 4250771 ext. 28 Email: dmonge@itu.uncu.edu.ar Homepage: http://about.me/dmonge Dr. David A. Monge National University of Cuyo (UNCuyo) ITIC Research Institute Espacio de la Ciencia y la Tecnología (ECT) Padre Jorge Contreras 1300, M5502JMA Mendoza, Argentina Phone 1: +54 (261) 4291000

More information

SOFTWARE ENGINEERING PROGRAM

SOFTWARE ENGINEERING PROGRAM SOFTWARE ENGINEERING PROGRAM PROGRAM TITLE DEGREE TITLE Master of Science Program in Software Engineering Master of Science (Software Engineering) M.Sc. (Software Engineering) PROGRAM STRUCTURE Total program

More information

System Development Process based on Embedded Linux and Sensor Node

System Development Process based on Embedded Linux and Sensor Node System Development Process based on Embedded Linux and Sensor Node Shin-Hyeong Choi 1* and Hyoung-Keun Park 2 1* Dept. of Control & Instrumentation Engineering, Kangwon National University, 1 Joongang-ro

More information

Model-Driven Cloud Data Storage

Model-Driven Cloud Data Storage Model-Driven Cloud Data Storage Juan Castrejón 1, Genoveva Vargas-Solar 1, Christine Collet 1, and Rafael Lozano 2 1 Université de Grenoble, LIG-LAFMIA, 681 rue de la Passerelle, Saint Martin d Hères,

More information