Filters








848 Hits in 8.4 sec

Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety

Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, Insup Lee
2014 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)  
In this paper, we present our approach for providing a logical glue to tie distinct verification paradigms and reconcile the abstraction induced differences, to verify safety properties of a medical cyber-physical  ...  In this paper, we present our approach for providing a logical glue to tie distinct verification paradigms and reconcile the abstraction induced differences, to verify safety properties of a medical cyberphysical  ...  In this paper, we describe such a compositional approach to verify safety properties of a closed-loop generic patient-controlled analgesia infusion system.  ... 
doi:10.1109/iccps.2014.6843718 dblp:conf/iccps/MurugesanSRWHL14 fatcat:hhqzozxfpjfv7bsp6qss42j6gq

An ontology-based fault generation and fault propagation analysis approach for safety-critical computer systems at the design stage

Xiaoxu Diao, Mike Pietrykowski, Fuqun Huang, Chetan Mutha, Carol Smidts
2022 Artificial intelligence for engineering design, analysis and manufacturing  
Fault propagation analysis is a process used to determine the consequences of faults residing in a computer system.  ...  The results generated by the proposed framework can verify system robustness and identify safety and reliability risks with limited design level information.  ...  We would like to thank Yunfei Zhao for reviewing this paper.  ... 
doi:10.1017/s0890060421000342 fatcat:3xeyyfp6rraatmsvqhpi2epjdm

Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety

Bernhard Kaiser, Raphael Weber, Markus Oertel, Eckard Böde, Behrang Monajemi Nejad, Justyna Zander
2015 Complex Systems Informatics and Modeling Quarterly  
We present such an integrated development approach that encompasses the systematic breakdown of nominal system behavior using contracts, the consistent derivation of safety analysis by interpreting several  ...  In particular, efficient allocation of safety mechanisms and a sound safety case are difficult tasks for original equipment manufacturers (OEMs).  ...  Our next steps include lifting the described approach to the development of Cyber Physical Systems (CPS).  ... 
doi:10.7250/csimq.2015-4.05 fatcat:i3uit7k5bvcmxesy6rfjpv3gri

A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliés Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o M. Lourenço, Dejan Nickovic, Gordon J. Pace (+4 others)
2019 Formal methods in system design  
In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges  ...  Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor.  ...  the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
doi:10.1007/s10703-019-00337-w fatcat:6vu5odqyjjbkvf255bsxcchane

Hierarchical multi-formalism proofs of cyber-physical systems

Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats P.E. Heimdahl, Insup Lee
2015 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)  
To manage design complexity and provide verification tractability, models of complex cyber-physical systems are typically hierarchically organized into multiple abstraction layers.  ...  We demonstrate the usefulness of the approach by proving that a complex medical infusion pump controller is safe with respect to a continuous time clinical scenario.  ...  Acknowledgments: We thank A. Gacek for his critiques of the formalism and proofs, and D. Cofer and J. Backes at Rockwell Collins for developing JKind and AGREE.  ... 
doi:10.1109/memcod.2015.7340474 dblp:conf/memocode/WhalenRGMSHL15 fatcat:ht7crik5pjhvriv66dww5iqxk4

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

Mustafa Abshir Mohamed, Geylani Kardas, Moharram Challenger
2021 IEEE Access  
This paper presents a Systematic Literature Review (SLR) study that focuses on identifying and classifying the recent research practices pertaining to CPS development by applying MDE approaches.  ...  of platform abstraction.  ...  Studies using UPPAAL for verification include the followings: [115] used UPPAAL to formally verify the safety properties of a medical guideline.  ... 
doi:10.1109/access.2021.3068358 fatcat:7daa32lsgjagdkbryifoqjddra

Modeling of a Generic Edge Computing Application Design

Pedro Juan Roig, Salvador Alcaraz, Katja Gilly, Cristina Bernad, Carlos Juiz
2021 Sensors  
Both approaches have been used to build models considering an edge infrastructure with a cloud backup, which has been further extended with the addition of extra fog nodes, and after having applied the  ...  As the importance of such scenarios is growing by the day, we propose to undertake two different kind of models, such as an algebraic models, with a process algebra called ACP and a coding model with a  ...  However, putting the focus on a generic high-level representation of an edge computing implementation, it is possible to achieve an abstract framework where a block diagram may be designed with concrete  ... 
doi:10.3390/s21217276 pmid:34770582 pmcid:PMC8587040 fatcat:amxvi7nxmbf2tbvscx4kcv477e

Modelling and Analysing Resilient Cyber-Physical Systems

Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer (+11 others)
2019 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)  
While progress has been made, we argue that complexity is now at a level such that existing approaches need a major re-think to define principles and associated techniques for CPS.  ...  Publisher IEEE Link to online version https://conf.researchr.org/track/seams-2019/seams-2019-papers Item record/more information http://hdl.handle.net/10197/11549 Publisher's statement Abstract-From smart  ...  ACKNOWLEDGMENT The authors would like to thank the staff of Shonan Village for their valuable support. We acknowledge SFI grant 13/RC/2094 and EPSRC support.  ... 
doi:10.1109/seams.2019.00018 dblp:conf/icse/BennaceurGTKWCD19 fatcat:sikkvsjghbct3lbxe3vptguq4u

Design for Microassembly - A Methodology for Product Design and Process Selection

C. Tietje, S. Ratche
2007 2007 IEEE International Symposium on Assembly and Manufacturing  
Chapter 3 outlines the research approach adopted here for the developing of a DFIlA methodology.  ...  The survey provides results of studies closely related to the work reported in this thesis and relates that work to a larger ongoing dialogue about the topic of assembly and design in the microworld.  ...  This is realised by a hierarchical approach, starting from a generic assembly process with relatively broad inputs and resources.  ... 
doi:10.1109/isam.2007.4288469 fatcat:4ylvlruh2jaqtjteudiw6auz2e

A Survey on Formal Verification Approaches for Dependable Systems [article]

Fayhaa Hameedi Khlaif, Shawkat Sabah Khairullah
2022 arXiv   pre-print
To detect these errors and eliminate their effects on the system, new error detection approaches must be innovated and used in the design of the digital system.  ...  The complexity of digital embedded systems has been increasing in different safety-critical applications such as industrial automation, process control, transportation, and medical digital devices.  ...  This approach proposes an algorithm for translating a hierarchical Stateflow model to a UPPAAL model.  ... 
arXiv:2204.12913v1 fatcat:y7jyq2gdjrgyxjtyibuknintfq

Architecting dynamic cyber-physical spaces

Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi
2016 Computing  
Such dynamics have to be considered in the design of spatial environments, e.g., to guarantee adequate response times of medical personnel in a digitally connected hospital environment.  ...  As a consequence, designs cannot be automatically (and formally) analyzed with respect to various requirements emerging from dynamic cyber-physical spaces; safety, security or reliability requirements  ...  Acknowledgments We wish to thank Bashar Nuseibeh and Liliana Pasquale for inspiring contributions to many points touched in this paper and for continuous cooperation.  ... 
doi:10.1007/s00607-016-0509-6 fatcat:u33hdfj26jdzlf7b7i5ikq7tca

Proceedings of the First International Workshop on Activity Theory Based Practical Methods for IT-Design, Copenhagen, Denmark, September 2-3, 2004

Olav Bertelsen, Mikko Korpela, Anja Mursu
2004 DAIMI Report Series  
The call for papers required participants to submit a practical AT based method or technique for IT-design.  ...  There have been a few attempts to fill the gab between academic theorizing and practical design, but most often they have not quite succeeded in being a genuine resource for practical design.  ...  This paper has had a longer history, and the collaboration with a number of colleagues has made the current version possible. Apropos -I wanted to write a mail to E. [colleague, mentor] at last.  ... 
doi:10.7146/dpb.v33i574.7199 fatcat:535ogu7h7reztno5ksv3l2kowe

Co-creation for transdisciplinarity - Adoption of participatory design and agile project management in collaborative research processes

Enric Senabre Hidalgo
2019 Figshare  
This thesis, articulated around a compendium of publications, explores if and how far co-creation methodologies can contribute to addressing these challenges, in different contexts and phases of transdisciplinary  ...  In the context of the Network Society, research collaboration has grown in popularity among scientific teams, under many approaches and forms.  ...  /articles/Toolkit_de_co-dise_o_de_investigaci_n/5048302 ) The research co-creation toolkit is aimed at researchers who wish to facilitate co-design dynamics of projects, as well as communities or groups  ... 
doi:10.6084/m9.figshare.11316851.v2 fatcat:lecbt6cq5jbdxhh7gqyuusrvve

Co-creation for transdisciplinarity - Adoption of participatory design and agile project management in collaborative research processes

Enric Senabre Hidalgo
2019 Figshare  
This thesis, articulated around a compendium of publications, explores if and how far co-creation methodologies can contribute to addressing these challenges, in different contexts and phases of transdisciplinary  ...  In the context of the Network Society, research collaboration has grown in popularity among scientific teams, under many approaches and forms.  ...  /articles/Toolkit_de_co-dise_o_de_investigaci_n/5048302 ) The research co-creation toolkit is aimed at researchers who wish to facilitate co-design dynamics of projects, as well as communities or groups  ... 
doi:10.6084/m9.figshare.11316851.v3 fatcat:nz6ol2lpn5crflgiqm3wfm3ia4

Benefits and Challenges of Virtual-Reality-Based Industrial Usability Testing and Design Reviews: A Patents Landscape and Literature Review

Fabio Vinicius de Freitas, Marcus Vinicius Mendes Gomes, Ingrid Winkler
2022 Applied Sciences  
While these constraints prevent virtual reality from replacing conventional design reviews and usability testing in the near future, it is already a valuable contribution to the industrial product development  ...  This study identifies the benefits and challenges of virtual-reality-based usability testing and design reviews in industry through a patents and articles review.  ...  Virtual reality allows therefore a novel, concrete, and resource-saving design evaluation method with significant application potential, since designers only need to produce the models that need to be  ... 
doi:10.3390/app12031755 doaj:bbc705428ae24e1391b5388ccaa21888 fatcat:ufgwuulixrap5ctjl7vnwph2r4
« Previous Showing results 1 — 15 out of 848 results