Petri nets are a formal method with a mathematical foundation and a graphical representation, for the specification and verification of concurrent and complex systems.
Published in Chapter:
Towards Medical Systems to Aid the Detection and Treatment of Chronic Diseases
Álvaro Alvares de Carvalho César Sobrinho (Federal University of Campina Grande, Brazil), Leandro Dias da Silva (Federal University of Alagoas, Brazil), Angelo Perkusich (Federal University of Campina Grande, Brazil), Paulo Cunha (State University of Health Sciences of Alagoas, Brazil), Maria Eliete Pinheiro (Federal University of Alagoas, Brazil), and Leonardo Melo de Medeiros (Federal Institute of Alagoas, Brazil & Federal University of Campina Grande, Brazil)
Copyright: © 2016
|Pages: 20
DOI: 10.4018/978-1-4666-8828-5.ch003
Abstract
Early diagnosis and slow progression of chronic diseases are important to improve the quality of life of patients. Physicians and patients can use medical systems to aid the detection and treatment of chronic diseases. In ours previous research, a medical system to aid the early diagnosis of the Chronic Kidney Disease (CKD) was developed. However, the current research is concerned with the evaluation and certification of medical system. Regulatory agencies define requirements to approve medical systems to market. The requirements in most of regulatory agencies are defined by prescriptive standards in a process-based approach. This approach alone is not enough to prove systems' dependability. On the other hand, there is a product-based approach in which one can use techniques such as formal methods to evaluate product properties. This chapter presents medical systems used to aid the detection and treatment of chronic diseases related to the stomach, heart, and kidney. Further, some challenges, solutions, and recommendations in the development and certification of this type of system are discussed.