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