Structural tunability in metamaterials (2009)
Lapine, Mikhail, Powell, David, Gorkunov, Maxim, Shadrivov, Ilya, Marqués, Ricardo, Kivshar, Yuri
We propose a novel approach for efficient tuning of the transmission characteristics of metamaterials through a continuous adjustment of the lattice structure, and confirm it experimentally in the...
Criticality and Confidence Issues in Avionics (2009)
Laarouchi, Youssef, Deswarte, Yves, Powell, David, Arlat, Jean, De Nadai, Eric
Ensuring safety in avionics has mostly been achieved through a complete separation between avionics software and open-world software, in order to avoid any interaction that could corrupt critical...
Robustness Testing of Robot Controller Software (2009)
Chu, Haoang-Nam, Arlat, Jean, Killijian, Marc-Olivier, Lussier, Benjamin, Powell, David
The LAAS architecture [1] is a three-layer software architecture for real-time control of mobile robots, that has been used successfully in several systems. To improve its robustness, the...
Criticality and Confidence Issues in Avionics (2009)
Laarouchi, Youssef, Deswarte, Yves, Powell, David, Arlat, Jean, De Nadai, Eric
Ensuring safety in avionics has mostly been achieved through a complete separation between avionics software and open-world software, in order to avoid any interaction that could corrupt critical...
Robustness Testing of Robot Controller Software (2009)
Chu, Haoang-Nam, Arlat, Jean, Killijian, Marc-Olivier, Lussier, Benjamin, Powell, David
The LAAS architecture [1] is a three-layer software architecture for real-time control of mobile robots, that has been used successfully in several systems. To improve its robustness, the...
Experiments with Diversified Models for Fault-Tolerant Planning (2008)
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingr, Marc-olivier Killijian, David Powell
Abstract—Autonomous robots make extensive use of decisional mechanisms, such as planning. These mechanisms are able to take complex and adaptative decisions, but are notoriously hard to validate....
Security Rationale for a Cooperative Backup Service for Mobile Devices ⋆ (2008)
Ludovic Courtès, Marc-olivier Killijian, David Powell
Abstract. Mobile devices (e.g., laptops, PDAs, cell phones) are increasingly relied on but are used in contexts that put them at risk of physical damage, loss or theft. This paper discusses security...
Solaris Service Management Facility: Modern System Startup and Administration (2008)
Jonathan Adams, David Bustos, Stephen Hahn, David Powell, Liane Praza
Application uptime is critical to every administrator. The factors which cause system downtime are often handled by the operating system, but causes for application faults (e.g., software bugs,...
Internet security: an intrusion-tolerance approach (2008)
The Internet has become essential to most enterprises and many private individuals. However, both the network and computer systems connected to it are still too vulnerable and attacks are becoming...
Experiments with Diversified Models for Fault-Tolerant Planning (2008)
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingr, Marc-olivier Killijian, David Powell
Abstract—Autonomous robots make extensive use of decisional mechanisms, such as planning. These mechanisms are able to take complex and adaptative decisions, but are notoriously hard to validate....
Security Rationale for a Cooperative Backup Service for Mobile Devices ⋆ (2008)
Ludovic Courtès, Marc-olivier Killijian, David Powell
Abstract. Mobile devices (e.g., laptops, PDAs, cell phones) are increasingly relied on but are used in contexts that put them at risk of physical damage, loss or theft. This paper discusses security...
Paulo E, David Powell, Ian Welch, Upon Tyne, Intrusion-tolerant Middleware
The pervasive interconnection of systems throughout the world has given computer services a significant socioeconomic value that both accidental faults and malicious activity can affect. The...
SURVEILLANCE EN LIGNE DE LA SÉCURITÉ BASÉE SUR LES MODES DE SÉCURITÉ (2008)
Guiochet, Jérémie, Powell, David, Baudin, Etienne, Blanquart, Jean-Paul
Les systèmes informatiques réalisent des tâches de plus en plus complexes, dont certaines peuvent mettre l’humain en danger. L’inévitable présence de fautes résiduelles de développement,...
Online Safety Monitoring Using Safety Modes (2008)
Guiochet, Jérémie, Powell, David, Baudin, Etienne, Blanquart, Jean-Paul
Robotic systems have to carry out more and more complex tasks, including ones where humans can be endangered. Residual design faults in such systems, as well as the inevitability of physical faults...
SURVEILLANCE EN LIGNE DE LA SÉCURITÉ BASÉE SUR LES MODES DE SÉCURITÉ (2008)
Guiochet, Jérémie, Powell, David, Baudin, Etienne, Blanquart, Jean-Paul
Les systèmes informatiques réalisent des tâches de plus en plus complexes, dont certaines peuvent mettre lhumain en danger. Linévitable présence de fautes résiduelles de développement, de...
Online Safety Monitoring Using Safety Modes (2008)
Guiochet, Jérémie, Powell, David, Baudin, Etienne, Blanquart, Jean-Paul
Robotic systems have to carry out more and more complex tasks, including ones where humans can be endangered. Residual design faults in such systems, as well as the inevitability of physical faults...
Kevin R Nicholas, Amit Kumar, Yvan Strahm, David Powell, Torsten Seemann, Kerry A. Daly, ...
Delivering bioinformatics power to life science researchers inevitably runs into problems of limited computing resources in the context of exponentially increasing data sources, access time, costs,...
Kevin R Nicholas, Amit Kumar, Yvan Strahm, David Powell, Torsten Seemann, Kerry A. Daly, ...
Delivering bioinformatics power to life science researchers inevitably runs into problems of limited computing resources in the context of exponentially increasing data sources, access time, costs,...
MammoSapiens: eResearch of the lactation program. (2008)
Nicholas, Kevin R, Kumar, Amit, Strahm, Yvan, Powell, David, Seemann, Torsten, Daly, Kerry A., ...
Delivering bioinformatics power to life science researchers inevitably runs into problems of limited computing resources in the context of exponentially increasing data sources, access time, costs,...
Estimation of Time-Dependent Coverage (2007)
David Powell, Michel Cukier, Jean Arlat, Yves Crouzet
It is well-known that the dependability that can be achieved by a fault-tolerant system is particularly sensitive to both the asymptotic value of coverage and to the time distribution of coverage....
1 Distributed Fault Tolerance- Lessons (2007)
Learnt From Delta, David Powell
Abstract--- Software-implemented approaches to fault tolerance are very resilient to change since evolution in hardware technology does not require extensive re-design of specialized hardware. This...
Malicious- and Accidental-Fault Tolerance for Internet Applications Revision History (2007)
Noreddine Abghour, Yves Deswarte, Vincent Nicomette, David Powell, Rev Date Comments
ii
the Social Situation). CONTENTS (2007)
Kalev Katus, Marek Kupiszewski, Philip Rees, Luule Sakkeus, Anne Herm, David Powell
Report prepared for the Council of Europe (Directorate of Social and Economic Affairs,
Intrusion-tolerant security server
ii List of Contributors (2007)
David Powell, Robert Stroud (editors, Maftia Deliverable D, Dominique Aless, Ri (ibm Zrl, Sadie Creese (qinetiq, ...
Chapter 2 Core dependability concepts...................................................................................3 2.1 Basic...
Noreddine Abghour, Yves Deswarte, Vincent Nicomette, David Powell, Maftia Deliverable D
Malicious- and Accidental-Fault Tolerance for Internet Applications ii LAAS Report 01.001 Specification of Authorisation Services
Robert Buckley, Kim Cartwright, Raymond Struyk, Edward Szymanoski, Jim Follain, Louise Fox, ...
exchange of ideas about development issues. An objective of the series is to get the findings out quickly, even if the presentations are less than fully polished. The papers carry the names of the...
Gilles Muller, La Chantrerie, David Powell, Calton Pu, Michel Banâtre, ...
1988-1996 member of the LSP/SOLIDOR group.
Fault Tolerant Planning in Critical Robots (2007)
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingr, Marc-olivier Killijian, David Powell
Autonomous robots offer alluring perspectives in numerous application domains: space rovers, satellites, medical assistants, tour guides, etc. However, a severe lack of trust in their dependability...
Planning with Diversified Models for Fault-Tolerant Robots (2007)
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingr, Marc-olivier Killijian, David Powell
Planners are central to the notion of complex autonomous systems. They provide the flexibility that autonomous systems need to be able to operate unattended in an unknown and dynamically-changing...
Fault Tolerant Planning in Critical Robots (2007)
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingr, Marc-olivier Killijian, David Powell
Autonomous robots offer alluring perspectives in numerous application domains: space rovers, satellites, medical assistants, tour guides, etc. However, a severe lack of trust in their dependability...
Planning with Diversified Models for Fault-Tolerant Robots (2007)
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingr, Marc-olivier Killijian, David Powell
Planners are central to the notion of complex autonomous systems. They provide the flexibility that autonomous systems need to be able to operate unattended in an unknown and dynamically-changing...
A Survey of Cooperative Backup Mechanisms (2006)
Killijian, Marc-Olivier, Courtès, Ludovic, Powell, David
Storage capacity, like computing power, follows its Moore's law and grows dramatically. Consequently, the need for data backup services increases. The domain of data backup was recently hit by the...
Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices (2006)
Courtès, Ludovic, Killijian, Marc-Olivier, Powell, David
Mobile devices are increasingly relied on but are used in contexts that put them at risk of physical damage, loss or theft. We consider a fault-tolerance approach that exploits spontaneous...
Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices (2006)
Courtès, Ludovic, Killijian, Marc-Olivier, Powell, David
Mobile devices are increasingly relied on but are used in contexts that put them at risk of physical damage, loss or theft. We consider a fault-tolerance approach that exploits spontaneous...
A Survey of Cooperative Backup Mechanisms (2006)
Killijian, Marc-Olivier, Courtès, Ludovic, Powell, David
Storage capacity, like computing power, follows its Moore's law and grows dramatically. Consequently, the need for data backup services increases. The domain of data backup was recently hit by the...
Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices (2006)
Ludovic Courtès, Marc-olivier Killijian, David Powell
Mobile devices are increasingly relied on but are used in contexts that put them at risk of physical damage, loss or theft. We consider a fault-tolerance approach that exploits spontaneous...
The SESAME experience: from assembly languages to declarative models (2006)
Yves Crouzet, Hélène Waeselynck, Benjamin Lussier, David Powell
SESAME (Software Environment for Software Analysis by Mutation Effects) is a fault injection tool using mutation as the target fault model. It has been used for 15 years to support dependability...
Source Code for Biology and Medicine BioMed Central Methodology (2006)
Yvan Strahm, David Powell, Christophe Lefèvre, Christophe Lefèvre
EST-PAC a web package for EST annotation and protein sequence prediction
Thesis (Psy.D.)--Virginia Consortium Program in Clinical Psychology, 2005.
Fault Tolerance in Autonomous Systems: (2005)
How And How, Benjamin Lussier, Re Lampe, Raja Chatila, Jérémie Guiochet, Félix Ingr, ...
this paper to present these concerns and suggest possible ways to resolve them. We address dependability as a whole, but focus specifically on fault tolerance. We present some particularities of...
Fault Tolerance in Autonomous Systems: How and How Much (2005)
Benjamin Lussier, Raja Chatila, Jérémie Guiochet, Félix Ingr, Re Lampe, Marc-olivier Killijian, ...
Autonomous systems are starting to appear in space exploration, elderly care and domestic service; they are particularly attractive for such applications because their advanced decisional mechanisms...
Collaborative Backup for Dependable Mobile Applications (Extended Abstract) (2004)
Marc-Olivier Killijian, David Powell, Michel Banâtre, Paul Couderc, Yves Roudier
Marc-Olivier Killijian, David Powell LAAS-CNRS 7 Avenue du Colonel Roche 31077 Toulouse cedex 4 Michel Bantre, Paul Couderc IRISA Campus Universitaire de Beaulieu 35042 Rennes cedex, France Yves...
A Hybrid Approach for Building Eventually Accurate Failure Detectors (2004)
Achour Mostefaoui, David Powell, Michel Raynal
achour|raynal£ Unreliable failure detectors introduced by Chandra and Toueg are abstract mechanisms that provide information about process crashes. On the one hand, failure detectors allow a...
Paulo E. Veríssimo, Nuno F. Neves, Christian Cachin, Jonathan Poritz, David Powell, Yves Deswarte, ...
Technical reports are available at
On Fault Tolerance and Robustness in Autonomous Systems (2004)
Benjamin Lussier, Raja Chatila, Felix Ingr, Marc-olivier Killijian, David Powell
The dependability of autonomous systems is a particular concern, notably because of the advanced decisional mechanisms and other artificial intelligence techniques on which such systems rely. This...
A survey of dependability issues in mobile wireless networks (2003)
Claudio Basile, Marc-olivier Killijian, David Powell
1
A. Adelsbach, D. Aless, C. Cachin, S. Creese, Y. Deswarte, K. Kursawe, ...
are stored in PDF, with the report number as filename. Alternatively, reports are available by post from the above address.
M. Dacier (editor, Marc Dacier, Dominique Alessandri, Raffael Marty, Christian Cachin, David Powell, ...
1.1 18.10.2001 Revised Outline of document 1.2 10.02.2002 Modifications to put text in sync with D2 1.3 20.04.2002 Modification on Section related to THOR 2.0 10.05.2002 Major revision on the...
Panel on Intrusion Tolerance RAID 2001 UC Davis October 11, 2001 Participants (2001)
Vcrispin Cowan Wirex, Crispin Cowan, Wirex Communications, Moderator Yves Deswarte, David Powell, Yves Deswarte
a unique fault generates different errors on different replicates internal hardware fault: identical copies external hardware fault: similar copies design fault / interaction fault: diversified...
A. Adelsbach, D. Aless, C. Cachin, S. Creese, M. Dacier, Y. Deswarte, ...
are stored in PDF, with the report number as filename. Alternatively, reports are
An Internet Authorization Scheme using Smart Card-Based Security Kernels (2001)
Noreddine Abghour, Yves Deswarte, Vincent Nicomette, David Powell
Today, most Internet applications are based on the client-server model. In this model, typically, the server distrusts clients, and grants each client access rights according to the client’s...
David Powell, Yves Deswarte, David Powell
a European project for dependable Internet applications despite intrusions and accidental faults
Thesis (M.S.)--University of North Carolina at Chapel Hill, 1999.
Coverage estimation methods for stratified fault-injection (1999)
Michel Cukier, David Powell, Jean Arlat
AbstractÐThis paper addresses the problem of estimating fault tolerance coverage through statistical processing of observations collected in fault-injection experiments. In an earlier paper, various...
Discovering simple DNA sequences by compression (1998)
David Powell, Davd Dowe, David L. Dowe, Lloyd Allison, Trevor Dix
An information-theoretic DNA compression scheme devised by Milosavljevic and Jurka #1993# has been used in many places in the literature for both the discovery of new genes and the compression of...
Frequentist and Bayesian Coverage Estimations for Stratified Fault-Injection (1997)
Michel Cukier, Jean Arlat, David Powell
Abstract. This paper addresses the problem of estimating the coverage of fault tolerance through statistical processing of observations collected in fault-injection experiments. In an earlier paper,...
On Stratified Sampling for High Coverage Estimations (1996)
David Powell, Michel Cukier, Jean Arlat
. This paper addresses the problem of estimating the coverage of a fault tolerance mechanism through statistical processing of observations collected in fault-injection experiments. In an earlier...
Estimation of Time-Dependent Coverage (1996)
David Powell, Michel Cukier, Jean Arlat, Yves Crouzet
. It is well-known that the dependability that can be achieved by a fault-tolerant system is particularly sensitive to both the asymptotic value of coverage and to the time distribution of coverage....
Genericity and Upgradability in Ultra-Dependable Real-Time Architectures (1996)
Andy Wellings, Ljerka Beus-Dukic, Alan Burns, David Powell
We report on the ideas currently being developed within the European GUARDS project to develop a generic upgradable architecture for real-time dependable systems. After a brief introduction and...
Towards a Unified Comparison of Synchronous and Asynchronous Agreement Protocols (1995)
Alessandro Galleni, David Powell
. In a reliable computer system, correctly-functioning processors must be able to reach agreement despite the presence of malfunctioning components. This report discusses two such agreement problems....
Failure Mode Assumptions and Assumption Coverage (1995)
. A method is proposed for the formal analysis of failure mode assumptions and for the evaluation of the dependability of systems whose design correctness is conditioned on the validity of such...
Dependability of On-board Automotive Computer Systems (1994)
Christian Ziegler, David Powell, Philippe Desroches
. This paper discusses the advantages and drawbacks of automobile computer systems, especially with respect to dependability. We consider two aspects: specification and validation of dependability...
Tolerance aux fautes et systemes repartis : concepts et mecanismes (1993)
Le Lann, Gérard, Minet, Pascale, Powell, David
L'exigence de tolerance aux fautes est incontournable avec les systemes repartis. D'une part, la tolerance aux fautes est un besoin induit par la multiplicite des ressources et de nombreux travaux...
Tolerance aux fautes et systemes repartis : concepts et mecanismes (1993)
Le Lann, Gérard, Minet, Pascale, Powell, David
L'exigence de tolerance aux fautes est incontournable avec les systemes repartis. D'une part, la tolerance aux fautes est un besoin induit par la multiplicite des ressources et de nombreux travaux...
Fault Injection and Dependability Evaluation of Fault-tolerant Systems (1993)
Jean Arlat, Alain Costes, Yves Crouzet, Jean-claude Laprie, David Powell
Abstract. The paper describes a dependability evaluation method based on fault injection that establishes the link between the experimental evaluation of the fault tolerance process and the fault...
Estimators for Fault Tolerance Coverage Evaluation (1993)
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
. This paper addresses the problem of estimating the coverage of a fault tolerance mechanism through statistical processing of observations collected in fault injection experiments. A formal...
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems (1993)
Jean Arlat, Alain Costes, Yves Crouzet, Jean-claude Laprie, David Powell
The paper describes a dependability evaluation method based on fault injection that establishes the link between the experimental evaluation of the fault tolerance process and the fault occurrence...
Failure mode assumptions and assumption coverage (1992)
Abstract. A method is proposed for the formal analysis of failure mode assumptions and for the evaluation of the dependability of systems whose design correctness is conditioned on the validity of...
SunOSmultithread architecture (1991)
David Powell, Ian Welch, Upon Tyne, Intrusion-tolerant Middleware
The pervasive interconnection of systems throughout the world has given computer services a significant socioeconomic value that both accidental faults and malicious activity can affect. The...
Space and place : an exploration of form and expression in government centers design / (1986)
Broughton, Jeff., Carroll, Alain., Erskine, Silvia., Gaston, Patricia., Heller, Karen., Knight, Syd., ...
Thesis (M. Land. Arch.)--University of Virginia, 1986.
David Powell, Christophe Rabéjac, Andrea Bondavalli
A 30.01.98 Initial draft by D. Powell
THE EFFECTIVENESS OF SOVIET ANTI-RELIGIOUS PROPAGANDA (1967)
If the problem of determining the effect of specific types of propaganda on public opinion is difficult under the best conditions, it is almost impossible in a country like the Soviet Union, where...
THE EFFECTIVENESS OF SOVIET ANTI-RELIGIOUS PROPAGANDA (1967)
If the problem of determining the effect of specific types of propaganda on public opinion is difficult under the best conditions, it is almost impossible in a country like the Soviet Union, where...
The link between taxes and occupational choices is central for understanding the welfare impacts of income taxes. Just as taxes distort the labor-leisure decision, they also distort the wage-amenity...
Using Income Tax Changes to Identify the Value of a Statistical Life
This paper recognizes that compensating differentials are a function of the income tax rate, using this observation to introduce a methodology for estimating compensating differentials with a...
Unconditional Quantile Regression for Panel Data with Exogenous or Endogenous Regressors
Quantile treatment effects are difficult to estimate in the presence of fixed effects. Panel data are used when fixed effects or differences are necessary to identify the parameters of interest. The...