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
Stanford researchers create new special-purpose computer that may someday save us billions
21.10.2016 | Stanford University
New 3-D wiring technique brings scalable quantum computers closer to reality
19.10.2016 | University of Waterloo
Researchers from the Institute for Quantum Computing (IQC) at the University of Waterloo led the development of a new extensible wiring technique capable of controlling superconducting quantum bits, representing a significant step towards to the realization of a scalable quantum computer.
"The quantum socket is a wiring method that uses three-dimensional wires based on spring-loaded pins to address individual qubits," said Jeremy Béjanin, a PhD...
In a paper in Scientific Reports, a research team at Worcester Polytechnic Institute describes a novel light-activated phenomenon that could become the basis for applications as diverse as microscopic robotic grippers and more efficient solar cells.
A research team at Worcester Polytechnic Institute (WPI) has developed a revolutionary, light-activated semiconductor nanocomposite material that can be used...
By forcefully embedding two silicon atoms in a diamond matrix, Sandia researchers have demonstrated for the first time on a single chip all the components needed to create a quantum bridge to link quantum computers together.
"People have already built small quantum computers," says Sandia researcher Ryan Camacho. "Maybe the first useful one won't be a single giant quantum computer...
COMPAMED has become the leading international marketplace for suppliers of medical manufacturing. The trade fair, which takes place every November and is co-located to MEDICA in Dusseldorf, has been steadily growing over the past years and shows that medical technology remains a rapidly growing market.
In 2016, the joint pavilion by the IVAM Microtechnology Network, the Product Market “High-tech for Medical Devices”, will be located in Hall 8a again and will...
'Ferroelectric' materials can switch between different states of electrical polarization in response to an external electric field. This flexibility means they show promise for many applications, for example in electronic devices and computer memory. Current ferroelectric materials are highly valued for their thermal and chemical stability and rapid electro-mechanical responses, but creating a material that is scalable down to the tiny sizes needed for technologies like silicon-based semiconductors (Si-based CMOS) has proven challenging.
Now, Hiroshi Funakubo and co-workers at the Tokyo Institute of Technology, in collaboration with researchers across Japan, have conducted experiments to...
14.10.2016 | Event News
14.10.2016 | Event News
12.10.2016 | Event News
21.10.2016 | Health and Medicine
21.10.2016 | Information Technology
21.10.2016 | Materials Sciences