Brief Resume: The Navigators team today
- Navigators team at U. Lisboa (http://www.navigators.di.fc.ul.pt/)
- Faculty of Sciences of the University of Lisboa (FCUL, http://www.fc.ul.pt)
- University of Lisboa (UL)
- Large-Scale Informatic Systems Laboratory (LaSIGE)
- Fault and Intrusion Tolerance in Open Distributed Systems (FIT)
- Timeliness and Adaptation in Dependable Systems (TADS)
The Navigators team started its activities at INESC, where they stayed between 1985 and mid-1996. During the past few years, they have been very active in research in the fields of distributed systems, fault-tolerance, security and real-time, having produced a number of scientific results and successful technology transfers (see October 2005: It was twenty years ago today). The Navigators team moved to the University of Lisboa Faculty of Sciences (FCUL), and are now located in the Department of Informatics.
The Navigators at U. Lisboa (http://www.navigators.di.fc.ul.pt/) is one of the teams of LaSIGE (http://lasige.di.fc.ul.pt), the Large-Scale Informatics Systems Laboratory, a research group of the Department of Informatics of the Faculty of Sciences of the University of Lisboa.
The Faculty of Sciences of the University of Lisboa (FCUL, http://www.fc.ul.pt) is one of the faculties of the University of Lisboa (UL), whose origins date back to 1288 and has presently an estimated number of 20000 students, and a teaching staff of about 1600 highly qualified teachers. The Faculty of Sciences has approximately 5000 students, and is currently organised in 9 Departments, among which the Department of Informatics. With an average of more than 200 on-going projects, research activities at the Faculty of Sciences are carried out in 26 Laboratories and Research Centres or Institutes. Many of these R&D activities are developed together with international teams and are funded both at national and European levels.
The Large-Scale Informatic Systems Laboratory (LaSIGE) is a laboratory of the Department of Informatics (DI). Its core personnel are formed by professors and researchers belonging to two areas of the DI: Computing Systems Organization and Information Systems. Its mission is to organise the intervention of the department in research, teaching and training, and technology transfer, with regard to the domains pertaining to the core activity of the laboratory. The activity of the LASIGE is organised around the cross-fertilisation of the domains of distributed systems and information systems.
The Navigators address architectural, infrastructural and algorithmic issues of distributed systems (middleware), namely the aspects of large-scale, dependability, security and real-time, both of system support and applications.
The team has been very active in international research for more than 20 years now, having produced several PhD and MSc theses and hosted a number of post-doctorate students, and having taken part in several international research projects, amongst which: Delta-4; BROADCAST; MAFTIA; CORTEX.
Amongst current projects and actions, we count: AQUAMON, Abyss, ADMORPH, DiSIEM, IRCoC, SEAL, UPVN, Xivt. The Navigators at U. Lisboa coordinated the IST-FET CORTEX project. The team was also member of the CaberNet Network of Excellence (1990-2004), where it managed the Networks Shared Infrastructure, a trans-national distributed information system spread throughout the E.U.
The team is currently organised in 2 research lines:
Fault and Intrusion Tolerance in Open Distributed Systems (FIT)
Contact persons: Nuno Ferreira Neves
- exploit common ground between classical fault tolerance and security
- apply modular and distrib. fault tolerance techniques to problems in security
- (e.g., distributed intrusion detection; fail-controlled intrusion-resilient engines; malicious-FT communication)
Timeliness and Adaptation in Dependable Systems (TADS)
Contact persons: António Casimiro
- study of models, algorithms and platforms, yielding timely and safe operation
- assume that applications can operate in open and unpredictable environments, but still require some form of timeliness guarantees
- study intermediate synchrony and resilience models with accurate self-monitoring and capable of autonomous behaviour and dependable adaptation