António Casimiro

Research

Activities

  (PC Member)
REACTION'14: 3rd International Workshop on Real-Time and Distributed Computing in Emerging Applications
Dec 2, 2014, Rome, Italy
Submission deadline: TBA
  (PC Co-chair)
SRDS'14: 33rd International Symposium on Reliable Distributed Systems
Oct 6-9, 2014, Nara, Japan
  (PC Member)
ASCoMS'14: 3rd Workshop on Architecting Safety in Collaborative Mobile Systems
September 10, 2014, Florence, Italy
  (PC Member)
INDIN'14: 12th IEEE International Conference on Industrial Informatics
July 27-30, 2014, Porto Alegre, Brazil
  (PC Vice chair)
ADSN'14: 13th Int. Workshop on Assurance in Distributed Systems and Networks
June 30 - July 3, 2014, Madrid, Spain
  (PC Member)
DSS'14: IEEE International Workshop on Dependable and Secure Services
June 27, 2014, Anchorage, Alaska, USA
  (PC Member)
DCDV'14: The Fourth International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology
June 23, 2014, Atlanta, GA, USA
  (PC Member)
WoSiDA'14: 4th Workshop on Autonomic Distributed Systems, in conjunction with the 32nd Brazilian Symposium on Computer Networks and Distributed Systems - SBRC 2014
May 5-9, 2014, Florianópolis, Brazil
  (PC Member)
APRES'14: 6th Workshop on Adaptive and Reconfigurable Embedded Systems
April 14-17, 2014, Berlin, Germany
  (PC Member)
SAC'14: 29th ACM Symposium on Applied Computing
9th Dependable and Adaptive Distributed Systems track
March 24-28, 2014, Gyeongju, Korea
  (Organizer)
SDMCMM'13: 2nd Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management
December 9, 2013, Beijing, China
  (PC Member)
Middleware'13: 14th ACM/IFIP/USENIX International Middleware Conference
December 9-13, 2013, Beijing, China
  (PC Member)
SRDS'13: 32nd International Symposium on Reliable Distributed Systems
Sep 30 - Oct 3, 2013, Braga, Portugal
  (PC Member)
ASCoMS'13: 2nd Workshop on Architecting Safety in Collaborative Mobile Systems
September 25, 2013, Toulouse, France
  (PC Member)
SAFECOMP'13: 32nd International Conference on Computer Safety, Reliability and Security
September 24-27, 2013, Toulouse, France
  (PC Member)
SOBRES'13: 2nd Workshop on Software-Based Methods for Robust Embedded Systems
September 16, 2013, Koblenz, Germany
  (PC Member)
INDIN'13: 11th IEEE International Conference on Industrial Informatics
July 29-31, 2013, Bochum, Germany
  (PC Member)
DCDV'13: The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology
June 24, 2013, Budapest, Hungary
  (PC Member)
EWDC'13: 14th European Workshop on Dependable Computing
May 15-16, 2013, Coimbra, Portugal
  (PC Member)
WoSiDA'13: 3rd Workshop on Autonomic Distributed Systems, in conjunction with the 31st Brazilian Symposium on Computer Networks and Distributed Systems - SBRC 2013
May 6-10, 2013, Brasília-DF, Brazil
  (PC Member)
APRES'13: 5th Workshop on Adaptive and Reconfigurable Embedded Systems
April 8, 2013, Philadelphia, USA
  (PC Member)
SAC'13: 28th ACM Symposium on Applied Computing
8th Dependable and Adaptive Distributed Systems track
March 18-22, 2013, Coimbra, Portugal
  (Organizer)
SDMCMM'12: Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management
December 3-7, 2012, Montreal, Quebec, Canada
  (PC Member)
Middleware'12: 13th ACM/IFIP/USENIX International Middleware Conference
December 3-7, 2012, Montreal, Quebec, Canada
  (PC Member)
CRC'12: 12ª Conferência sobre Redes de Computadores
November 15-16, 2012, Aveiro, Portugal
  (Organizer)
ASCoMS'12: Workshop on Architecting Safety in Collaborative Mobile Systems
September 25, 2012, Magdeburg, Germany
  (PC Member)
SRDS'12: 31st International Symposium on Reliable Distributed Systems
October 8-11, 2012, Irvine, California, USA
  (PC Member)
ADVCOMP'12: The 6th International Conference on Advanced Engineering Computing and Applications in Sciences
September 23-28, 2012, Barcelona, Spain
  (PC Member)
SOBRES'12: 1st Workshop on Software-Based Methods for Robust Embedded Systems
September 19, 2012, Brunswick, Germany
  (PC Member)
DEPEND'12: The 5th International Conference on Dependability
August 19-24, 2012, Rome, Italy
  (PC Member)
DSN-DCCS'12: The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks
June 25-28, 2012, Boston, Massachusetts, USA
  (PC Member)
DAIS'12: 12th IFIP International Conference on Distributed Applications and Interoperable Systems
June 13-16, 2012, Stockholm, Sweden
  (PC Member)
WoSiDA'12: 2nd Workshop on Autonomic Distributed Systems, in conjunction with the 30th Brazilian Symposium on Computer Networks and Distributed Systems - SBRC 2012
April 30 - May 4, 2012, Ouro Preto, MG, Brazil
  (PC Member)
APRES'12: 4th Workshop on Adaptive and Reconfigurable Embedded Systems
April 16, 2012, Beijing, China
  (PC Member)
SAC'12: 27th ACM Symposium on Applied Computing
Dependable and Adaptive Distributed Systems track
March 25-29, 2012, Riva del Garda (Trento), Italy
  (PC Member)
IoT'11: IEEE/ACM International Conference on Internet of Things
October 19-22, 2011, Dalian, China
  (PC Member)
DNCMS'11: 4th International Workshop on Dependable Network Computing and Mobile Systems
October 4, 2011, Madrid, Spain
  (Proceedings Chair)
SRDS'11: 30th IEEE International Symposium on Reliable Distributed Systems
October 4-7, 2011, Madrid, Spain
  (PC Member)
AVOCS'11: 11th International Workshop on Automated Verification of Critical Systems
September 12-15, 2011, Newcastle upon Tyne, England
  (PC Member)
DEPEND'11: The 4th International Conference on Dependability
August 21-27, 2011, French Riviera, France
  (PC Member)
CSE'11: The 14th IEEE International Conference on Computational Science and Engineering
August 24-26, 2011, Dalian, China
  (PC Member)
COMSWARE'11: Fifth International Conference on COMmunication System softWAre and middlewaRE
July 4-7, 2011, Verona, Italy
  (PC Member)
ADSN'11: Tenth International Workshop on Assurance in Distributed Systems and Networks
in conjunction with the 10th International Symposium on Autonomous Decentralized Systems (ISADS 2011)
(Rescheduled) June 29 - July 1, 2011, Kobe, Japan
  (PC Member)
DAIS'11: The 11th IFIP International Conference on Distributed Applications and Interoperable Systems
June 6-9 2011, Reykjavik, Iceland
  (PC Member)
WoSIDA'11: I Workshop on Autonomic Distributed Systems
May 30, 2011, Campo Grande, Mato Grosso do Sul, Brazil
  (PC Member)
LADC'11: 5th Latin American Dependable Computing Conference
April 25-29, 2011, São José dos Campos, São Paulo, Brazil
  (PC Member)
SAC'11: 26th ACM Symposium on Applied Computing
Dependable and Adaptive Distributed Systems track
March 21-25, 2011, Taichung, Taiwan
  (PC Member)
GCM'10: 1st International Workshop on Green Computing Middleware
November 29 - December 3, 2010, Bangalore, India
  (PC Member)
DNCMS'10: 3rd International Workshop on Dependable Network Computing and Mobile Systems
In conjunction with SRDS'10
November 1-3, 2010, IIT Delhi, Delhi, India
  (PC Member)
SRDS'10: 29th International Symposium on Reliable Distributed Systems
November 1-3, 2010, IIT Delhi, Delhi, India
  (PC Member)
ADVCOMP'10: The 4th International Conference on Advanced Engineering Computing and Applications in Sciences
October 25-30, 2010, Florence, Italy
  (PC Member)
DEPEND'10: The 3rd International Conference on Dependability
July 18-25, 2010, Venice, Italy
  (PC Member)
DAIS'10: The 10th IFIP International Conference on Distributed Applications and Interoperable Systems
June 7-10, 2010, Amsterdam, Netherlands
  (PC Member)
ADVCOMP'09: The 3rd International Conference on Advanced Engineering Computing and Applications in Sciences
October 11-16, 2009, Silema, Malta
  (PC Member)
APRES'09: 2nd Workshop on Adaptive and Reconfigurable Embedded Systems
Within ESWeek 2009
October 11, 2009, Grenoble, France
  (PC Member)
DNCMS'09: Dependable Network Computing and Mobile Systems Workshop
In conjunction with SRDS'09
September 27-30, 2009, Niagara Falls, New York, USA
  (PC Member)
SRDS'09: 28th International Symposium on Reliable Distributed Systems
September 27-30, 2009, Niagara Falls, New York, USA
  (Co-organizer)
WADS'09: DSN 2009 Workshop on Architecting Dependable Systems
June 29, 2009, Estoril, Portugal
  (PC Member and Finance Chair)
DSN'09: The 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
June 29 - July 2, 2009, Estoril, Portugal
  (PC Member)
DEPEND'09: The 2nd International Conference on Dependability
June 18-23, 2009, Athens, Greece
  (Publicity Co-Chair)
ICDCS'09: The 29th International Conference on Distributed Computing Systems
June 22-26, 2009, Montreal, Quebec, Canada
  (PC Member)
DAIS'09: The 9th IFIP International Conference on Distributed Applications and Interoperable Systems
June 9-11, 2009, Lisbon, Portugal
  (PC Member)
EWDC'09: The 12th European Workshop on Dependable Computing
May 14-15, 2009, Toulouse, France
  (PC Member)
DNCMS'08: Dependable Network Computing and Mobile Systems Workshop
In conjunction with SRDS'08
October 5, 2008, Napoli, Italy
  (PC Member)
SRDS'08: 27th International Symposium on Reliable Distributed Systems
October 6-8, 2008, Napoli, Italy
  (PC Member)
ADVCOMP'08: The Second International Conference on Advanced Engineering Computing and Applications in Sciences
September 29 - October 4, 2008, Valencia, Spain
  (Guest editor)
Special Issue on: "Security, Trust, and Privacy in DTN and Vehicular Communications"
International Journal of Autonomous and Adaptive Communications Systems (IJAACS)
  (Publicity Co-Chair)
DEBS'08: 2nd International Conference on Distributed Event-Based Systems
July 4-8, 2008, Rome, Italy
  (PC Member)
DAIS'08: 8th IFIP International Conference on Distributed Applications and Interoperable Systems
June 4-6, 2008, Oslo, Norway
  (PC Member)
MAI'08: 2nd Workshop on Middleware-Application Interaction
Co-located With DisCoTec federated conferences 2008
June 3, Oslo, Norway
  (PC Member)
APRES'08: Workshop on Adaptive and Reconfigurable Embedded Systems
In conjunction with the CPSWEEK'08 and RTAS'08
April 21, 2008, St. Louis, MO, USA
  (PC Member)
SAC'08: 23rd ACM Symposium on Applied Computing
Dependable and Adaptive Distributed Systems track
March 16-20, 2008, Fortaleza, Ceara, Brazil
   

Current projects

 

KARYON: Kernel-based ARchitecture for safetY-critical cONtrol
Sponsoring bodies: EU-FP7
Partners: FCUL (P), Magdeburg University (D), Chalmers University (S), GMV-Skysoft (P), Embraer (BR), SP (S), 4S Group (I)
Start date: October, 2011
Duration: 3 years

KARYON addresses the problem of finding robust cruising strategies for the vehicles based on strategy information from other vehicles, an estimation of the global system state, and how confident one is about this estimation. This problem is not trivial, since there are no obvious or aprioristic “safe states” or “safe” manoeuvres to do in case of too little, too unreliable, or too inconsistent information about the environment and other vehicles. KARYON will define a system architecture that is based on a small local safety kernel that will prevent dangerous behaviour. Because this is a very small subsystem compared to the overall complex control system, its predictably can be justified. This is essential for guaranteeing overall safety along a set of safety rules. KARYON will further investigate the relevant fault detection concepts, particularly for the sensor systems, needed to show fulfilment of dependability attributes and argue about safety according to safety standards. Simulation and mixed reality techniques will be developed to validate the approach. KARYON will integrate concepts in advanced event dissemination middleware and in improved simulation and fault-injection tools for assessing the behaviour of autonomous, mobile systems under failure conditions. The project will implement proof-of-concept prototypes and a simulation-based demonstration of the results for scenarios from the automotive and avionics areas, respectively.

 

TRONE - Trustworthy and Resilient Operations in a Network Environment
Sponsoring bodies: FCT
Partners: FCUL, FCTUC, Carnegie Mellon University, PT Comunicações
Start date: October, 2010
Duration: 3 years

The leading objective of TRONE is ensuring a seamless and dynamic enforcement of the dependability and security of network services in New Generation Networks. The project will focus on reducing hazards, both proactively, by increasing architecture robustness, and reactively, by improving the means for detection and recovery from anomalous situations like faults and attacks. It will investigate innovative ways to apply fault/failure diagnosis, detection and prevention/tolerance techniques, in symbiosis with automated or semi-automated reconfiguration and adaptation dynamics, in order to preserve stability of network operation against accidents or attacks.

 

MASSIF - MAnagement of Security information and events in Service Infrastructures
Sponsoring bodies: EU FP7
Project Number: 257475
Partners: Atos (Coordinator), CINI, Epsilon, Orange Labs, Fraunhofer, FCUL, SPIRAS, Télècom SudParis, AlienVault, T-Systems, UPM, 6CURE
Start date: October, 2010
Duration: 3 years

The main objective of MASSIF (MAnagement of Security information and events in Service Infrastructures) is to achieve a significant advance in the area of SIEM (Security Information and Event Management). On the base of proper multi-level event correlation MASSIF will provide innovation techniques in order to enable the detection of upcoming security threats and trigger remediation actions even before the occurrence of possible security incidences. Thus, MASSIF will develop a new generation SIEM framework for service infrastructures supporting intelligent, scalable, and multi-level/multi-domain security event processing and predictive security monitoring. Such service-level SIEM involves the modelling and formal validation of security, including trusted computing concepts, architecture for dependable and resilient collection of service events, supported by an extremely scalable and high performance event collection and processing framework, in the context of service-level attack models.

   

Past projects

 

CloudFIT - Fault and Intrusion Tolerance for Cloud Computing
Sponsoring bodies: FCT
Project Number: PTDC/EIA-CCO/108299/2008
Partners: FCUL
Start date: January, 2010
Duration: 2 years

Cloud computing has gained strong popularity in the past years. Cloud architectures typically combine a potentially large number of heterogeneous, loosely coupled and geographically dispersed computers connected via the Internet to form a single unified system that hosts service applications. Cloud architectures make it difficult to apply traditional security approaches. For example, global management policies are difficult to enforce when clouds cross administrative boundaries. At the same time, software complexity is steadily increasing, making it practically infeasible to guarantee the absence of security vulnerabilities in it. As a consequence, implementing dependable services in a cloud faced by malicious attacks is a challenging task. Intrusion tolerance is a paradigm that allows implementing services in a way that they can correctly provide their functionality in spite of malicious intrusions in some of the cloud nodes. The objective of this project is to define an infrastructure for intrusion-tolerant services in a cloud environment. In order to achieve this goal, we use intrusion-tolerant replication, which allows tolerating intrusions in a subset of the replicas.

 

CMU-PT partnership at FCUL
Partners: Carnegie Mellon University, FCUL
Start date: August, 2007
Duration: 5 years

The program has a duration of 5 years, divided in two phases. Besides community building actions, two exploratory projects are defined for the first phase (2 years): P1 - Security and Dependability of Large-scale Computer Systems; P2 - Secure Systems-of-Embedded-Systems. Focused projects, with a duration of 3 years, are to be defined at the end of phase 1.

 

HIDENETS - HIghly DEpendable ip-based NETworks and Services
Sponsoring bodies: European Commission - IST Programme
Project number: IST-FP6-STREP-26979
Total award amount: 2.500.000 Euro
Coordinator: AAU
Partners: AAU, BME, Carmeq, Fujitsu-Siemens, LAAS, Telenor, FCUL, WMC, UNIFI
Start date: January 1, 2006
Duration: 3 years

The aim of HIDENETS was to develop and analyze end-to-end resilience solutions for distributed applications and mobility-aware services in ubiquitous communication scenarios. Technical solutions were developed for applications with critical dependability requirements in the context of selected use-cases of ad-hoc car-to-car communication with infrastructure service support.

  TACID

TACID - Timely ACID Transactions in DBMS
Sponsoring bodies: FCT
Project Number: POSC/EIA/61568/2004
Total award amount: 54,500 Euro
Coordinator: FCTUC
Partners: FCTUC, FCUL
Start date: August 20, 2005
Duration: 2 years

The main goal of the project was to investigate ways to add timeliness properties to the typical ACID transactions. Three transaction classes were considered: 1. With no temporal requirements: i.e., ACID transactions 2. With restrict temporal requirements: for this class the database users will be able to specify a time frame in which the transaction has to be concluded to succeed. In this class, the system must provide timing failure detection, including in distributed transaction environments. 3. With probabilistic temporal requirements: in this class the transactions are always executed independently of time frame specified by the user. However, a probability for the execution of a given transaction on that time frame will be provided.

 

CORTEX - CO-operating Real-time senTient objects: architecture and EXperimental evaluation
Sponsoring bodies: European Commission - IST Programme
Project Number: IST-2000-26031
Total award amount: 2,094,000 Euro
Coordinator: FCUL
Partners: FCUL, T.C.D., Univ. Lancaster, Univ. Ulm
Start date: April 2001
Duration: 3 years

The key objective of CORTEX was to explore the fundamental theoretical and engineering issues necessary to support the use of sentient objects to construct large-scale proactive applications and thereby to validate the use of sentient objects as a viable approach to the construction of such applications.

 

MICRA - A Model for the Development of MIssion CRitical Applications
Sponsoring bodies: FCT
Project Number: PRAXIS/P/EEI/12160/1998
Total award amount: 39,500 Euro
Coordinator: FCUL
Partners: FCUL, DSG/UC
Start date: September 1999
Duration: 2 years

The objective of this project was the definition of a model suitable for mission-critical applications, considering timing fault-tolerance in the context of real-time systems as the crucial aspect to address. In this project we developed what we called a Timing Failure Detector, with the ability to perfectly detect all timing failures.

  DEAR-COTS

DEAR-COTS: Distributed Embedded Architectures using Commercial Off-The-Shelf Components
Sponsoring bodies: FCT
Project Number: PRAXIS/P/EEI/14187/1998
Total award amount: 38,750 Euro
Coordinator: FCUL
Partners: FCUL, IST, ISEP, FEUP
Start date: October 1999
Duration: 2 years

The main purpose of the DEAR-COTS project was the specification of an architecture based on the use of commercial off-the-shelf (COTS) components, able to support distributed computer controlled systems where safety and timeliness were major requirements.

  DINAS-DQS

DINAS - DQS: Design and Implementation of CNMA-based Networks for CIME Applications in SMEs
Sponsoring bodies: Esprit
Coordinator: Intracom
Partners: Intracom, Intrasoft, IPK-Berlin, INESC, Hyperion
Start date: October 1992
Duration: 2 years

Several ESPRIT projects have produced architectures and technologies for the interconnection of nodes in distributed systems: protocols, communication stacks. Some of these technologies have not solved all the problems encountered in their target environments: - the difficulty of integrating with efficiency different cell network technologies; - the lack of integration of cell networks with high-speed backbones such as FDDI; - the achievement of reliable real-time operation, namely in the input/output part of the system.

The objective of DINAS was to address these problems in the scope of a distributed quality control application in a large-scale factory setting. Technology emerging from the ESPRIT project CNMA was used in the project, being complemented with custom developments or other off-the-shelf components when necessary.