Coloured Petri Nets-Based Modeling and Validation of Insulin Infusion Pump Systems

Coloured Petri Nets-Based Modeling and Validation of Insulin Infusion Pump Systems

Safety and effectiveness are crucial quality attributes for insulin infusion pump systems. Therefore, regulatory agencies require the quality evaluation and approval of such systems before the market to decrease the risk of harm, motivating the usage of a formal Model-Based Approach (MBA) to improve...

Full description

Bibliographic Details
Main Authors: Tássio Fernandes Costa, Álvaro Sobrinho, Lenardo Chaves e Silva, Leandro Dias da Silva, Angelo Perkusich
Format: Article
Language:English
Published: MDPI AG 2022-01-01
Series:Applied Sciences
Subjects:
simulation
coloured Petri nets
modeling
Online Access:https://www.mdpi.com/2076-3417/12/3/1475

Similar Items

Similar Items