CONTACT US TODAY: +353 61 213 028

Hub and Spoke Research

Hub comprises four core research areas

Hub A : Methods & Standards For High Integrity Systems (largely concerned with design-time).

The development of software that is reliable, secure and efficient has been identified as a significant on-going challenge by the US President’s Council of Advisors on Science & Technology (2012). Led by Lero Chief Scientist Prof Brian Fitzgerald, research is carried out on formal methods, model-driven development and agile methods in a variety of contexts including medical devices, financial software development  and global software development. View the research impact Lero has made in this area

Hub B : Autonomous and Adaptive Systems (has a large focus on run-time adaptation).

Increasingly, systems are required to accommodate changes while remaining continuously available. Led by Prof Mike Hinchey, formerly Director of NASA’s software engineering laboratory, this hub addresses run-time adaptation techniques that allow a system to react to potentially unforeseen changes in its environment. Adaptive systems off er the possibility of greater automation and utilisation of   resources via the so-called “self-* properties” such as self-confi guration, self-healing, self-optimisation and self-protection, and are increasingly important to deliver the Internet of Things concept. View the research impact Lero has made in this area

Hub C : Software Performance

Cloud-based applications and other large-scale systems generate huge streams of monitoring data. These streams need to be processed in real time in order to detectprecursor signs of performance degradation and trigger appropriate remedial actions. Led by Prof John Murphy, this hub provides approaches to improve the performance and reliability of Cloud applications, through monitoring,  testing, migration, and integration. This research also focuses on design and performance of parallel processor architectures, to maximise performance while minimising power consumption  especially relevant in data centres, for example. View the research impact Lero has made in this area

Hub D : Security & Privacy

Due to the proliferation of pervasive and highly critical software, techniques to engineer secure software are urgently needed. Led by Prof Bashar Nuseibeh, EuropeanResearch Council (ERC) Advanced Grant recipient, this hub will combine security-bydesign, adaptive security, and forensic analysis in an engineering framework to support the development of dynamic access control  systems, verification of security and privacy compliance for complex systems, and forensic analysis of systems implicated in security breaches and cybercrime. View the research impact Lero has made in this area

 

Spokes focus on key priority areas addressing challenges faced by industry partners

Strand A: Methods

Theme A1: Contemporary & Emerging Software Development Methods

Theme A2: Model-driven Engineering & Evolution

Theme A3: Architecture & Design of Smart Systems    

Theme A4: Formal Methods for High Integrity, Distributed & Adaptive Systems

Strand B: Autonomous & Adaptive

Theme B1: Modelling and Verification of Adaptive and Cyberphysical Systems

Theme B2:  Machine Learning for Software Engineering

Strand C: Software Performance

Theme C1: Performance Management of Large Scale Systems

Theme C2: Software for Efficient Analysis of Complex Scientific Big Data

Theme C3: Testing the Performance of Large Scale Systems (LSS)

Strand D Security & Privacy

Theme D1: Engineering adaptive security, privacy and forensics

Theme D2: Calculi for ambient Security