Large-Scale Informatics Systems Laboratory (LaSIGE)
http://lasige.di.fc.ul.pt
Core Data
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
Mission and objectives
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
Information management, Human-computer interaction and multimedia, Security and dependability, Software engineering and net-centric computing
Classifications
RI Category
Data Mining and Analysis (Methodological) Centers, including statistical analysis
Databases
Research Bibliographies
Software Service Facilities
Data Archives, Data Repositories and Collections
Bio-informatics Facilities
Distributed Computing Facilities
Scientific Domain
Information Science and Technology
Services
AGUIA/J

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

Therminfo - Collecting, Retrieving, and Estimating Reliable Thermochemical Data

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

MobileWaaT - Mobile Web accessibility assessment Tool

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

ConGu

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

MPI Sessions

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

ProteinOn - Protein Interactions and Ontology

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

RT-PSS

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

CIDS - Citation Impact Discerning Self-citations

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

QualWeb Evaluator

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

SePi

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

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/.

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.

B3PP - Blood Brain Barrier Penetration Prediction

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

DepSpace

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

Appia

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

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/.

MIL - Multithreaded Intermediate Language

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

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/.

Adaptare

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

NAMS - Non-contiguous Atom Matching Structural Similarity

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

xAmp

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

hsSim

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

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.

PESTT

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

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