Distributed Real-Time Systems Laboratory

We focuse on research on computer science and distributed systems for enabling highly reliable systems with predictable behavior. For this, we focus on the various aspects that are challenging in the traditional real-time systems domain as well as in the emerging application fields using open computation paradigms as cloud.

• Software Architectures for Highly Reliable Distributed Real-Time Systems and CPS
• Real-Time Middleware
• Quality of Service and Combined Resource Management.
• Service Oriented Architectures: predictable service-based composition and execution, etc.
• Real-Time Languages: Distributed RTSJ.
• Real-Time Operating Systems and Mobile Operating Systems.

• Large scale distributed systems and Cyber Physical Systems
• Hard real-time systems: avionics and space.
• Real-time video transmission: video surveillance, remote monitoring, command and control stations.
• Medical systems (e-health).
• Automotive and transport.

• Open and dynamic cyber physical systems (EUIN2013-51179). MINECO. 2013 - 2016. Scientic and technical leader: Marisol García Valls
• REM4VSS (TIN 2011-28339). CICyT; 2012 - 2015. Development of middleware for real-time reconfiguration of distributed video surveillance systems. Funded by: MICINN. Project leader: Marisol García Valls
• Integration of innovative developments in a platform for the management of software quality of critical systems. Funded by: Indra Sistemas. 2014 - 2015. Coordinator: Marisol García Valls

Past projects:

• iLAND: (activo) mIddLewAre for deterministic dynamically reconfigurable NetworkeD embedded systems. (ARTEMIS Joint Technology Initiative, Comisión Europea); 2009 - 2012. Scientic and technical leader: Marisol García Valls
• ARTISTDesign: Network of Excellence on Embedded Systems Design (7th Framework Programme). IST-2007-214373; 2008-2012.
• ARTIST2: Network of Excellence - Embedded Systems Design. IST-2004-004527; 2004-2007.
• ARTIST: - Advanced Real-Time Systems. IST-2001-34820; 2001-2004.
• LEARN3: (TIN 2008-05163). CICyT; 2009 - April 2012.
• DDS: Pasarela entre DDS y Web services (TSI-020501-2008-159). Ministerio de Industria, Turismo y Comercio); 2008 - 2009.

Journal publications (indexed SCI - JCR):

1. Marisol García-Valls, T. Cucinotta, C. Lu.
   Challenges in real-time virtualization and predictable cloud computing.
   Journal of Systems Architecture, vol. 60(9), pp. 726-740. Elsevier. October 2014.
   
2. Marisol García Valls, I. Rodríguez López, L. Fernández Villar.
   iLAND: An Enhanced Middleware for Real-Time Reconfiguration of Service Oriented Distributed Real-Time Systems.
   IEEE Transactions on Industrial Informatics vol. 9(1), pp. 228-236. February 2013.
   Impact factor: Q1.
3. Marisol García-Valls, P. Uriol Resuela, F. Ibáñez Vázquez, P. Basanta-Val.
   Low complexity reconfiguration for real-time data-intensive service-oriented applications.
   Future Generation Computer Systems, vol. 37, pp. 191-200. Elsevier. DOI: 10.1016/j.future.2013.10.019 . July 2014.
   Impact factor: Q1
4. Marisol García-Valls, P. Basanta-Val.
   A real-time perspective of service composition: Key concepts and some contributions.
   Journal of Systems Architecture, vol. 59, pp. 1414-1423. DOI: 10.1016/j.sysarc.2013.06.008 . November 2013.
   Impact factor: Q2
5. Marisol García-Valls, P. Basanta-Val.
   Comparative analysis of two different middleware approaches for reconfiguration of distributed real-time systems.
   Journal of Systems Architecture, 60(2), pp. 221-233. DOI: 10.1016/j.sysarc.2013.08.010 . January 2014.
   
6. Marisol García Valls, A. Crespo, J. Vila.
   Resource Management for Mobile Operating Systems based on the Active Object Model..
   International Journal on Computer Systems Science & Engineering - Accepted for publication Nov. 2012
   Impact factor: 0,319 (JCR 2011).
7. Pablo Basanta Val and Marisol García-Valls.
   A Distributed Real-Time Java-centric Architecture for Industrial Systems.
   IEEE Trans. on Industrial Informatics. (accepted on 24 January, 2013)
   Impact factor: Q1.
8. Julio Cano Romero and Marisol García-Valls
   Scheduling component replacement for timely execution in dynamic systems.
   Software Practice and Experience. Wiley. (Accepted in Nov. 2012.)
   JCR indexed.
9. Marisol García Valls, P. Basanta-Val.
   Usage of DDS data-centric middleware for remote monitoring and control laboratories.
   IEEE Transactions on Industrial Informatics Accepted in June. 2012
   Impact factor: Q1.
10. I. Estévez, P. Basanta, M. García Valls.
    Composing and scheduling service-oriented applications in TT-distributed Real-time Java environments.
    Concurrency & Computation: Practice & Experience.
    Accepted in October 2012 (to appear).
11. Marisol García-Valls, Alejandro Alonso, Juan Antonio de la Puente.
    A dual-band priority assignment algorithm for dynamic QoS resource management.
    Future Generation Computer Systems, Elsevier, vol. 28(6), pp. 902-912. June 2012 (acccepted in Nov. 2011).
    Impact factor: 2,365. Q1
12. P. Basanta, M. García Valls, I. Estevez.
    A dual programing model for distributed real-time Java.
    IEEE Transactions on Industrial Informatics vol. 7 (1), pp. 750-758. November 2011.
    Q1.
13. P. Basanta-Val, M. García-Valls, I. Estevez-Ayres y J M. Gutierrez.
    Módulo Empresarial para la Validación Formal de Ejercicios aplicado a la Programación Concurrente en Java.
    RIAI - Revista Iberoamericana de Automática e Informática Industrial
    To appear in 2012
    Q4.
14. P. Basanta-Val, M. García-Valls, H. Morillas, J. Cano.
    Sistema Distribuido de Subasta Dotado de Calidad de Servicio..
    RIAI - Revista Iberoamericana de Automática e Informática Industrial
    To appear in 2012
    Q4.
15. P. Basanta, M. García Valls, I. Estevez.
    Enhancing OSGi with Real-time Java Support..
    Software Practice and Experience (acccepted in 2011) To appear in 2012 Q3 .
16. Marisol García-Valls, Pablo Basanta-Val, Iria Estévez-Ayres.
    Real-time reconfiguration in multimedia systems.
    IEEE Transactions on Consumer Electronics, Vol. 57, No. 3, August 2011. Impact factor: 1,01 Q2
17. I. Estévez Ayres, Marisol García-Valls, Pablo Basanta-Val.
    A Hybrid Approach for Selecting Service-based Real-Time Composition Algorithms in Heterogeneous Environments. Concurrency and Computation: Practice and Experience, Vol. 23(15), pp.1816–1851, Oct 2011. Q2
18. Pablo Basanta-Val, Marisol García-Valls and Iria Estévez-Ayres.
    Fine tuning of the multiplexing facilities of Java's Remote Method Invocation Concurrency and Computation: Practice and Experience Accepted (July 2010) for future publication Q2
19. Pablo Basanta-Val, Marisol García-Valls and Iria Estévez-Ayres.
    Extending the Concurrency Model of the Real-Time Specification for Java Concurrency and Computation: Practice and Experience Accepted (July 2010) for future publication
Q2
20. Pablo Basanta-Val, Marisol García-Valls and Iria Estévez-Ayres.
    No-Heap Remote Objects for Distributed Real-time Java ACM Transactions in Embedded Computing Systems, Volume 10 Issue 1, August 2010
21. Pablo Basanta Val, Marisol García-Valls, and Iria Estévez-Ayres.
    Simple asynchronous remote invocations for distributed real-time Java. IEEE Trans. on Industrial Informatics, vol. 5(3), ppg. 289-298. August 2009.
    Impact factor: 2,3. Q1.
22. Pablo Basanta Val, Marisol García-Valls, and Iria Estévez-Ayres.
    A synchronous scheduling service for distributed real-time Java. IEEE Trans. on Parallel and Distributed Systems. Impact factor: 1,9 Q2. August 2009.
23. Iria Estévez-Ayres, Marisol García-Valls, Pablo Basanta-Val, J. Arias-Fisteus, and L. Almeida.
    QoS-aware Real-Time Composition Algorithms for Service-Based Applications. IEEE Trans. on Industrial Informatics. Impact factor: 2,3 ( Q1). August 2009.
24. P. Breuer, Marisol García-Valls
    Raiding the Noosphere: the open development of networked RAID support for the Linux Kernel
    Software: Practice and Experience. ISBN: 0038-0644. Vol. 36, no. 4, pp. 365-395. Jonh Wiley & Sons, Ltd. April 2006. ( Q3)
25. Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi.
    Guidelines for a graduate curriculum on embedded software and systems.
    ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)

Conferences (including Lecture Notes in Computer Science) :

• Marisol García-Valls and Felipe Ibáñez-Vázquez
  Integrating middleware for timely reconfiguration of distributed soft real-time systems with Ada DSA. In. Proc. 17th Ada Europe - International Conference on Reliable Software Technologies. LNCS - Accepted for publication. Stockholm, Sweeden. June 11-25, 2012. ( CORE B conference)
• M. García-Valls, R. Castro, I. Estévez, P. Basanta, I. Rodríguez
  A Bounded-Time Service Composition Algorithm for Distributed Real-Time Systems In High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems (HPCC-ICESS), 2012 IEEE 14th International Conference on; pp. 1413-1420. DOI: 10.1109/HPCC.2012.207 . Liverpool, UK. June 25-27, 2012.
• Iago Rodríguez-López and Marisol García-Valls. Architecting a common bridge abstraction over different middleware paradigms. In. Proc. 16th Ada Europe - International Conference on Reliable Software Technologies. LNCS vol. 6652. Edinburgh, UK. June 20-24, 2011. ( CORE B conference)
• Marisol García-Valls, F. Gómez Molinero. Real-Time Reconfiguration: A Vision and its Reality . In Proc. of IEEE International Conference on Industrial Informatics (IEEE INDIN 2011). IEEE Computer Society Press. Caparica, Portugal. July 26 - 29, 2011.
• Marisol García-Valls, Iria Estévez-Ayres, Pablo Basanta-Val. Supporting service composition and real-time execution through characterization of QoS properties. In 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Sponsored by ACM SIGSOFT, IEEE TCSE May 2011. Honolulu, Hawaii, USA
• [The ARTIST Consortium 05]
  (Marisol García-Valls Co-author of book chapters in) Part: Adaptive Real-Time Systems for Quality of Service Management Book: Embedded Systems Design: The ARTIST Roadmap for Research and Development ISSN: 0302-9743; ISBN: 3-540-25107-3; DOI: 10.1007/b106761 Lecture Notes in Computer Science. Vol. 3436 / 2005. B. Bouyoussonouse, J. Sifakis eds. Springer-Verlag GmbH ISSN: 0302-9743 Electronic Edition
• Iria Estévez-Ayres, Marisol García-Valls, Pablo Basanta-Val and Iván Fernández-Pacheco.
  Using Android Smartphones in a Service-Oriented Video Surveillance System.  IEEE Conference on Consumer Electronics
• Marisol García-Valls, Pablo Basanta-Val, and Iria Estévez-Ayres. Real-Time Software Framework for Supporting Reconfiguration in Consumer Electronics. IEEE Conference on Consumer Electronics
• Pablo Basanta-Val, Marisol García-Valls and Iria Estévez-Ayres. Real-Time Distribution Support For Residential Gateways Based on OSGi. IEEE Conference on Consumer Electronics
• Marisol García-Valls, Iago Rodríguez-López, Laura Fernández Villar, Iria Estévez-Ayres and Pablo Basanta-Val. Towards a middleware architecture for deterministic reconfiguration of service-based networked applications ETFA 2010 (Emerging Tecnologies and Factory Automation). 13-16 September, Bilbao (SPAIN)
• Pablo Basanta-Val, Marisol García-Valls and Iria Estévez-Ayres. Neutral Architecture for Distributed Real-Time Java based on RMI and RTSJ ETFA 2010 (Emerging Tecnologies and Factory Automation). 13-16 September, Bilbao (SPAIN) Electronic Edition. Bibtex.
• Marisol García-Valls, Pablo Basanta-Val, Iria Estévez-Ayres. Adaptive real-time video transmission based on DDS. 8th IEEE International Conference on Industrial Informatics. (IEEE INDIN 2010). IEEE Computer Society Press. Osaka, Japan. 13-16 July 2010.
• Marisol García-Valls, Iria Estévez-Ayres, Pablo Basanta-Val. Dynamic Priority Assignment Scheme for Contract-Based QoS Resource Management. 7th IEEE International Conference on Embedded Software and Systems. (IEEE ICESS 2010, CORE C Conference). IEEE Computer Society Press. Bradford, UK. May 29 - June 1 2010.
• Marisol García-Valls, Pablo Basanta-Val, Iria Estévez-Ayres. A component model for homogeneous implementation of reconfigurable service-based distributed real-time applications. In International Workshop on Distributed Architecture modeling for Novel component based Embedded Systems, DANCE 2010. Tozeur, Tunisia. May 29-30, 2010. IEEE Computer Society Press. Tozeur, Tunisia. 29-30 May, 2010. (Accepted for publication).
• Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres. Towards a Cyber-Physical Architecture for Industrial Systems via Real-Time Java Technology. International Symposium on Advanced Topics on Embedded Systems and Applications (ESA 2010). Bradford, UK. May 29 - June 1 2010. (Accepted for publication)
• Marisol García-Valls, Alejandro Alonso Muñoz, Juan A. de la Puente Alfaro. Dynamic Adaptation Mechanisms in Multimedia Embedded Systems IEEE International Conference on Industrial Informatics. (IEEE INDIN 09). IEEE Computer Society Press. Cardiff, UK. 24-26 June 2009.
• Marisol García-Valls, Alejandro Alonso Muñoz, Juan A. de la Puente Alfaro. Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems IEEE International Conference on Embedded Software and Systems. (IEEE ICESS 09, CORE C Conference). IEEE Computer Society Press. HangZhou, Zeijang, China. 25-27 May, 2009.
• Marisol García-Valls, Pablo Basanta-Val, Iria Estévez-Ayres. Concurrency Programming Models in Real-Time Mobile Platforms In Proc. of the 4th International IEEE Service Oriented Architectures in Converging Networked Environments. (IEEE SOCNE'09) Bradford, UK. May 2009.
• Marisol García-Valls, Alejandro Alonso Muñoz, Juan A. de la Puente Alfaro. Time Predictable Reconfiguration with Contract Based Resource Management In Proc. of the 4th International IEEE Service Oriented Architectures in Converging Networked Environments. (IEEE SOCNE'09) Bradford, UK. May 2009.
• Iria Estévez-Ayres, Marisol García-Valls, Luís Almeida, and Pablo Basanta-Val. Solutions for Supporting Composition of Service-Based Real-Time Applications Proc. of the 11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing, ISORC 2008. May 5 - May 7, 2008. Orlando, Florida, USA. Electronic Edition. Bibtex.
• Iria Estévez-Ayres, Luís Almeida, Marisol García-Valls, and Pablo Basanta-Val. An Architecture to Support Dynamic Service Composition in Distributed Real-Time Systems Proc of the 10th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing, ISORC 2007. May 7 - May 9, 2007. Santorini Island, Greece. Electronic Edition Bibtex
  
• Iria Estévez-Ayres, Marisol García-Valls, and Pablo Basanta-Val. Enabling WCET-based composition of service-based real-time applications in Journal ACM SIGBED (Special Interest Group on Embedded Systems) Review, Vol. 2, No. 3, July 2005. Special Issue on the Second Workshop on High Performance, Fault Adaptive, Large Scale Embedded Real-Time Systems (FALSE-II). ISSN: 1551-3688 Electronic Edition Bibtex
• Peter Breuer, Marisol García-Valls. Static Deadlock Detection in the Linux Kernel. 9th International Conference on Reliable Software Technologies. Ada-Europe 2004. Lecture Notes in Computer Science. Vol. no. 3063. Palma de Mallorca, June 2004.
• M.A. de Miguel José F. Ruiz, and Marisol García-Valls QoS-Aware Component Frameworks. In Proceedings of the 10th International Workshop on Quality of Service - IWQoS 2002. ( CORE A+ conference) IEEE Communications Society. May 2002.

Other publications:

Many more to list here: national conferences and some forgotten ones. No time to list them

Updated by Marisol García Valls, on June 10th, 2012.