Search results

|document=Document for Publication-Dixit11a.pdf ...e been proposed. In this paper we describe Adaptare - a complete framework for dependable QoS adaptation. We assume that during its lifetime, a system alt

|document=Document for Publication-Brandao2012reliabilityJBCS.pdf ...echniques alone, but possible when they are combined. We advocate the need for thorougher system models, by showing vulnerabilities arising from incomplet

|document=Document for Publication-Craveiro12sapient.pdf |title=Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems

...f modifications to be introduced in the RTEMS application production chain for the implementation of AIR-based systems (exemplified through a proof of con

...ization of RTEMS, the Real-Time Executive for Multiprocessor Systems. This document addresses: (i) the AIR architecture specification; (ii) the AIR support to

|document=Document for Publication-Craveiro12hssim.pdf |booktitle=3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012)

|document=PEI-Cogo12MSc.pdf ... group properties supported by cloud providers or tools, and opportunities for cloud computing players contribute with diversity management area.

|document=Document for Publication-joaosousa2011.pdf |abstract=We present a new algorithm for state machine replication that is built around a leader-driven consensus pr

|document=Document for Publication-joaosousa2010.pdf ...n, and also show expected values of latency in the state transfer protocol for states different sizes. Finally, as far as we know, this work is the first

|document=CostaPBC11.pdf ...on Byzantine fault-tolerance paradigms. We believe this cost is acceptable for critical applications that require that level of fault tolerance.

|document=Document for Publication-Correia2012-CoC.pdf |abstract=MapReduce is a framework for processing large data sets largely used in cloud computing. MapReduce imple

|document=Document for Publication-PedroCosta 2013.pdf |abstract=MapReduce is often used for critical data processing, e.g., in the context of scientific or financial s

|document=Document for Publication-Padhy2011MiddlewarePoster.pdf |title=Trustworthy and resilient monitoring system for cloud infrastructures

|document=Document for Publication-Dixit2012SAC.pdf |abstract=Algorithms for solving distributed systems problems often use timeouts as a means to achie

|document=Document for Publication-Kreutz2012DAIS.pdf |title=A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures

|document=Document for Publication-Nezhad2012DSN-FA.pdf |title=A Multi-Layered Architecture for a Secure Virtualization Environment

|document=Document for Publication-garcia msc11.pdf ... vulnerabilities occur in more than one OS. We found this number to be low for several combinations of OS.

|document=Document for Publication-Casimiro2012DCDV.pdf |abstract=Cloud infrastructures play an increasingly important role for telecom operators, because they enable internal consolidation of resources

|document=Document for Publication-garcia12 diversity.pdf

|document=Document for Publication-Marques2012ASCOMS.pdf

|document=Document for Publication-Casimiro2012SSS.pdf |title=Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems

|document=Document for Publication-Araujo2012MGC.pdf |title=Replication for dependability on virtualized cloud environments

|document=Document for Publication-verissimo12tclouds.pdf the same basic components, for example, intrusion-tolerant

|document=Document for Publication-Rosa11INDIN.pdf ...stem applications at execution time. In this paper we present an algorithm for update application schedules, showing results from the proof-of-concept pro

|document=Document for Publication-Veronese13FTolerance.pdf ...utions the two algorithms run in the minimum number of communication steps for

|document=Document for Publication-Couto13Benchmarking.pdf |abstract=The increasing use of productivity and impact metrics for evaluation

|document=Document for Publication-Cogo13fitch.pdf ...ice replicas closer to their clients, obtain diversity in the replication (for resilience), recover compromised replicas, or rejuvenate ageing replicas. W

|document=Document for Publication-BFT-TO.pdf ... by replicating them in sets of servers. There have been several proposals for using SMR to tolerate arbitrary or Byzantine faults, including intrusions.

|document=Document for Publication-Kreutz13SDN.pdf ...ovides new ways to solve long-standing problems in networking --- routing, for instance --- while simultaneously allowing the use of security and dependab

|document=Document for Publication-Craveiro13laxity.pdf

|document=Document for Publication-Malichevskyy15MSc.pdf ...the last years has created the demand for authentication and authorization for these networks. The basic model usually requires a user, to access the netw

|document=Document for Publication-Craveiro13umpr.pdf ...ource model; (iii) component abstraction guidelines to select the platform for the UMPR interface. We also briefly describe how we are dealing with the r

|document=Usenix13-dsmr.pdf |abstract=State Machine Replication (SMR) is a fundamental tech- nique for ensuring the dependability of critical services in modern internet-scale in

|document=Document for Publication-NobregaDaCosta13safety.pdf |title=Safety Kernel for Cooperative Sensor-Based Systems

|document=Document for Publication-JSouza2013-LCN.pdf ...d on the analytical model, which is being integrated in the NS-2 simulator for validation. Reducing network inaccessibility is a crucial step to enable th

|document=Document for Publication-Botelho2014ewsdn.pdf ..., and materialize it by proposing and formalizing a practical architecture for small to medium-sized networks. A central component of our design is a repl

|document=Document for Publication-JSouza2013-ECRTS.pdf ...less network standards, providing a set of fundamental abstractions useful for both system design and application programming.

|document=SRDS-2013-Marques.pdf ... coordination, etc.) this problem cannot be ignored. Accordingly, we argue for, and show the efficacy of, using probabilistic models to characterize dynam

|document=Casimiro2013karyon.pdf ...KARYON contributions include improved simulation and fault-injection tools for evaluating safety assurance according to the ISO 26262 safety standard. The

|document=Alves2013.pdf |title=Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks

|document=Jesus2013.pdf ...o external disturbances affecting data accuracy. In this paper we motivate for the need of dependable data collection in harsh coastal and marine environm

|document=Document for Publication-AGuerreio2013-INFORUM.pdf |title=Improving NS-2 Network Simulator for IEEE 802.15.4 Standard Operation

|document=Document for Publication-AGUEREIRO-2014-SENSORNETS.pdf

|document=Document for Publication-Almeida2013Inforum.pdf This paper addresses the definition and design of fault-detection mechanisms for TSP hypervisors, covering both time and space domains. In spite of our focu

|document=Document for Publication-SP13-eBiobanking.pdf

|document=Document for Publication-Craveiro13PhD.pdf ...a compromise with size, weight and power consumption (SWaP), and open room for supporting self-adaptive behavior. To allow applying our results to a more

|document=Document for Publication-JsouzaRTN14.pdf |title=Low Level Error Detection For Real-Time Wireless Communications

|document=Document for Publication-RCPinto2014rv.pdf ... handling deviations from specification. Although this approach is fitting for some domains, it can have a nefarious influence in embedded real-time syste

|document=Publication-Cogo14biobankPoster.pdf |title=BiobankCloud - Platform as a Service for Biobanking

|document=Document for Publication-Sousa2013wan-evaluation.pdf

|document=Publication-Bessani14scfs.pdf ...nities inherent in the current cloud services through a set of novel ideas for cloud-backed file systems: always write and avoid reading, modular coordina

|document=Kreutz2014DSN FA.pdf |title=Anchors of Trust for Autonomic and Secure Configuration and Assessment in SDN

|document=Document for Publication-Sousa2014bft-smart.pdf |title=State Machine Replication for the Masses with BFT-SMART

|document=Document for Publication-Sousa2011bft-smart.pdf

|document=Document for Publication-Sousa2012poster bftsmart.pdf |title=... And StateMachine Replication for All with BFT-SMaRt

|document=Document for Publication-Sousa2014sbrc.pdf ...The last fifteen years have seen an impressive amount of work on protocols for Byzantine fault-tolerant (BFT) state machine replication (SMR). However, th

|document=Document for Publication-bessani2012tutorial.pdf

|document=Document for Publication-bessani2014tutorial.pdf ...some prominent applications for SMR and an example of the real code needed for implementing a dependable service using the BFT-SMART replication library.

|document=Document for Publication-garcia13diversity.pdf |title=Analysis of OS Diversity for Intrusion Tolerance

|document=Document for Publication-garcia13siem.pdf |title=An intrusion-tolerant firewall design for protecting SIEM systems

|document=Document for Publication-RaptorQ-SP2014.pdf so far. Its properties make it attractive for forward error

|document=Document for Publication-WAP-WWW2014.pdf ...sis) versus automatically obtaining that knowledge (with machine learning, for data mining). Given this more precise form of detection, we do automatic co

|document=Document for Publication-SmartMeter-INDIN2013.pdf

|document=Document for Publication-SITAN-DSN2014.pdf |title=SITAN: Services for Ad Hoc Networks with Unknown Participants

|document=Document for Publication-WAP-DSN2014.pdf for Internet applications. This involved changing from

|document=Document for Publication-ISD-INFORUM2014.pdf

|document=Document for Publication-Johansson2014erts2.pdf ...posed solutions are also fully in-line what is prescribed by the standards for functional safety of the two domains.

|document=Document for Publication-Casimiro2014sies-invited.pdf ...en and uncertain environments is a challenging task. Traditional solutions for achieving safety either impose restrictions on performance or require costl

|document=Document for Publication-Martins2013Middleware.pdf ...veloped Hermes, a fault-injector framework that provides an infrastructure for injecting faults in a Byzantine fault-tolerant state machine. Our main goal

|document=Document for Publication-Casimiro2014ADSN.pdf ...ervice levels and we use the system architectural concept of safety kernel for managing the service level in order to achieve the best possible performanc

|document=Document for Publication-Araujo2014JISA.pdf ... be as unbalanced as possible. We systematically identify the best defense for each kind of failure and majority to preserve. We then review the most comm

|document=Document for Publication-Jesus2014HIC.pdf ...quatic sensors are vulnerable to external disturbances. Existing solutions for aquatic monitoring composed by heterogeneous sensors are unable to ensure c

|document=Document for Publication-Vial2014ASCoMS.pdf ...onditions concerning data quality and timeliness that need to be satisfied for the system to operate safely in each operation mode.

|document=Document for Publication-ETeixeiraMs07.pdf

|document=Document for Publication-LIP6928.pdf

|document=Oliveira2014DIHC.pdf ...valent data sharing features in different clouds, an important requirement for implementing secure multi-cloud systems.

|document=Document for Publication-Jesus2015tese.pdf |title=Privacy Preserving Protocols for Smart Meters and Electric Vehicles

|document=Document for Publication-IEEETR15.pdf on for more than a decade, the security of web applications

|document=papoc15-composite.pdf composition of a number of cloud services for improving

|document=EuroSys15-edc.pdf ...stributed queue by more than an order of magnitude (17x for ZooKeeper, 24x for DepSpace) while keeping the underlying coordination kernel small.

|document=Document for Publication-Souza2014SIGBED.pdf |title=The Wi-STARK Architecture For Resilient Real-Time Wireless Communications

|document=Document for Publication-Pinto2014EWiLi14-Poster.pdf

|document=Document for Publication-Souza2014WiEEE.pdf for the WnS and how those can be used to support low level

|document=Document for Publication-Guerreiro2014MScThesis.pdf ... IEEE 802.15.4 simulation model. These improvements comprises: the support for real-time transmissions, through the incorporation of the contention free p

|document=Document for Publication-Carraca2014INForum.pdf |title=Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems

|document=Pinto2014INForum.pdf ...ion (RV). Traditional RV techniques require the intrumentation of the code for monitoring, which brings an overhead to the

|document=Document for Publication-A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection.pdf |title=A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection

|document=Document for Publication-Sousa2015wheat.pdf |title=Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines

|document=Document for Publication-Bessani2015biobankcloud-platform.pdf |title=BiobankCloud: a Platform for the Secure Storage, Sharing, and Processing of Large Biomedical Data Sets

|document=Document for Publication-Onica2015MSI.pdf power grid. This brings several advantages, allowing for a faster and more efficient

|document=Document for Publication-Alves2015MEng.pdf is used for both power supply and network connection. PLC can be employed in

|document=Document for Publication-Onica15PTP.pdf |title=Fault-Tolerant Precision Time Protocol for Smart Grids

|document=Document for Publication-Vavala15SRDS.pdf

|document=Document for Publication-Medeiros2015tese.pdf |title=Secure Monitoring for a Secure Smart Grid

|document=Document for Publication-Caldeira2015Extreme.pdf |title=Methods and Tools for Assessment of Wireless Networks in Extreme Environments

|document=Document for Publication-Semedo2014LoadBalancingSDN.pdf ...pose a Multi-Algorithm Load Balancer (MALOB), a load balancing application for SDNs that has the capability to adapt to the different types of requests, s

|document=Document for Publication-Alaluna2015NetVirt.pdf

|document=Document for Publication-cogo2016integration.pdf

|document=Document for Publication-Mest FabioPereira Set17.pdf ...ch-based alternatives have been shown to achieve higher levels of accuracy for the same cost. Existing switches, however, lack the necessary

|document=Document for Publication-Cogo2016efficient.pdf ...s efficiently may accelerate medical breakthroughs, but augments the risks for donors' privacy. The million-scale size and criticality of sets of genomes