Filters








81 Hits in 6.7 sec

Modeling and Verifying Time-aware Processes for Cyber-Physical Environments

Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen cheikhrouhou, Ahmed Hadj Kacem
<span title="2018-09-18">2018</span> <i title="Institution of Engineering and Technology (IET)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nutmzv4t7favpn2jtq3bycxowe" style="color: black;">IET Software</a> </i> &nbsp;
Cyber-physical systems (CPSs) are characterized by a multitude of physical and software.  ...  Based on this extension, they propose a consistency verification approach, which aims to verify that the time-related and physical properties associated with each process do not give rise to conflicts.  ...  These techniques are mainly based on existing languages, extended languages to support some CPS aspects for specific purposes or a combination of different formalisms.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1049/iet-sen.2018.5034">doi:10.1049/iet-sen.2018.5034</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6gl5dkmw6vcplacow3mgdfpsfq">fatcat:6gl5dkmw6vcplacow3mgdfpsfq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210716015437/https://ietresearch.onlinelibrary.wiley.com/doi/pdfdirect/10.1049/iet-sen.2018.5034" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3c/e9/3ce99b6907e278f3cd0b2d1abcaf12a372d6e3e4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1049/iet-sen.2018.5034"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation

James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd
<span title="">2016</span> <i title="SCITEPRESS - Science and and Technology Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uhqpttjg5jejjbjdca4rxiq2jm" style="color: black;">Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering</a> </i> &nbsp;
We are interested in a whole-of-system context, where properties of the physical systems increasingly depend explicitly on software configuration, thus requiring validation.  ...  Our models are cyber-physical, comprising not only the control software itself but also mechatronic elements under control involving sensing/actuators, such as pneumatics, hydraulics, and motor drives.  ...  The framework targets nonfunctional requirements of software systems. Modelica (Fritzson 2010 ) is a language aimed towards the modeling of cyber-physical systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005928303630369">doi:10.5220/0005928303630369</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/enase/HarlandBPT16.html">dblp:conf/enase/HarlandBPT16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mthazhv635hsvnukmoxsegwsc4">fatcat:mthazhv635hsvnukmoxsegwsc4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190227091131/http://pdfs.semanticscholar.org/78a9/ec92b29c75c362c08a0424517d148d05c82c.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/78/a9/78a9ec92b29c75c362c08a0424517d148d05c82c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005928303630369"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Viewpoints, formalisms, languages, and tools for cyber-physical systems

David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren
<span title="">2012</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bkbkidixczetzbllp2pobouque" style="color: black;">Proceedings of the 6th International Workshop on Multi-Paradigm Modeling - MPM &#39;12</a> </i> &nbsp;
Cyber-physical systems (CPS) are becoming indispensable in our modern way of life. As an application domain CPS is not new. As an intellectual discipline, however, it is.  ...  In particular, stakeholders lack a systematic framework and guidelines to help them choose among the many available modeling languages and tools. We propose such a framework in this paper.  ...  Block diagram languages may be used for modeling both the cyber and physical parts of a CPS.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2508443.2508452">doi:10.1145/2508443.2508452</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/models/BromanLTT12.html">dblp:conf/models/BromanLTT12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fkv4l3v2grdcrbnookcqtmfp5u">fatcat:fkv4l3v2grdcrbnookcqtmfp5u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170815120309/http://www.diva-portal.org/smash/get/diva2:803896/FULLTEXT01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bf/63/bf63653d17345847b46c72225bd5c2c91b40117d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2508443.2508452"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, Peter Fritzson, Jorg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh
<span title="">2016</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yhlvtu7objbkdkydztopd6iwla" style="color: black;">2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data)</a> </i> &nbsp;
We describe INTO-CPS, a project that aims to realise the goal of integrated tool chains for the collaborative and multidisciplinary engineering of dependable Cyber-Physical Systems (CPSs).  ...  Challenges facing model-based CPS engineering are described, focussing on the semantic diversity of models, management of the large space of models and artefacts produced in CPS engineering, and the need  ...  Modelica is an object-oriented, equation-based language to model complex CPSs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cpsdata.2016.7496424">doi:10.1109/cpsdata.2016.7496424</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cspdata/LarsenFWFBKLPGB16.html">dblp:conf/cspdata/LarsenFWFBKLPGB16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kdzklnzpxjctnkoy6ggus2pzbm">fatcat:kdzklnzpxjctnkoy6ggus2pzbm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200508014605/http://eprints.whiterose.ac.uk/149321/1/CPSData2016.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d6/43/d643c3fe4bc9c7bbdbcbdfd4dcf397030e5836ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cpsdata.2016.7496424"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Towards a Unified View of Modeling and Programming [chapter]

Manfred Broy, Klaus Havelund, Rahul Kumar
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Models are meant to describe a system at a high level of abstraction for the purpose of human understanding and analysis. Programs, on the other hand, are meant for execution.  ...  At the same time, model-based engineering formalisms such as UML and SysML are highly popular in engineering communities due to their graphical nature.  ...  and cyber-physical systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-47169-3_17">doi:10.1007/978-3-319-47169-3_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fh3plvzp6za7veg2o4p36jr5jm">fatcat:fh3plvzp6za7veg2o4p36jr5jm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224094057/http://pdfs.semanticscholar.org/5409/251946f44f1c2ad8a1f97ae778203a046308.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/54/09/5409251946f44f1c2ad8a1f97ae778203a046308.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-47169-3_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

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

Mustafa Abshir Mohamed, Geylani Kardas, Moharram Challenger
<span title="">2021</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q7qi7j4ckfac7ehf3mjbso4hne" style="color: black;">IEEE Access</a> </i> &nbsp;
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  ...  " OR "model-based approach" OR "model-driven approach") AND ("cyber-physical systems" OR "cyber physical systems" OR "smart systems" OR "cyberphysical systems") 9 (metamodel OR "meta-model" OR "meta model  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3068358">doi:10.1109/access.2021.3068358</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7daa32lsgjagdkbryifoqjddra">fatcat:7daa32lsgjagdkbryifoqjddra</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210325191949/https://ieeexplore.ieee.org/ielx7/6287639/6514899/09385062.pdf?tp=&amp;arnumber=9385062&amp;isnumber=6514899&amp;ref=" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/98/90/989039326412b2e905d4edbe9e82f8e56ce044e2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3068358"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>

COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, Dominique Blouin, Etienne Borde, Didier Buchs, Holger Giese, Miguel Goulao, Mauro Iacono, Florin Leon (+3 others)
<span title="2019-01-07">2019</span> <i title="Zenodo"> Zenodo </i> &nbsp;
It consists of a catalog of formalisms, modelling languages and tools for cyberphysical systems development.  ...  Deliverable WG1.1 of working group 1 on foundations for multi-paradigm modeling for cyber-physical systems.  ...  Introduction This report presents a substantial catalog of formalisms, modelling languages and tools that are used in the domain of cyber-physical systems modelling.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.2538711">doi:10.5281/zenodo.2538711</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/itthyvenhfhmdn3f3jap7yf42y">fatcat:itthyvenhfhmdn3f3jap7yf42y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201227222739/https://zenodo.org/record/2538711/files/state_of_art_formalisms_cps_dev_V3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/24/9f/249ff0a5c7557fc19fc65461d630309ac80e13e7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.2538711"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Cyber-Virtual Systems: Simulation, Validation & Visualization [article]

Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz Schmidt
<span title="2014-10-06">2014</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance.  ...  System models may represent an existing physical part - for example an existing robot installation - and a software simulated part - for example a possible future extension.  ...  Acknowledgements We would like to thank staff from RMIT ITS, PropertyServices, eResearch and the VITELab team, in particular Lasith Fernando, Ravi Sreenivasamurthy and Garry Keltie.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1410.1258v1">arXiv:1410.1258v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6k4z3lwhhjhoznhuhvtrtnrqza">fatcat:6k4z3lwhhjhoznhuhvtrtnrqza</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191014165358/https://arxiv.org/pdf/1410.1258v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4a/15/4a15e7ffd80394654a5f1c11b0e0c9f60e52f10d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1410.1258v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Industrial Cyber-Physical Systems – iCyPhy [chapter]

Amit Fisher, Clas A. Jacobson, Edward A. Lee, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Eelco Scholte
<span title="">2014</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hmeqjqvy2rcgbcsyisazatawqm" style="color: black;">Complex Systems Design &amp; Management</a> </i> &nbsp;
The focus is on cyber-physical systems, which combine a cyber side (computing and networking) with a physical side (e.g., mechanical, electrical, and chemical processes).  ...  ICyPhy is a pre-competitive industry-academic partnership focused on architectures, abstractions, technologies, methodologies, and supporting tools for the design, modeling, and analysis of large-scale  ...  Design Methodologies This section addresses model-based systems engineering for cyber-physical systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-02812-5_2">doi:10.1007/978-3-319-02812-5_2</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/csdm/FisherJLMSS13.html">dblp:conf/csdm/FisherJLMSS13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pnb2o3qkbfcwjoqmbw6syvky5i">fatcat:pnb2o3qkbfcwjoqmbw6syvky5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160329192409/https://www.icyphy.org/pubs/34/FisherEtAl_iCyPhy.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e5/97/e597b3ca3c0ca374c342cc677c8542bbcf01336e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-02812-5_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Open Source Languages and Methods for Cyber-Physical System Development: Overview and Case Studies

Lena Buffoni, Lennart Ochel, Adrian Pop, Peter Fritzson, Niklas Fors, Görel Hedin, Walid Taha, Martin Sjölund
<span title="2021-04-10">2021</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ikdpfme5h5egvnwtvvtjrnntyy" style="color: black;">Electronics</a> </i> &nbsp;
In this paper we present a general overview of the available solutions with focus on Modelica/OpenModelica, Bloqqi, and Acumen.  ...  Industrial cyber-physical system products interleave hardware, software, and communication components.  ...  We mention key features that are essential in languages for cyber-physical system modeling and development, based on our experience and research in that domain.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/electronics10080902">doi:10.3390/electronics10080902</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ft7rdceaw5brbjxnvjojft6ope">fatcat:ft7rdceaw5brbjxnvjojft6ope</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210414184233/https://res.mdpi.com/d_attachment/electronics/electronics-10-00902/article_deploy/electronics-10-00902-v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/80/05/8005abe527bd23ca45109fd5150da5eaa5e19f53.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/electronics10080902"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Synchronous Programming (Dagstuhl Seminar 13471)

Stephen A. Edwards, Alain Girault, Klaus Schneider, Marc Herbstritt
<span title="2014-03-17">2014</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
techniques, software and hardware architectures, as well as extensions, transformations, and interfaces to other models of computations, in particular to asynchronous and hybrid systems.  ...  Synchronous programming languages are programming languages with an abstract (logical) notion of time: The execution of such programs is divided into discrete reaction steps, and in each of these reactions  ...  We briefly present a problem posed to use by Rafel Cases and Jordi Cortadella during a lunch organised by Gerard Berry. We propose solutions in the Simulink tool 3 and our language Zélus 4 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.3.11.117">doi:10.4230/dagrep.3.11.117</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/EdwardsGS13.html">dblp:journals/dagstuhl-reports/EdwardsGS13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b7aq6w2q4fawjjqtlfleujr3gi">fatcat:b7aq6w2q4fawjjqtlfleujr3gi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220123034307/https://drops.dagstuhl.de/opus/volltexte/2014/4439/pdf/dagrep_v003_i011_p117_s13471.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e1/ba/e1baed9c0f437495c67732d7dc20f7ebd85be4a2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.3.11.117"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Heterogeneous Models Integration for Safety Critical Mechatronic Systems and Related Digital Twin Definition: Application to a Collaborative Workplace for Aircraft Assembly

Faïda Mhenni, Ferdinando Vitolo, Andrea Rega, Régis Plateaux, Peter Hehenberger, Stanislao Patalano, Jean-Yves Choley
<span title="2022-03-09">2022</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/smrngspzhzce7dy6ofycrfxbim" style="color: black;">Applied Sciences</a> </i> &nbsp;
Then, we apply a design approach including Model-Based Systems Engineering (MBSE), Model-Based Safety Assessment (MBSA) and multi-physics modeling for the design of a collaborative workplace for the assembly  ...  The development of such systems requires integrated design tasks involving many disciplines and domains such as systems engineering, safety analyses and multi-physics.  ...  Mechatronic Design and Analyses (Modelica) for Nominal and Dysfunctional Behavior A multi-physics model is built with Dymola tool and Modelica language to ensure that the system does not exceed the permissible  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/app12062787">doi:10.3390/app12062787</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wn34tbarqfgvtgadsdan57fniu">fatcat:wn34tbarqfgvtgadsdan57fniu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220517163621/https://mdpi-res.com/d_attachment/applsci/applsci-12-02787/article_deploy/applsci-12-02787-v2.pdf?version=1647582019" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f7/4d/f74dc7a53497bc27f4ea78a8807a661be9c1c04b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/app12062787"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Context-sensitive synthesis of executable functional models of cyber-physical systems

Arquimedes Canedo, Eric Schwarzenbach, Mohammad Abdullah Al Faruque
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/grs476oqmveabixjvpae4rxore" style="color: black;">Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems - ICCPS &#39;13</a> </i> &nbsp;
This paper presents a novel approach and tool for integrated cyber-physical systems (CPS) design based on the FBS (Function-Behavior-State) methodology where multi-domain simulation models capturing both  ...  Our approach focuses on simulation-enabled FBS models using automatic and context-sensitive mappings of standard Functional Basis elementary functions to simulation components described in physical modeling  ...  Although we target Modelica language, our method is general to functional modeling and system simulation and can be easily adapted to other physical modeling languages such as Bond Graphs and Modelica.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2502524.2502539">doi:10.1145/2502524.2502539</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iccps/CanedoSF13.html">dblp:conf/iccps/CanedoSF13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s7e7s5rwdvdzlnuysbdsnxgike">fatcat:s7e7s5rwdvdzlnuysbdsnxgike</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811165038/http://aicps.eng.uci.edu/papers/ICCPS-2013.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/52/d9/52d9660963b75e59168b868c38567bd56668168c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2502524.2502539"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Modeling and simulation of large-scale Systems: a systematic comparison of modeling paradigms [article]

Gerald Schweiger, Henrik Nilsson, Josef Schoeggl, Wolfgang Birk, Alfred Posch
<span title="2019-09-01">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper complements existing surveys on large-scale modeling and simulation of physical systems by conducting expert surveys.  ...  A trend across most areas where simulation-driven development is used is the ever increasing size and complexity of the systems under consideration, pushing established methods of modeling and simulation  ...  In the 90s, a new modeling paradigm emerged based on several trends and insights: (i) The problems of modeling physical systems based on causal modeling languages [5, 6] ; (ii) the demand from user to  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1909.00484v1">arXiv:1909.00484v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gj3yu43c5jdqdli2m5pcd6ozjy">fatcat:gj3yu43c5jdqdli2m5pcd6ozjy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200825030242/https://arxiv.org/pdf/1909.00484v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d1/cf/d1cf7faa637f034b791f31a6f3306cbaa8595de8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1909.00484v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Industry 4.0 with cyber-physical integration: A design and manufacture perspective

Alfredo Alan Flores Saldivar, Yun Li, Wei-neng Chen, Zhi-hui Zhan, Jun Zhang, Leo Yi Chen
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2zshqninlve2xfrfkanjkzniki" style="color: black;">2015 21st International Conference on Automation and Computing (ICAC)</a> </i> &nbsp;
Together with growing internet applications and technologies connected through the cloud, a new Industrial Revolution, named "Industry 4.0", aims to integrate cyber-virtual and cyber-physical systems to  ...  Connecting information and physical machinery, this new paradigm relies on how effective and fast connectivity are achieved for Industry 4.0.  ...  A. Design of a Cyber-Physical System Cyber space and virtual systems represented by ICT are now getting integrated with physical control and production systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iconac.2015.7313954">doi:10.1109/iconac.2015.7313954</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iconac/SaldivarLCZZC15.html">dblp:conf/iconac/SaldivarLCZZC15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zls2uo6ccbdbbnw4miwgpo5cbm">fatcat:zls2uo6ccbdbbnw4miwgpo5cbm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171203215406/https://core.ac.uk/download/pdf/42366573.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b5/20/b5207a9e3f133c7c16f723171720dc2274fac250.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iconac.2015.7313954"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 81 results