- Ingegneria Industriale & Ingegneria dell’Informazione per il territorio fiorentino
- A cura di Stefano Selleri, Alberto Tesi, Enrico Vicario
Quando la teoria diventa applicazione: dalle matrici di vincoli sulle differenze allo scheduling di un sistema elettromeccanico
- Enrico Vicario
- © 2026 Author(s) |
- CC BY 4.0
- DOI: 10.36253/979-12-215-0975-5.39
A collaboration between the University of Florence and BioMérieux developed an efficient scheduling algorithm for an automated immunodiagnostic system. The challenge was coordinating many parallel biological analyses sharing a single pipettor while respecting strict timing constraints. Using Difference Bound Matrices with A* search and Floyd–Warshall normalization, the solution achieved millisecond computation times on limited hardware, leading to a patented and widely used industrial system.
- Keywords:
- Scheduling Algorithms,
- Cyber-Physical Systems,
- Immunodiagnostic Automation,
University of Florence, Italy - ORCID: 0000-0002-4983-4386
- Bengtsson, J. et al. 1996. “UPPAAL — a tool suite for automatic verification of real-time systems.” Workshop on Verification and Control of Hybrid Systems III. Springer.
- Bucci, G. e E. Vicario. 2025. Computer Technology in 100 cards. McGrawHill.
- Dill, D. 1989. “Timing assumptions and verification of finite-state concurrent systems.” International Conference on Computer Aided Verification (CAV). Springer.
- Paolieri, M., M. Biagi, L. Carnevali e E. Vicario. 2021. “The ORIS tool: quantitative evaluation of non-Markovian systems.” IEEE Transactions on Software Engineering 47: 1211-25.
- Ridi, L., J. Torrini e E. Vicario. 2011. “Developing a scheduler with difference-bound matrices and the Floyd-Warshall algorithm.” IEEE Software 29: 76-83.
- Vicario, E. 2002. “Static analysis and dynamic steering of time-dependent systems.” IEEE Transactions on Software Engineering 21: 728-48.
- Vicario, E., L. Ridi, J. Torrini e A. Carignano. 2013. Job scheduler for electromechanical system for biological analysis. Brevetto WO 2013098088 A1, EP20110196275.
Informazioni sul capitolo
Titolo del capitolo
Quando la teoria diventa applicazione: dalle matrici di vincoli sulle differenze allo scheduling di un sistema elettromeccanico
Autori
Enrico Vicario
Lingua
Italiano
DOI
10.36253/979-12-215-0975-5.39
Opera sottoposta a peer review
Anno di pubblicazione
2026
Copyright
© 2026 Author(s)
Licenza d'uso
Licenza dei metadati
Informazioni bibliografiche
Titolo del libro
Ingegneria Industriale & Ingegneria dell’Informazione per il territorio fiorentino
Sottotitolo del libro
Ingegneria dell’Informazione - Volume 2
Curatori
Stefano Selleri, Alberto Tesi, Enrico Vicario
Opera sottoposta a peer review
Numero di pagine
230
Anno di pubblicazione
2026
Copyright
© 2026 Author(s)
Licenza d'uso
Licenza dei metadati
Editore
Firenze University Press
DOI
10.36253/979-12-215-0975-5
ISBN Print
979-12-215-0974-8
eISBN (pdf)
979-12-215-0975-5
Collana
Dialoghi con la società
ISSN della collana
2975-0210
e-ISSN della collana
2975-0334