Active
Description:
Modern society is increasingly dependent on large-scale software systems that are distributed, collaborative and communication-centred. Correctness and reliability of such systems depend on compatibility between components and services that are newly developed or may already exist. The consequences of failure are severe, including security breaches and unavailability of essential services. Current software development technology is not well suited to producing these large-scale systems, because of the lack of high-level structuring abstractions for complex communication behaviour.
This Action will use behavioural type theory as the basis for new foundations, programming languages, and software development methods for communication-intensive distributed systems. Behavioural type theory encompasses concepts such as interfaces, communication protocols, contracts, and choreography. As a unifying structural principle it will transform the theory and practice of distributed software development.
Duration: October 2012 - October 2016
Funding: European Cooperation in Science and Technology,
Action IC1201
Website: http://www.behavioural-types.eu/
Description:
Despite the proliferation and advancement of risk assessment methodologies for Critical Information Infrastructures (CIIs) most risk assessment frameworks do not adequately address the various cascading effects that are associated with security incidents occurring from interacting entities. This gap is very critical in the case of ports' security, given that ports are CIIs characterized by significant interdependencies at multiple levels (infrastructural, national/intra-sectoral). The main goal of the MEDUSA project is to alleviate the above-mentioned gap, through introducing, specifying and validating multi-dependency approaches to risk assessment, while also using them in the scope of risks assessment frameworks for ports' CIIs. MEDUSA will therefore open new horizons in the area of port security, through producing and sharing knowledge associated with the identification and assessment of cascading effects in the global ports' supply chain, with a view to predicting potential problems but also to minimize the consequences of diverge security incidents.
Duration: July 2014 to June 2016
Partners: University of Piraeus,
Europhar,
Singular Logic,
AIT
Funding: Prevention, Preparedness and Consequence Management of Terrorism and other Security-related Risks (CIPS) programme of the European Union (EU)
Website: http://athina.cs.unipi.gr/medusa/
Completed
Description:
Cloud computing is a new emerging paradigm for distributed systems whose goal is to offer the software as a service, allowing the deployment and management of data center services and / or clouds of devices accessible via the Internet through administrative domains, technology platforms and areas geographical and a high degree of autonomy with properties such as self-healing, self-provisioning, self-optimization and self-configuration. This program aims to make scientific breakthroughs needed to advance the state of the art in different areas of research associated with cloud computing to enable this paradigm. Thus computing concept is reprocessed through a globally distributed tissue (data centers, PCs, ubiquitous devices), services provisioning on demand automatically, reducing the complexity and cost of software resources, and increasing driveability and auto-provisioned deployment and transparently.
These systems also are managed autonomic self-provisioning on demand at competitive prices and with high quality service. This new paradigm will increase the accessibility of users administration services and businesses. On the one hand, propose new paradigms for cloud computing. It will design and develop cloud computing platforms that can be deployed in data centers and / or ubiquitous networks (Internet of things). On the other hand, will develop protocols for developing such systems such as distributed algorithms and provide desired properties such as autonomic behavior, security, scalability and availability. It will also address the need to materialize architectures such as service-oriented architectures, as well as the infrastructure of computing, communication and storage. Finally, we also address the modeling of users and applications to build on cloud computing platforms.
Duration: 2010 to 2014
Funding: Comunidad Autonoma de Madrid
Website: http://lsd.ls.fi.upm.es/clouds
Description:
The main scientific objective of this project is to develop practical algorithmic solutions that would yield reliable, Master-Worker Internet-based computations in the presence of both rational (selfish) and malicious nodes.
Duration: 2010 to 2012
Funding: Cyprus Research Promotion Foundation
Website: http://www.cs.ucy.ac.cy/ric/
Description:
This project investigates the operation latency of read and write operations of atomic register implementations that support multiple writers and multiple readers (MWMR). Such implementations comprise building blocks for more complex Distributed Storage Systems (DSS). Also, they can be used directly to implement distributed file systems, which are interesting on their own right. In summary this work aims to investigate:
(a) Is it possiple to devise algorithms implementing MWMR atomic registers with low operation latency?
(b) What is the practicality of such algorithms in the context of experimental simulations and
implementations in planetary scale networks?
Duration: 2010 to 2011
Funding: Cyprus Research Promotion Foundation
Website: http://www.cs.ucy.ac.cy/fastMWMR/
Description:
The recent explosive growth of the Internet gives rise to the possibility of a global computer of grand-scale consisting of Internet-connected computing entities (possibly mobile, with varying computational capabilities, connected among them with different communication media), globally available and able to provide to its users a rich menu of high-level integrated services that make use of its aggregated computational power, storage space, and information resources. Achieving this efficiently and transparently is a major challenge that can be overcome by introducing an intermediate layer, the overlay computer.
The goal of AEOLUS is to investigate the principles and develop the algorithmic methods for building such an overlay computer that enables this efficient and transparent access to the resources of an Internet-based global computer.
Duration: September 2005 to August 2009
Funding:
European Commission,
Research Directorate, Future and Emerging Technologies Unit (FET),
6th Framework Programme on Research, Technological Development and
Demonstration,
Information Society Technologies
Program (IST)
Website: http://aeolus.ceid.upatras.gr/
Description:
This project aims to develop a comprehensive infrastructure to support reliable network services. This is accomplished by creating a unique software architecture on which to develop applications that will run on different environments, such as networks of local and wide area environments. The proposed architecture will emphasize the reliability of services due to the increasing dependence of both organizations and individuals in computer systems. The reliability of a service is measured by attributes such as availability, adaptability, scalability and consistency of data accessed. Some of these attributes have not been able to be combined successfully so far, so addressing these attributes together poses a scientific challenge of utmost importance. To experimentally validate the resulting architecture, an application in an adaptive environment aimed at people with disabilities as well as an application for mobile e-commerce were developed.
Duration: 2006 to 2009
Funding: Comunidad Autonoma de Madrid
Website: http://lsd.ls.fi.upm.es/autonomic
Duration: January 2006 - December 2007
Funding:
Research Promotion Foundation,
Nicosia, Cyprus and
French Leading Agency for International Mobility, Paris, France -
Joint Program of Scientific and Technological Collaboration between
France and Cyprus
Description:
Information Systems like the physical Internet, the World Wide Web, telephone networks, mobile ad-hoc networks, or peer-to-peer networks have reached a level that puts them beyond our ability to deploy them, manage them, and keep them functioning correctly through traditional techniques. Reasons for this are their sheer size with millions of users and interconnected devices and their dynamics; they evolve dynamically over time, i.e., components change or are removed or inserted permanently. For such systems, we have to abandon the goal of global optimality.
Within DELIS, we therefore concentrate on developing self-regulating and self-repairing mechanisms that, on the one hand, are decentralized, scalable, and adapt to changes in their environments. On the other hand, these decentralized mechanisms have to lead to a globally acceptable behavior, avoiding undesirable ortd unstable situations.
We believe that the combination of insights from statistical physics, market mechanisms, and biological and social behavior with advanced algorithmic research in Computer Science is the right combination of expertise necessary to develop methods, techniques, and tools to cope with such challenges imposed by large scale information systems, and to contribute to the world-wide effort in complex systems research towards understanding the principles necessary to manage such systems.
Duration: January 2004 - December 2007
Funding:
European Commission,
Research Directorate,
Future and Emerging Technologies Unit (FET), 6th Framework Programme on
Research, Technological Development and Demonstration,
Information Society
Technologies Program (IST)
Website: http://delis.upb.de/
Description:
PROODOS project investigates the foundations of the modelling, development and analysis of dynamic systems. A dynamic system is a system with a dynamically-evolving interconnection composed of a changing number of components which can be created and destroyed as computation proceeds. The dynamic behaviour of these systems makes their understanding and development a challenging task. Thus, despite their wide use the need to create scientific methodologies for these complicated and continuously-evolving environments is widely recognized.
Duration: June 2006 - December 2007
Funding:
Research Promotion Foundation,
Nicosia, Cyprus
Website: http://www.cs.ucy.ac.cy/proodos/indexGB.htm
Duration: January 2002 - December 2004
Funding:
European Commission,
Research Directorate,
Future and Emerging Technologies Unit (FET), 5th Framework Programme on
Research, Technological Development and Demonstration,
Information Society
Technologies Program (IST),
Global Computing (GC) Proactive Initiative
Description:
The aim of the project is to discover new algorithmic concepts, identify key algorithmic problems in important applications, and contribute to the accelerated transfer of advanced algorithmic techniques into commercial systems.
Duration: March 2002 - June 2003; (extended through November 2003)
Funding:
European Commission,
Research Directorate, Future and Emerging Technologies Unit (FET),
5th Framework Programme on Research, Technological Development and
Demonstration,
Information Society
Technologies Program (IST)
Website: http://cs.au.dk/~gerth/alcom-ft/
Description:
The research program "ENDIKTIS" has been concerned with the study of architectures and mechanisms that support the provision of quality of service for fixed and mobile networks (e.g. constant low delay in the delivery of data, small percentage of lost data, and high and constant throughput), as well as the development of tools and theoretical methodologies for performance evaluation of such applications. The main objective of the program has been the extensive evaluation of architectures and protocols that have been proposed for providing quality of service in both fixed and mobile networks via extensive and realistic analysis and comparisons of their performance.
Duration: November 2001 - October 2003
Funding: Cyprus Research Promotion Foundation
Website: http://www.endiktis.cs.ucy.ac.cy/
Duration: January 2001 - December 2002
Funding:
Research Promotion Foundation, Nicosia, Cyprus
&
General Secretariat for Research and Technology, Athens, Greece - Joint
Program of Scientific and Technological Collaboration between Greece and
Cyprus
