SRDS'18: The 37th IEEE International Symposium on Reliable Distributed Systems
October 2-5, 2018, Salvador, Bahia, Brazil
Submission deadline: April 29, 2018
SAFECOMP'18: 37th International Conference on Computer Safety, Reliability and Security
September 18-21, 2018, Västerås, Sweden
EDCC'18: 14th European Dependable Computing Conference
Student Forum Track
September 10-14, 2018, Iaşi, Romania
INDIN'18: IEEE 16th International Conference on Industrial Informatics
July 18-20, 2018, Porto, Portugal
DSN'18: 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
June 25-28, 2018, Luxembourg
(PC Chair and Organizer)|
AdaEurope'18: 23rd International Conference on Reliable Software Technologies
June 18-22, 2018, Lisbon, Portugal
ISORC'18: 21st IEEE International Symposium on Real-Time Computing
May 29-31, 2018, NTU, Singapore
SAC'18: 33rd ACM/SIGAPP Symposium on Applied Computing
April 9-13, 2018, Pau, France
(Editorial Advisory Board Member)|
RCPS: Resilience of Cyber-Physical Systems - From Risk Modelling to Threat Counteraction
SAFECOMP'17: 36th International Conference on Computer Safety, Reliability and Security
September 12-15, 2017, Trento, Italy
AQUAMON: Dependable Monitoring with Wireless Sensor Networks in Water Environments
Sponsoring body: FCT
Project Number: PTDC/CCI-COM/30142/2017
Partners: FCiências.ID, FEUP, LNEC
Budget: 239.760,43¤ (FCiências.ID: 76.362,50¤)
Start date: October 1, 2018
Duration: 3 years
Continuous monitoring of aquatic environments using water sensors is important for several applications related to
the prevention of accidents, to water resources and aquaculture management and recreational activities. Thus, it is
fundamental to ensure the quality of the monitoring data in order to avoid false alarms or ignoring relevant events.
KARYON: Kernel-based ARchitecture for safetY-critical cONtrol
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.
TRONE - Trustworthy and Resilient Operations in a Network Environment
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
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.
CloudFIT - Fault and Intrusion Tolerance for Cloud Computing
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.
CMU-PT partnership at FCUL
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
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 - Timely ACID Transactions
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
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
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: Distributed Embedded Architectures using Commercial Off-The-Shelf Components
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: Design and Implementation of CNMA-based Networks for CIME Applications in SMEs
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.