7,501 Hits in 4.7 sec

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems

Nuno Laranjeiro, Camilo Gomez, Enrico Schiavone, Leonardo Montecchi, Manoel J. M. Carvalho, Paolo Lollini, Zoltan Micskei
2019 2019 9th Latin-American Symposium on Dependable Computing (LADC)  
This paper presents the H2020 ADVANCE project, which aims precisely at addressing the Verification and Validation challenges that the next-generation of cyber-physical systems bring, by exploring techniques  ...  Cyber-physical systems are characterized by strong interactions between their physical and computation parts.  ...  This paper presents the H2020 ADVANCE project, which aims precisely at addressing the Verification and Validation challenges that the next-generation of cyber-physical systems bring, by exploring techniques  ... 
doi:10.1109/ladc48089.2019.8995714 dblp:conf/ladc/LaranjeiroGSMCL19 fatcat:zna7nrxc4vh43cxkn4jdwlfsjq

Model & Simulation-Based Systems Engineering Of Future Cyber-Physical Electrical Power Systems - Challenges And Foundations -

Luigi Vanfretti
2016 Zenodo  
design, manufacturing (of components), and testing/verification/validation of their performance.  ...  This presentation explains how electrical power systems (such as micro grids) are increasingly becoming digitalized, leading to their transformation into a class of cyber-physical systems (a system of  ...  in Cyber-Physical Power Systems Methods and Tooling for Validating Power System Models RaPId was developed in MATLAB.Methods and Tooling for Validating Power System Models… and more to come!  ... 
doi:10.5281/zenodo.61879 fatcat:wbw7tjjaargtpeqxr4ka2m3fa4

Design Automation for Cyber–Physical Systems

Qi Zhu, Alberto Sangiovanni-Vincentelli, Shiyan Hu, Xin Li
2018 Proceedings of the IEEE  
I N T R O D U C T I O N Cyber-physical systems (CPSs) are characterized by the seamless integration and close interaction of cyber components (e.g., sensors, computation nodes, communication networks)  ...  The cyber components monitor, analyze, and control the physical processes, and react to their changes through feedback loops. A classic example of CPSs is autonomous vehicles.  ...  The papers in this special issue discuss challenges and present promising solutions in the modeling, simulation, synthesis, validation, and verification of cyber-physical systems. with the physical environment  ... 
doi:10.1109/jproc.2018.2865229 fatcat:ofjmiclcenflpppwearglsjx74

Increasing and Validating the Safety and Reliability of Cyber-Physical Systems

Johannes Pribyl, Willibald Krenn
2018 Zenodo  
Keywords: cyber-physical systems; safety and security; verification and validation; dependable systems engineering; model-based; automated test case generation; real-time monitoring  ...  The security researchers of AIT Austrian Institute of Technology's research field "Dependable Systems Engineering" (DSE) deal with the challenge of increasing the safety and reliability of cyber-physical  ...  Nomenclature V&V Verification and Validation CPS Cyber-Physical Systems FMVEA Failure Mode, Vulnerabilities and Effects Analysis STPA Systems Theoretic Process Analysis WEFACT Workflow Engine for Analysis  ... 
doi:10.5281/zenodo.1486559 fatcat:fyx7wqtsina3nczj5ickbyj3jy

Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems

Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid
2017 IEEE Systems Journal  
In this paper, we qualitatively and quantitatively analyze why debugging cyber-physical systems remains challenging and either dispel or confirm these strongly held beliefs along the way.  ...  For instance, dissenting opinions exist as to whether formal methods (including static analysis, theorem proving, and model checking) are appropriate in CPS verification and validation.  ...  We also asked the participants to express definitions of both cyber-physical systems and verification and validation in their own words.  ... 
doi:10.1109/jsyst.2015.2496293 fatcat:chpll2mi4jfgpm2zy6yr5uw6ku

Cyber-physical systems: Milestones and research challenges

Kyung-Joon Park, Rong Zheng, Xue Liu
2012 Computer Communications  
(2010-0022076), and in part by the DGIST R&D Program of the Ministry of Education, Science and Technology of Korea (12-BD-0404).  ...  Acknowledgements This work was supported in part by the Basic Science Research Program through the National Research Foundation (NRF) of Korea funded by the Ministry of Education, Science and Technology  ...  One of the main challenges is design verification and validation of extremely complex flight systems.  ... 
doi:10.1016/j.comcom.2012.09.006 fatcat:iow2gcdzdfcy3j4fogi67dd3ni

Cyber-Physical Systems Engineering: An Introduction [chapter]

J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John Fitzgerald, Jim Woodcock
2018 Lecture Notes in Computer Science  
In Intelligent Adaption Process in Cyber-Physical Production Systems [9] (in this issue), the authors report on production and logistics systems, used in the manufacturing industry, and how Cyber-Physical  ...  Cyber-Physical Systems (CPSs) [1] connect the real world to software systems through a network of sensors and actuators in which physical and logical components interact in complex ways.  ... 
doi:10.1007/978-3-030-03424-5_27 fatcat:mv7fwphfa5eazbai6vdpnpvkwi

Editorial to the theme section on model-based engineering of smart systems

John Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen
2019 Journal of Software and Systems Modeling  
We are very grateful to the SoSyM editors and editorial office, notably Martin Schindler, for help and support in preparing this theme issue.  ...  We thank the participants in our workshop for the stimulus to develop this theme issue.  ...  Smart systems are typically cyber-physical in character, demanding multidisciplinary design incorporating heterogeneous models and diverse simulation and analysis tools.  ... 
doi:10.1007/s10270-019-00758-5 fatcat:pojl34szfrgm7f22cp2o7yvame

Internet of Medical Things: A Review of Recent Contributions Dealing with Cyber-Physical Systems in Medicine

Arthur Gatouillat, Youakim Badr, Bertrand Massot, Ervin Sejdic
2018 IEEE Internet of Things Journal  
However, because of the critical nature of health-related systems, the Internet of Medical Things still faces numerous challenges, more particularly in terms of reliability, safety and security.  ...  In this paper, we present a comprehensive literature review of recent contributions focused on improving the Internet of Medical Things through the use of formal methodologies provided by the cyber-physical  ...  and Validation of IoMT: The last identified challenge when designing IoMT-based systems is the integration of a verification and validation process to the product development.  ... 
doi:10.1109/jiot.2018.2849014 fatcat:z2oytkgvu5gh5cuziawczhqdfe

Industrial Cyber–Physical Systems [Scanning the Issue]

Armando W. Colombo, Stamatis Karnouskos, Yang Shi, Shen Yin, Okyay Kaynak
2016 Proceedings of the IEEE  
and systems into an industrial ecosystems; 2) identification of ongoing strategic research, develop- ment, and innovation activi- ties and associated results addressing cyber-physical systems in  ...  Smart grids are a combination of complex physical network systems and cyber systems that face many technological challenges.  ... 
doi:10.1109/jproc.2016.2548318 fatcat:vdcoursj4rfapi77mcbmvmxaa4

Mobile Cyber-Physical System

Xiping Hu, Jun Cheng, Xitong Li, Wei Tan, Qiang Liu, Zhengguo Sheng
2017 Mobile Information Systems  
The paper "Sliding Window Based Feature Extraction and Traffic Clustering for Green Mobile Cyber-Physical Systems" focuses on a green mobile cyber-physical system to ensure network coverage and to reduce  ...  CPS, so as to facilitate the real-world deployment of such systems in the future.  ...  The paper "A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems" targets the challenging task of protocol verification in mobile CPS and proposes a formal approach to verify  ... 
doi:10.1155/2017/4970290 fatcat:hmgaek7mjfbllkiaudgxclvrku

CyberInfrastructures of cyber-applications-systems

Frederica Darema
2010 Procedia Computer Science  
validation and verification of models and their associated software programs, and application analytics.  ...  The new and advanced capabilities discussed here are aimed to address challenges inherent in such systems, namely: complex applications modeling such as multi-scale, multi-modal, multilevel and multiphase  ...  in models and data, validation and verification of models, etc.  ... 
doi:10.1016/j.procs.2010.04.143 fatcat:a6umb62gufcbnogzz7d26osmae

Model-driven Engineering Tools and Languages for Cyber-physical Systems -A Systematic Literature Review

Mustafa Abshir Mohamed, Geylani Kardas, Moharram Challenger
2021 IEEE Access  
for Cyber-Physical Systems (MPM4CPS).  ...  Moharram Challenger and Geylani Kardas would like to thank the European Cooperation in Science & Technology COST Action networking mechanisms and support of COST Action IC1404: Multi-Paradigm Modelling  ...  Finally, presenting the challenges and future research of control, networking and computing systems in the I-IoT.  ... 
doi:10.1109/access.2021.3068358 fatcat:7daa32lsgjagdkbryifoqjddra

A Survey on Testing for Cyber Physical System [chapter]

Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson
2015 Lecture Notes in Computer Science  
Cyber Physical Systems (CPS) bridge the cyber-world of computing and communications with the physical world and require development of secure and reliable software.  ...  It asserts a big challenge not only on testing and verifying the correctness of all physical and cyber components of such big systems, but also on integration of these components.  ...  Challenges in Testing the CPS The confluence of cyber and physical spaces of CPS technologies leads to new opportunities and subsequently some challenges in testing the system.  ... 
doi:10.1007/978-3-319-25945-1_12 fatcat:bd5dopncpnaudmvkyefgxxbym4

Cyber-physical systems

Ragunathan (Raj) Rajkumar, Insup Lee, Lui Sha, John Stankovic
2010 Proceedings of the 47th Design Automation Conference on - DAC '10  
The design, construction and verification of cyber-physical systems pose a multitude of technical challenges that must be addressed by a cross-disciplinary community of researchers and educators.  ...  Cyber-physical systems (CPS) are physical and engineered systems whose operations are monitored, coordinated, controlled and integrated by a computing and communication core.  ...  Acknowledgments Many participants at several CPS workshops provided valuable inputs and ideas that are captured in this article.  ... 
doi:10.1145/1837274.1837461 dblp:conf/dac/RajkumarLSS10 fatcat:bopfcjxm2bezrmd25fsczmwxeu
« Previous Showing results 1 — 15 out of 7,501 results