She improved both the tests and the method to determine the reliability of the tests. This means, for example, that washing machines and coffee machines can be tested far better before they are launched on the market.
Brandán Briones made several considerable improvements. First of all she made it possible to include the factor 'time' in the testing. Not only can it be determined if coffee actually comes out of the machine but also how long that takes.
Brandán Briones developed a good measure for establishing the reliability of the tests. This can be achieved by determining which part of the system has been tested: the degree of coverage. An equally large problem during the testing of software is the gigantic number of scenarios that a system offers. This is more than the number of elementary particles in the universe. It is therefore impossible to test all of these. The degree of coverage is a measure of the reliability of the system. If you have a coffee machine with tea and coffee and you test all of the possible options that supply coffee then you have a degree of coverage of 50%.
The old method for determining this degree of coverage assumed all possible processes in a system to make, for example, a cup of black coffee. However the system can deliver the same cup of coffee in various ways. Using the method of Brandán Briones all of the different ways are assigned the same value. Therefore the degree of coverage no longer varies.Severity
Computer chip manufacturer ASML has followed the work of Brandán Briones with interest and is currently making use of it. The research of Brandán Briones was part of the NWO project Systematic Testing of Realtime Embedded Software Systems (STRESS).
Laura Brandán Briones | alfa
Ultra-precise chip-scale sensor detects unprecedentedly small changes at the nanoscale
18.01.2017 | The Hebrew University of Jerusalem
Data analysis optimizes cyber-physical systems in telecommunications and building automation
18.01.2017 | Fraunhofer-Institut für Algorithmen und Wissenschaftliches Rechnen SCAI
An important step towards a completely new experimental access to quantum physics has been made at University of Konstanz. The team of scientists headed by...
Yersiniae cause severe intestinal infections. Studies using Yersinia pseudotuberculosis as a model organism aim to elucidate the infection mechanisms of these...
Researchers from the University of Hamburg in Germany, in collaboration with colleagues from the University of Aarhus in Denmark, have synthesized a new superconducting material by growing a few layers of an antiferromagnetic transition-metal chalcogenide on a bismuth-based topological insulator, both being non-superconducting materials.
While superconductivity and magnetism are generally believed to be mutually exclusive, surprisingly, in this new material, superconducting correlations...
Laser-driving of semimetals allows creating novel quasiparticle states within condensed matter systems and switching between different states on ultrafast time scales
Studying properties of fundamental particles in condensed matter systems is a promising approach to quantum field theory. Quasiparticles offer the opportunity...
Among the general public, solar thermal energy is currently associated with dark blue, rectangular collectors on building roofs. Technologies are needed for aesthetically high quality architecture which offer the architect more room for manoeuvre when it comes to low- and plus-energy buildings. With the “ArKol” project, researchers at Fraunhofer ISE together with partners are currently developing two façade collectors for solar thermal energy generation, which permit a high degree of design flexibility: a strip collector for opaque façade sections and a solar thermal blind for transparent sections. The current state of the two developments will be presented at the BAU 2017 trade fair.
As part of the “ArKol – development of architecturally highly integrated façade collectors with heat pipes” project, Fraunhofer ISE together with its partners...
19.01.2017 | Event News
10.01.2017 | Event News
09.01.2017 | Event News
20.01.2017 | Awards Funding
20.01.2017 | Materials Sciences
20.01.2017 | Life Sciences