ʻSoftware Fallo 0ʼ, a UB project to create an error-free software system

The project will apply an innovative coding methodology to evaluate the data collected by tachographs.
The project will apply an innovative coding methodology to evaluate the data collected by tachographs.
Research
(12/02/2019)

All software contain bugs; even those that control the aeronautical or military industry have bugs in their final version. This situation is particularly troubling because of the increasing dependence on software of key processes such as computer voting mechanisms, medical technologies, and applications that decide whether or not a person complies with the law. A team from the University of Barcelona participates in a four-year project that promotes a new paradigm for the software industry: the development, for the first time in Spain, of error-free large-scale software. The project ʻSoftware Fallo 0ʼ will apply an innovative coding methodology to evaluate the data collected by tachographs, instruments that monitor the activity of vehicles to detect non-compliance. Currently an unverified software application performs this task and, like any software, it makes mistakes that have caused great losses to companies in the sector, and even serious damage to peopleʼs rights.

Further information here.

The project will apply an innovative coding methodology to evaluate the data collected by tachographs.
The project will apply an innovative coding methodology to evaluate the data collected by tachographs.
Research
12/02/2019

All software contain bugs; even those that control the aeronautical or military industry have bugs in their final version. This situation is particularly troubling because of the increasing dependence on software of key processes such as computer voting mechanisms, medical technologies, and applications that decide whether or not a person complies with the law. A team from the University of Barcelona participates in a four-year project that promotes a new paradigm for the software industry: the development, for the first time in Spain, of error-free large-scale software. The project ʻSoftware Fallo 0ʼ will apply an innovative coding methodology to evaluate the data collected by tachographs, instruments that monitor the activity of vehicles to detect non-compliance. Currently an unverified software application performs this task and, like any software, it makes mistakes that have caused great losses to companies in the sector, and even serious damage to peopleʼs rights.

Further information here.