Completed Research Projects

Automatic Scheduling for Critical Multi-Core Embedded Systems

Principal investigator: Christos Kloukinas
Funding: � 2610 (Total)
Funding source:EU Royal Society)
Duration: 2009
Overview: Funded short visit to the Verimag research laboratory in Grenoble, France, to collaborate with Dr Sergio Yovine and Dr Joseph Sifakis. The research was on the automatic scheduling of real-time tasks in embedded systems.

SERENITY - System Engineering for Security and Dependability

Principal investigator: George Spanoudakis
Funding: � 587,232 (City University London) - � 7.25m (Total)
Funding source:EU (F6 Integrated Project)
Duration: 2006 - 2009
Overview: The project is concerned with the development of a framework supporting the automated integration, configuration, monitoring and adaptation of security and dependability mechanisms for AmI ecosystems. Own work focuses on development of mechanisms for monitoring and diagnosis of threats and violations of security requirements and recovery from such violations.

GREDIA - Grid Enabled Access to Rich Media Content

Principal investigator:Andrea Zisman
Co-investigator:George Spanoudakis, Bill Karakostas
Funding: � 330,000 (City University London) - � 2.4m (Total)
Funding source: EU (F6 STREP Project)
Duration:2006-2009
Overview: The main goal of GREDIA is to design, implement and validate a reliable platform for the design, development and operational deployment of secure Grid business applications. This platform will support services allowing mobile devices to participate in the Grid applications in a secure way supported by the existence of a dedicated security framework.

PEPERS - Mobile Peer-to-Peer Security Infrastructure

Principal investigator: George Spanoudakis
Co-investigator: Andrea Zisman
Funding: � 323,164 (City University London) - � 1.9m (Total)
Funding source: EU (F6 STREP Project)
Duration:2006-2008
Overview: PEPERS is aimed at designing, implementing and validating a reliable platform with high-level support for the design, development and operational deployment of secure mobile peer-to-peer applications.

SeCSE - Service Centric Systems Engineering

Principal investigators: George Spanoudakis (Computing) and Neil Maiden (HCID) Co-Investigator: Andrea Zisman (Computing)
Funding: � 387,500 (Computing) and � 387,500 (HCID) (� 8.5m for the entire project)
Funding source: EU (F6 Intergrated Project)
Duration: 2004 - 2008
Overview:Development of methods, tools and techniques for developing and deploying web service based systems. The group focuses on run-time monitoring of service based systems and service discovery driven by architectural models and run-time violations of functional and quality-of-service requirements. It is also looking at mechanisms for context aware run time service discovery and service composition.

Monitoring Security Requirements and Solutions (PhD studenship)

Principal investigator(s): George Spanoudakis
PhD Student: Theoharis Tsigritis
Total funding: £ 40,000
Funding source: City University London
Duration: 2004 - 2007
Overview:Applying a run-time monitoring architecture on a system, to check whether the security requirements of the system can be met effectively. In case of a security violation, the monitoring results are processed and analysed for serving diagnostic purposes. The diagnostic task highlights the system part (component or group of components), which has displayed unexpected behaviour. By these means, the cause of the security violation can be spotted. .

NEVIS Principal investigator: Andrea Zisman
Co-Investigator: George Spanoudakis
Total funding: £ 15,000
Funding source: CSW Informatics Ltd
Duration: 2004
Overview: Evaluation of architectures and performance of XML-based healthcare applications .

Software Traceability for Product Family Systems (PhD studentship) Principal investigator(s): Andrea Zisman
PhD Student: Waraporn Jirapanthong
Total funding: £ 50,300
Funding source: Madihol University - Thailand
Duration: 2002 - 2006
Overview: Developing a traceability metamodel for product family systems and a tool to support automatic generation of traceability relations for software artefacts generated during the development of product family systems

Monitoring requirements for web-services (PhD studentship) Principal investigator(s): George Spanoudakis
PhD Student: Khaled Mahbub
Total funding: £ 40,000
Funding source: City University London
Duration: 2002 - 2005
Overview: Designing a framework for monitoring the compliance of systems composed of web-services with requirements set for them at run-time. The proposed framework assumes systems composed of web-services which are co-coordinated by a service composition process expressed in BPEL and uses event calculus to specify the requirements to be monitored. These requirements may include behavioural properties of a system which are automatically extracted from the specification of its composition process in BPEL and/or assumptions that system providers can specify in terms of events extracted from this specification.

Traceability for agent-oriented systems (PhD studentship) Principal investigator(s): Andrea Zisman
PhD Student: Gilberto Cysneiros
Total funding: £ 40,000
Funding source: City University London
Duration: 2002 - 2005
Overview: Development of a rule-based approach to support automatic generation of traceability relations for agent-oriented software artefacts and assist with the checking of completeness of those artefacts. Concentrating on goals and business models represented in i* and design models represented in Prometheus and code implemented in JADEX and JACK..

Handling Inconsistencies in Distributed Software Engineering Documents Principal investigator(s): Andrea Zisman
Total funding: £ 64,449
Funding source: EPSRC
Duration: 2001-2002
Overview: Developing methods and tools to allow inconsistency handling of distributed software engineering documents, in particular documents related to UML models.

WAICENT Information Bus Principal investigator(s): Andrea Zisman
Total funding: £ 33,000
Funding source: United Nations - Food and Agricultural Organisation
Duration: 2002
Overview: Applying Web Services technology to support multilingual access of data stored in various data sources, handle metadata in a generic way, and enable metadata to be used as exchange models throughout FAO.

Requirements Traceability Principal investigator(s): George Spanoudakis and Andrea Zisman
Total funding: £ 5,000
Funding source: Philips Research Labs - UK
Duration: 2001
Overview: The automatic generation of of traceability relationships between early software life-cycle artefacts

Intereference Management in Object Oriented Software Development (IMOOSD) Principal investigator(s): George Spanoudakis
Total funding: £ 49,000
Funding source: EPSRC
Duration: 1999 - 2000
Overview: The development of techniques to support the management of inconsistencies in partial, object-oriented static and behavioural models of software systems. The project generated a tool-supported method, called Reconciliation+, that supports the detection of overlaps and inconsistencies in object-oriented software models, and the diagnosis and handling of the latter.

Requirements Engineering Network Of International cooperating Research groups (RENOIR) Funded member: George Spanoudakis
Total funding: £ 5,000
Funding source: EU Framework IV - Network of Excellence
Duration: 1996 - 2000
Overview: RENOIR was a network of excellence funded by the European Union that included the main European groups involved in requirements engineering research. Our research within the network was concerned with the development of techniques to support the management of inconsistencies in requirements specifications.