You are here: Home / Infrastructures / Res. Infrastructure
Large-Scale Informatics Systems Laboratory (LaSIGE)
Identification
Hosting Legal Entity
University of Lisbon
Address:
Av. Rovisco Pais, MicroLab-Tecnico, Campus Alameda, Lisboa, PO: 1049-001, Grande Lisboa (Portugal)
Location
Faculdade de Ciências da Universidade de Lisboa Departamento de Informática Edifício C6, Piso 3, Lisboa, PO: 1749-016 (Portugal)
Structure
Type Of RI
Single-sited
Coordinating Country
Portugal
Status
Status
Current Status:
Operational since 1998
Scientific Description
LaSIGE is a research unit of the Department of Computer Science andEngineering (DI) of the University of Lisbon (ULisboa), Faculty of Sciences (FCUL). LaSIGE performs a number of research activities in several sub-areas of computer science and engineering including:human-computer interaction and multimedia; information management, net-centric, parallel and distributed computing; software engineering; and security and dependability.The current research lines pursued, which constitute guiding vectors for LaSIGE researchers, are: Biomedical Informatics; Fault and Intrusion Tolerance in Open Distributed Systems; Human Computer Interaction and Multimedia; Methods and Techniques for Engineering Software Systems;Timeliness and Adaptation in Dependable Systems.

RI Keywords
Security and dependability, Human-computer interaction and multimedia, Information management, Software engineering and net-centric computing
Classifications
RI Category
Bio-informatics Facilities
Databases
Research Bibliographies
Data Mining and Analysis (Methodological) Centers, including statistical analysis
Software Service Facilities
Data Archives, Data Repositories and Collections
Distributed Computing Facilities
Scientific Domain
Information Science and Technology
Services
xAmp

- a protocol suite for group communication; http://www.navigators.di.fc.ul.pt/software/xAMp/xAMp.html.

MobileWaaT - Mobile Web accessibility assessment Tool

http://www.accessible-eu.org/index.php/wcag-20-assessment-tool.html.

JITT

- a set of tools and libraries for intrusion tolerance using the Java programming language, including implementations of Byzantine Paxos and verifiable secret sharing; http://www.navigators.di.fc.ul.pt/software/jitt/.

Mool

- a mini object-oriented language in a Java-like style with support for concurrency, that allows programmers to specify class usage protocols as types; http://gloss.di.fc.ul.pt/mool/.

SMaRt

- a Byzantine-fault-tolerant state machine replication library developed in Java with simplicity and robustness as primary requirements; https://code.google.com/p/bft-smart/.

AGUIA/J

- Pedagogical environment for experimenting object-oriented programming in Java; http://www.aguiaj.org.pt/.

hsSim

- an extensible interoperable object-oriented n-Level hierarchical scheduling simulator; https://code.google.com/p/hssim/.

SePi

- a concurrent, message-passing programming language based on the pi-calculus; http://gloss.di.fc.ul.pt/sepi.

MPI Sessions

- toolchain for validating Message Passing Interface programs written in the C language; http://gloss.di.fc.ul.pt/MPISessions.

QualWeb Evaluator

http://accessible-serv.lasige.di.fc.ul.pt/~qualweb/evaluator_online/en/.

NAMS - Non-contiguous Atom Matching Structural Similarity

http://nams.lasige.di.fc.ul.pt/.

BICA

- an extension of the Java language that enables the verification of Java programs against a session type specification; http://plone.di.fc.ul.pt/gloss/bica.

Therminfo - Collecting, Retrieving, and Estimating Reliable Thermochemical Data

http://therminfo.lasige.di.fc.ul.pt/.

ProteinOn - Protein Interactions and Ontology

http://www.lasige.di.fc.ul.pt/webtools/proteinon/.

Appia

- a layered communication toolkit; http://appia.di.fc.ul.pt/wiki/index.php?title=Main_Page.

MIL - Multithreaded Intermediate Language

http://gloss.di.fc.ul.pt/mil.

CIDS - Citation Impact Discerning Self-citations

http://cids.fc.ul.pt/cids_2_3/.

TCB/TTCB

- a distributed wormhole that provides a set of time and security related services; http://www.navigators.di.fc.ul.pt/software/tcb/index.htm.

RT-PSS

- a real-time proactive secret sharing library for RTAI (Real Time Application Interface); http://sourceforge.net/projects/rt-pss/.

Adaptare

- a framework for automatic and dependable adaptation in dynamic environments; http://www.navigators.di.fc.ul.pt/software/Adaptare.jar.

DepSpace

- a Byzantine fault-tolerant coordination service based on the tuple space model; http://www.navigators.di.fc.ul.pt/software/depspace/.

PESTT

- an Eclipse plug-in for learning and designing unit tests for the Java language; http://pestt.github.io/.

ConGu

- a tool that supports the checking of Java classes against property-driven algebraic specifications; http://gloss.di.fc.ul.pt/congu.

B3PP - Blood Brain Barrier Penetration Prediction

http://b3pp.lasige.di.fc.ul.pt/.

Equipment
A cluster of high‐performance servers for information integration experiments
40+ computer farm for distributed systems experiments
A small audio‐video studio for HCI experiments
Restricted and isolated network for security experiments
Collaborations
Networks
SEGRID - Security for smart Electricity GRIDs
ACCESSIBLE - Accessibility Assessment Simulation Environment for New Applications Design and Development
BiobankCloud - Scalable, Secure Storage of Biobank Data
SecFuNet - Security for Future Networks
ITACA - Innovation Technologies and Applications for Coastal Archaeological sites
ASTARTE - Assessment, STrategy And Risk Reduction for Tsunamis in Europe
MASSIF - MAnagement of Security information and events in Service InFrastructures
TClouds - Trustworthy Clouds Privacy and Resilience for Internet-scale Critical Infrastructure
KARYON - Kernel-Based ARchitecture for safetY-critical cONtrol
GUIDE—Gentle User Interfaces for Disabled and Elderly Citizens
Date of last update: 09/07/2014
Printable version