- Ingegneria Industriale & Ingegneria dell’Informazione per il territorio fiorentino
- Edited by 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.
Chapter Information
Chapter Title
Quando la teoria diventa applicazione: dalle matrici di vincoli sulle differenze allo scheduling di un sistema elettromeccanico
Authors
Enrico Vicario
Language
Italian
DOI
10.36253/979-12-215-0975-5.39
Peer Reviewed
Publication Year
2026
Copyright Information
© 2026 Author(s)
Content License
Metadata License
Bibliographic Information
Book Title
Ingegneria Industriale & Ingegneria dell’Informazione per il territorio fiorentino
Book Subtitle
Ingegneria dell’Informazione - Volume 2
Editors
Stefano Selleri, Alberto Tesi, Enrico Vicario
Peer Reviewed
Number of Pages
230
Publication Year
2026
Copyright Information
© 2026 Author(s)
Content License
Metadata License
Publisher Name
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
Series Title
Dialoghi con la società
Series ISSN
2975-0210
Series E-ISSN
2975-0334