Cargando…

A Model-Based Approach to Support Validation of Medical Cyber-Physical Systems

Medical Cyber-Physical Systems (MCPS) are context-aware, life-critical systems with patient safety as the main concern, demanding rigorous processes for validation to guarantee user requirement compliance and specification-oriented correctness. In this article, we propose a model-based approach for...

Descripción completa

Detalles Bibliográficos
Autores principales:	Silva, Lenardo C., Almeida, Hyggo O., Perkusich, Angelo, Perkusich, Mirko
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	MDPI 2015
Materias:	Article
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4701248/ https://www.ncbi.nlm.nih.gov/pubmed/26528982 http://dx.doi.org/10.3390/s151127625

Ejemplares similares

An Acoustic Sensing Gesture Recognition System Design Based on a Hidden Markov Model
por: Moreira, Bruna Salles, et al.
Publicado: (2020)

Classification Models for COVID-19 Test Prioritization in Brazil: Machine Learning Approach
por: Viana dos Santos Santana, Íris, et al.
Publicado: (2021)

Mobility-Aware Federated Learning Considering Multiple Networks
por: Macedo, Daniel, et al.
Publicado: (2023)

Design and evaluation of a mobile application to assist the self-monitoring of the chronic kidney disease in developing countries
por: Sobrinho, Alvaro, et al.
Publicado: (2018)

Privacy-Preserving Blockchain Technologies
por: Valadares, Dalton Cézane Gomes, et al.
Publicado: (2023)

Cyber security for cyber physical systems
por: Ali, Saqib, et al.
Publicado: (2018)

Computational intelligence for decision support in cyber-physical systems
por: Khan, Zeashan, et al.
Publicado: (2014)

Rapid medical guideline systems for COVID-19 using database-centric modeling and validation of cyber-physical systems
por: Padmanabhan, Mani
Publicado: (2022)

A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems
por: Huang, Jiwei, et al.
Publicado: (2016)

Cyber-Physical Systems
por: Rawat, Danda
Publicado: (2015)

Cyber-physical systems
por: Guo, Song, et al.
Publicado: (2018)

Cyber-physical systems
por: Rajkumar, Raj, et al.
Publicado: (2017)

Cyber-Physical Systems
por: Hu, Fei
Publicado: (2013)

Cyber-physical systems
por: Kravets, Alla G, et al.
Publicado: (2019)

Film dance creation practice supported by Cyber Physical System
por: Lin, Zhiqun, et al.
Publicado: (2023)

Recommendation of Workplaces in a Coworking Building: A Cyber-Physical Approach Supported by a Context-Aware Multi-Agent System
por: Gomes, Luis, et al.
Publicado: (2020)

Introduction to embedded systems: a cyber physical systems approach
por: Ashford Lee, Edward, et al.
Publicado: (2015)

Security Risk Assessment Approach for Distribution Network Cyber Physical Systems Considering Cyber Attack Vulnerabilities
por: Zhou, Buxiang, et al.
Publicado: (2022)

Securing cyber-physical systems
por: Pathan, Al-Sakib Khan
Publicado: (2015)

Cyber-physical systems security
por: Koç, Çetin Kaya
Publicado: (2018)

Quantum cyber-physical systems
por: Villalba-Diez, Javier, et al.
Publicado: (2022)

Model-implementation fidelity in cyber physical system design
por: Molnos, Anca, et al.
Publicado: (2017)

A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B
por: Afendi, Meryem
Publicado: (2020)

Trustworthy cyber-physical systems engineering
por: Romanovsky, Alexander, et al.
Publicado: (2016)

Complexity Challenges in Cyber Physical Systems
por: Mittal, Saurabh, et al.
Publicado: (2019)

Artificial intelligence in cyber physical systems
por: Radanliev, Petar, et al.
Publicado: (2020)

Engineering safe and secure cyber-physical systems: the specification PEARL approach
por: Gumzej, Roman
Publicado: (2016)

Industrial cloud-based cyber-physical systems: the IMC-AESOP approach
por: Colombo, Armando, et al.
Publicado: (2014)

An integrated approach of designing functionality with security for distributed cyber-physical systems
por: Tripathi, Dipty, et al.
Publicado: (2022)

Embedded systems, cyber-physical systems, and applications
por: Arabnia, Hamid R, et al.
Publicado: (2017)

A Bayesian Framework for the Analysis and Optimal Mitigation of Cyber Threats to Cyber‐Physical Systems
por: Żebrowski, Piotr, et al.
Publicado: (2022)

Handbook of system safety and security: cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems
por: Griffor, Edward
Publicado: (2016)

A practical introduction to human-in-the-loop cyber-physical systems
por: Nunes, David, et al.
Publicado: (2018)

Improved Wireless Medical Cyber-Physical System (IWMCPS) Based on Machine Learning
por: Alzahrani, Ahmad, et al.
Publicado: (2023)

Optimization and Control of Cyber-Physical Vehicle Systems
por: Bradley, Justin M., et al.
Publicado: (2015)

Cyber-physical systems: foundations, principles and applications
por: Song, Houbing, et al.
Publicado: (2016)

Secure and trustworthy transportation cyber-physical systems
por: Sun, Yunchuan, et al.
Publicado: (2017)

Cyber-physical vehicle systems: methodology and applications
por: Lv, Chen, et al.
Publicado: (2020)

Skill-Based Verification of Cyber-Physical Systems
por: Knüppel, Alexander, et al.
Publicado: (2020)

Data driven discovery of cyber physical systems
por: Yuan, Ye, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_v8hrsqrgi6t1la071v0f4svg8e