| 1. |
- Hudson, Lawrence N, et al.
(författare)
-
The database of the PREDICTS (Projecting Responses of Ecological Diversity In Changing Terrestrial Systems) project
- 2017
-
Ingår i: Ecology and Evolution. - : John Wiley & Sons. - 2045-7758. ; 7:1, s. 145-188
-
Tidskriftsartikel (refereegranskat)abstract
- The PREDICTS project-Projecting Responses of Ecological Diversity In Changing Terrestrial Systems (www.predicts.org.uk)-has collated from published studies a large, reasonably representative database of comparable samples of biodiversity from multiple sites that differ in the nature or intensity of human impacts relating to land use. We have used this evidence base to develop global and regional statistical models of how local biodiversity responds to these measures. We describe and make freely available this 2016 release of the database, containing more than 3.2 million records sampled at over 26,000 locations and representing over 47,000 species. We outline how the database can help in answering a range of questions in ecology and conservation biology. To our knowledge, this is the largest and most geographically and taxonomically representative database of spatial comparisons of biodiversity that has been collated to date; it will be useful to researchers and international efforts wishing to model and understand the global status of biodiversity.
|
|
| 2. |
|
|
| 3. |
- Da Silva Fariña, Antonio, et al.
(författare)
-
Design and implementation of a Java Fault Injector for Exhaustif SWIFI tool
- 2009
-
Ingår i: Proceedings of 2009 4th International Conference on Dependability of Computer Systems, DepCos-RELCOMEX 2009. - 9780769536743 ; , s. 77-83
-
Konferensbidrag (refereegranskat)abstract
- Java is a successful programming environment and its use has grown from little embedded applications until enterprise network servers based on J2EE. This intensive use of Java demands the validation of their fault tolerance mechanisms to avoid unexpected behavior of the applications at runtime. This paper describes the design and implementation of a fault injector for the "Exhaustif®" SWIFI tool. Aspecific fault model for java applications that include class corruption/substitution at loading time, method call interception and unexpected exception thrown is proposed. The injector uses the JVMTI (JavaVirtual Machine Tool Interface) to perform bytecode instrumentation at runtime to carry out the fault model previously defined. Finally a XML formalization of the specific Java fault model is proposed. This approach, JVMTI + XML fault model description, provides complete independency between the system under test and the fault injection tool, as well the interoperability with another SWIFI tools.
|
|
| 4. |
|
|
| 5. |
- Da Silva Fariña, Antonio, et al.
(författare)
-
Exhaustif : a fault injection tool for distributed heterogeneous embedded systems
- 2007
-
Ingår i: Euro American Conference on Telematics and Information Systems - Proceedings of the 2007 Euro American Conference on Telematics and Information Systems, EATIS 2007. - New York, NY, USA : ACM Press. - 9781595935984 ; , s. Article number a17-
-
Konferensbidrag (refereegranskat)abstract
- This paper presents Exhaustif®, a SWIFI fault injection tool for fault tolerance verification and the validation of embedded software in distributedheterogeneous systems. Exhaustif® mainly consists of two parts: EEM and FIK. Exhaustif® Executive Manager (EEM) is a GUI Java application to define the fault injection campaign that uses a SQL database to save the test results obtained from the System under Test (SUT) in order to carry out a post injection data analysis. FIK is under the command of EEM to cary out fault injections in applications running under diverse operating systems using pure SWIFI techniques. Exhaustif® carries out floating point register and memory corruptions using temporary triggers and uses an optimized routine interception mechanism to cany out argument and return value corruption with a minimal time overhead. Two experimentalFault Injector Kernels (FIK) under the RTEMS operating system for an EADS-Astrium SPARC ERC32-based MCM processor board and i386 standard PC mainboard have been developed.
|
|
| 6. |
|
|
| 7. |
|
|
| 8. |
- Da Silva Fariña, Antonio, et al.
(författare)
-
XML Schema Based Fault-Set Definition to Improve Fault Injection Tools Interoperability
- 2010
-
Ingår i: International Journal of Critical Computer-Based Systems. - : InderScience Publishers. - 1757-8779 .- 1757-8787. ; 1:1-3, s. 220-237
-
Tidskriftsartikel (refereegranskat)abstract
- Software implemented fault injection tools (SWIFI) use fault injectors to carry out the fault injection campaign defined in a GUI-based application. However, the communication between the fault injector and the application is defined in an ad-hoc manner. This paper describes an XML schema formalisation approach for the definition of fault sets which specify low level memory and/or register value corruptions in embedded microprocessor-based systems and resource usage faults in host based systems. Through this proposed XML schema definition, different injectors could be used to carry out the same fault set injection. To validate this approach an experimental tool called Exhaustif®, consisting of a GUI Java application for defining the fault sets and injection policies, one injector for Windows hosts systems and two injectors for Sparc and i386 architectures under RTEMS have been developed.
|
|
| 9. |
- Hernández, Vicente, et al.
(författare)
-
Security framework for dpws compliant devices
- 2009
-
Ingår i: 2009 THIRD INTERNATIONAL CONFERENCE ON EMERGING SECURITY INFORMATION, SYSTEMS, AND TECHNOLOGIES. - 9781424443086 ; , s. 87-92
-
Konferensbidrag (refereegranskat)
|
|
| 10. |
|
|
