Sustainable securing of Medical Cyber-Physical Systems for the healthcare of the future

2018 ◽  
Vol 19 ◽  
pp. 138-146 ◽  
Author(s):  
Alberto Huertas Celdrán ◽  
Manuel Gil Pérez ◽  
Félix J. García Clemente ◽  
Gregorio Martínez Pérez
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
The Future

scholarly journals ARCH-COMP 2019 Category Report: Falsification

10.29007/68dk ◽  
2019 ◽  
Author(s):  
Gidon Ernst ◽  
Paolo Arcaini ◽  
Alexandre Donzé ◽  
Georgios Fainekos ◽  
Logan Mathesen ◽  
...  
Keyword(s):  
Temporal Logic ◽  
State Of The Art ◽  
Cyber Physical Systems ◽  
The State ◽  
Base Line ◽  
Physical Systems ◽  
The Future ◽  
Friendly Competition ◽  
Initial Base

This report presents the results from the 2019 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the organization of the competition and how it differs from previous years. We give background on the participating teams and tools and discuss the selected benchmarks and results. The benchmarks are available on the ARCH website1, as well as in the competition’s gitlab repository2. The main outcome of the 2019 competition is a common benchmark repository, and an initial base-line for falsification, with results from multiple tools, which will facilitate comparisons and tracking of the state-of-the-art in falsification in the future.

The Future of Human-in-the-Loop Cyber-Physical Systems

Computer ◽  
2012 ◽  
pp. 1-1 ◽  
Author(s):  
Gunar Schirner ◽  
D. Erdogmus ◽  
Kaushik Chowdhury ◽  
Taskin Padir
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
Human In The Loop ◽  
The Future

scholarly journals A review on the characteristics of cyber-physical systems for the future smart factories

2020 ◽  
Vol 54 ◽  
pp. 305-335 ◽  
Author(s):  
Alessia Napoleone ◽  
Marco Macchi ◽  
Alessandro Pozzetti
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
The Future ◽  
Smart Factories

scholarly journals The Concept of Autonomy

2020 ◽  
Author(s):  
Tim McFarland
Keyword(s):  
International Law ◽  
Autonomous System ◽  
Autonomous Systems ◽  
Research Paper ◽  
Cyber Physical Systems ◽  
Legal Analysis ◽  
Technical Term ◽  
Bottom Up ◽  
Physical Systems ◽  
The Future

[Law and the Future of War Research Paper No 2] This paper investigates the notion of autonomy as it applies to software and cyber-physical systems, with a focus on matters which bear some significance to the application of relevant bodies of international law. As autonomy, in the context of software, is a technical term rather than a legal or philosophical one, a bottom-up approach is taken, beginning with a description of the technical origins and meaning of the term ‘autonomous’. Based on that, two important relationships are discussed: that between the autonomous system and its environment, and between the system and its operator. Finally, several aspects of autonomy of relevance to a legal analysis are discussed: autonomous systems do not necessarily behave differently to manually operated systems; autonomous systems are not ‘independent’ of humans for the purposes of a legal analysis; and the relative contributions of human and machine in an operation involving an autonomous system are likely to be complex and variable, such that they should arguably be viewed as a form of collaboration between human and machine rather than a simple delegation of the entirety of a task to a machine.

scholarly journals A Database-Centric Framework for the Modeling, Simulation, and Control of Cyber-Physical Systems in the Factory of the Future

2018 ◽  
Vol 27 (4) ◽  
pp. 659-679 ◽  
Author(s):  
Andrea Bonci ◽  
Massimiliano Pirani ◽  
Sauro Longhi
Keyword(s):  
Cyber Physical Systems ◽  
Real Time Control ◽  
Embedded Devices ◽  
Physical Systems ◽  
Time Control ◽  
The Future ◽  
Factory Of The Future ◽  
Automation Technology ◽  
And Control

Abstract The factory of the future scenario asks for new approaches to cope with the incoming challenges and complexity of cyber-physical systems. The role of database management systems is becoming central for control and automation technology in this new industrial scenario. This article proposes database-centric technology and architecture that aims to seamlessly integrate networking, artificial intelligence, and real-time control issues into a unified model of computing. The proposed methodology is also viable for the development of a framework that features simulation and rapid prototyping tools for smart and advanced industrial automation. The full expression of the potentialities in the presented approach is expected in particular for applications where tiny and distributed embedded devices collaborate to a shared computing task of relevant complexity.

El panorama de la industria 4.0 en el marco de la formación profesional del talento humano en salud

2019 ◽  
Vol 2 ◽  
pp. 99-111
Author(s):  
Fabiam Eduardo Rojas Navarrete ◽  
Nairo Yovany Rodríguez Cabrera
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
University Of Phoenix ◽  
Sociedad Del Conocimiento ◽  
The Future ◽  
Toma De Decisiones ◽  
Capital Humano ◽  
The University ◽  
Research Institute

En la primera parte de este escrito se aborda el concepto de cuarta revolución industrial y la forma en la surge en Alemania, como una iniciativa estratégica de Gobierno en el año de 2011, la cual representa un paso de una sociedad industrial hacia una sociedad del conocimiento surgida desde en una revolución de orden digital, integrando Cyber-Physical Systems (CPS) para el desarrollo de espacios ciberfísicos que les permita optimizar los procesos industriales en entornos complejos, donde se genera creación, procesamiento, y análisis de datos en grandes cantidades dirigido a la toma de decisiones basadas en los conocimientos surgidos de esos análisis. En este entorno la producción dirigida a los individuos es fundamental, los productos se hacen de forma personalizada incluyendo los materiales, procesos y destinatario final. En este marco la inclusión del uso eficiente de la energía es fundamental en la integración de los procesos productivos. Lo que se materializa en la creación de nuevos modelos de administración caracterizados por las decisiones basadas en el conocimiento, incluyendo la rapidez y eficiencia basada en el análisis y graficación de datos. La constitución de redes y clúster está llamada a hacer parte de la vida de las empresas, incluyendo la minimización de costos y cambios en la cadena de suministros. Ello representa un cambio significativo en la forma como el talento humano se debe vincular a un mundo laboral marcado por la alta tecnología con la herramienta de la creatividad: se pasa del trabajador operario al trabajador creativo. En su conjunto se puede afirmar que los pilares de la Revolución 4.0 se encuentran soportados bajo la idea de ecosistema, donde se dan complejas relaciones entre los sistemas que la integran.En la segunda parte se abordan algunas aplicaciones de esta revolución al área de la salud como lo son la inteligencia artificial, Blockchain, internet de la salud, impresión 3D, robótica y realidad mixta. Finalmente en la tercera parte se realiza una descripción de la forma cómo se prevé el horizonte de posibilidades para los técnicos en salud en el marco de la cuarta revolución industrial para Latinoamérica, incluyendo una lectura del BID y se ofrece una presentación del tema desde un estudio de brechas realizado por la Cámara de comercio de Bogotá, PNUD y SENA, sobre brechas de capital humano en salud, desde el Clúster de salud de Bogotá-Región. Finalmente se cierra la reflexión con la presentación de las Habilidades para el trabajo futuro propuestas por el Institute for the Future for the University of Phoenix Research Institute. Objetivo: Generar una reflexión sobre el concepto de la cuarta revolución industrial y algunas aplicaciones en el área de la salud. Método: Se realizó una revisión bibliográfica de los temas abordados como marco general de la reflexión y posteriormente una propuesta reflexiva sobre algunos avances dentro del área de salud en el marco de esta revolución. Conclusiones: La Industria 4.0 genera grandes transformación en la forma como las empresas son administradas y la forma como producen, ya que la integración horizontal eje central de la integración, no sólo permite integrar los procesos de cada una de las áreas, sino que permite integrar los procesos de producción entre empresas con el fin de reducir costos y alcanzar unos mayores niveles de productividad y un mayor crecimiento económico para los países.

Sign in / Sign up

Export Citation Format

Share Document