A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process

Costa, Tássio Fernandes; Sobrinho, Alvaro; Silva, Lenardo Chaves e; Silva, Leandro Dias da; Perkusich, Ângelo

doi:10.1109/iecon.2019.8927111

Cited by 1 publication

(9 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The main software requirements of the ECG are the verification of skin-electrodes impedance 2 and verification of battery situation. Figure 13 illustrates a sample of the state-space extracted from the software module of insulin infusion pump systems described in our previous research [15] (893 nodes and 1.133). The main software requirement is the control of insulin infusion.…”

Section: Experiments On Medical Systemsmentioning

confidence: 99%

“…In this section, we describe a sample of the CPN model of insulin infusion pump systems presented and validated in our previous research [15,16]. In Costa et al [15], we presented a CPN reference model to assist manufacturers in developing and certifying insulin infusion pump systems. In Costa et al [16], we improved the results presented in Costa et al [15] by proposing and evaluating a model‐based approach for modeling and validating insulin infusion pump systems using CPN reference models.…”

Section: Formal Models Of Medical Systemsmentioning

confidence: 99%

“…We considered each study's methodological steps described in one best‐rated paper of each general approach. We applied the approaches for the CPN models of insulin infusion pump [15] systems (e.g., Figure 1, Figure 2, and Figure 3) and ECG [14] (e.g., Figure 4 and Figure 5), using a laptop with 1.8 GHz Intel Core i5 Dual‐Core. The focus is to improve the empirical comparison regarding the running time to generate abstract tests and the quantity and quality of test suits from models with different levels of complexity.…”

Section: Experiments On Medical Systemsmentioning

confidence: 99%

“…Sample of reachability graph of the software module of insulin infusion pump systems [15] (893 nodes and 1.133)…”

Section: Experiments On Medical Systemsmentioning

confidence: 99%

“…We conducted the SLR based on the guidelines given by Kitchenham et al [12] and Wohlin [13]. We also performed the experiments considering Electrocardiograph (ECG) and insulin infusion pump systems based on the CPN models described and validated in our previous research [14][15][16]. Therefore, we present two main contributions:…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Coloured Petri nets for abstract test generation in software engineering

Sobrinho

Almeida

Silva

et al. 2022

Software Testing Verif & Rel

Self Cite

View full text Add to dashboard Cite

Summary Model‐based testing (MBT) relies on models of the system's behaviour to generate abstract tests. Testers can reuse formal models using MBT to increase confidence in critical systems (e.g., medical and avionic systems). In this article, we investigate the current abstract test generation approaches for CPN to provide insights for testers who need to select a suitable one when applying the MBT using CPN. We conduct a systematic literature review to investigate the existing abstract test generation approaches designed for CPN. Subsequently, focusing on specific implementations and advantages/disadvantages, we experiment with formal models of medical systems during our empirical analysis to improve the discussion on existing abstract test generation approaches for CPN. Our study shows that CPN provides reliable tests quickly, depending on the abstract test generation approach applied.

show abstract

Section: Experiments On Medical Systemsmentioning

confidence: 99%