6,972 Hits in 8.0 sec

A tool suite for the model-driven software engineering of cyber-physical systems

Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, Uwe Pohlmann
2014 Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014  
This paper presents the MECHA-TRONICUML TOOL SUITE that offers unique features to support the MECHATRONICUML modeling and analyses tasks.  ...  Cyber-physical systems, e.g., autonomous cars or trains, interact with their physical environment.  ...  ACKNOWLEDGEMENTS We thank our students that helped us to develop the MECHA-TRONICUML TOOL SUITE.  ... 
doi:10.1145/2635868.2661665 dblp:conf/sigsoft/DziwokGBTHP14 fatcat:rk3gdklwczednkx3olkwgb7ztm

Unification or Integration? The Challenge of Semantics in Heterogeneous Modeling Languages

Gabor Karsai
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
Model-driven software development and systems engineering rely on modeling languages that provide ecient, domain-specic abstractions for design, analysis, and implementation.  ...  Thus engineers face the dilemma of either dening a unifying semantics for all models, or nding a solution to the model integration problem.  ...  Koutsoukos, Zsolt Lattmann, Tihamer Levendovszky, Nag Mahadevan, Adam Nagel, Sandeep Neema, Joseph Porter, Gabor Simko and many of the colleagues at the Institute for Software-Integrated Systems.  ... 
dblp:conf/models/Karsai14 fatcat:r4boblgw5vghrd4blqtsrrzdmi

Modeling distributed automation systems in cyber-physical view

Wenbin Dai, Valeriy Vyatkin, Cailian Chen, Xinping Guan
2015 2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA)  
On the other hand, cyber-physical system is committed for solving complexities of networked embedded systems.  ...  Finally, an industrial cyber-physical system design tool is implemented by applying the proposed IEC 61499-based modeling language.  ...  IMPLEMENTATION In order to illustrate cyber-physical view of distributed automation system design, a cyber-physical view-enabled IEC 61499 software tool is needed.  ... 
doi:10.1109/iciea.2015.7334251 fatcat:7tetnkzppze73jkdjr4n7rpy2m

Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward

Xi Zheng, Christine Julien
2015 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems  
It is widely held that debugging cyber-physical systems (CPS) is challenging; to date, empirical studies investigating research challenges in CPS verification and validation have not been done.  ...  As a result, the exact challenges facing CPS developers in the real world remain at best unquantified and at worst unknown, and the research directions the community should undertake are not clearly identified  ...  be a key enabler of a verification and validation tool suite for CPS.  ... 
doi:10.1109/sescps.2015.11 dblp:conf/icse/ZhengJ15 fatcat:67yz2glwnzfqhprnbq55wsydke

Aspect-Oriented Development Method for Non-Functional Characteristics of Cyber Physical Systems Based on MDA Approach

Lichen Zhang
2012 Journal of Software  
A case study illustrates the aspect oriented MDA development of cyber physical systems.  ...  AOP is a new software development paradigm, which could attain a higher level of separation of concerns in both functional and nonfunctional matters by introducing aspect, for the implementation of crosscutting  ...  Their paper describes ongoing work along with a short case study on integrating the C-SAW aspect weaving tool with the CoSMIC model driven development tool suite [15] .  ... 
doi:10.4304/jsw.7.3.608-619 fatcat:u7tsi5jpnfb37pn5xc5simd5mm

Model-Driven Performance Analysis of Reconfigurable Conveyor Systems Used in Material Handling Applications

Kyoungho An, Adam Trewyn, Aniruddha Gokhale, Shivakumar Sastry
2011 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems  
Second, an analysis engine embedded within the model-driven tool provides an accurate simulation of the modeled conveyor system accounting for both the physical and cyber issues.  ...  Any analysis capability that provides answers to these questions must account for both the physical and cyber artifacts of the reconfigurable system all at once.  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation or Vanderbilt  ... 
doi:10.1109/iccps.2011.12 dblp:conf/iccps/AnTGS11 fatcat:zxo3qdwl7vfkxgcbrtubbeojee

OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems [chapter]

Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan Jackson
2014 Lecture Notes in Computer Science  
However, significant impact on the design and manufacturing of complex cyber-physical systems (CPS) such as vehicles has not yet been achieved.  ...  This paper describes challenges of and solution approaches to building a comprehensive design tool suite for complex CPS.  ...  of complex cyber-physical systems (CPS) [1] .  ... 
doi:10.1007/978-3-642-54848-2_16 fatcat:3kryhumez5aovfp6wx7xkgtzsu

Editorial to the theme section on model-based design of cyber-physical systems

Manfred Broy, Heinrich Daembkes, Janos Sztipanovits
2018 Journal of Software and Systems Modeling  
Acknowledgements We would like to express our appreciation to the SoSyM editorial office, and, in particular, to Martin Schindler for the excellent support in preparing this theme section.  ...  The complete redesign of abstraction suites and related modeling and simulation tools is not feasible for CPS.  ...  Introduction Cyber-physical systems (CPS) are engineered systems where functionalities are emerging from the networked interaction of physical and computational processes.  ... 
doi:10.1007/s10270-018-0670-9 fatcat:jmeoo2lsy5a7vnoxfl3ghgb3iy

Machine Tool: From the Digital Twin to the Cyber-Physical Systems [chapter]

Mikel Armendia, Aitor Alzaga, Flavien Peysson, Tobias Fuertjes, Frédéric Cugnon, Erdem Ozturk, Dominik Flum
2019 Twin-Control  
Tool: From the Digital Twin to the Cyber-Physical Systems Machine Tool: From the Digital Twin to the Cyber-Physical Systems 7 Machine Tool: From the Digital Twin to the Cyber-Physical Systems  ...  Systems Machine Tool: From the Digital Twin to the Cyber-Physical Systems Machine Tool: From the Digital Twin to the Cyber-Physical Systems Machine Tool: From the Digital Twin to the Cyber-Physical  ... 
doi:10.1007/978-3-030-02203-7_1 fatcat:pwrxtfz3qzcy3mnfmbir5aduvu

fSysML: Foundational Executable SysML for Cyber-Physical System Modeling

Omar Badreddin, Vahdat Abdelzad, Timothy Lethbridge, Maged Elaasar
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
This paper proposes fSysML, a foundational and executable subset of SysML geared towards facilitating the development of modern Cyber-Physical Systems. fSysML defines both a surface syntax for a SysML  ...  Hence, there is a growing need to develop design languages that can bridge the gap between system and software engineering communities.  ...  To facilitate the development of Cyber-Physical Systems, we propose a design language that encompass the following key properties. 1) Enables the design and modeling of both physical and software elements  ... 
dblp:conf/models/BadreddinALE16 fatcat:htbicwwgxvbztder4ezqb54q4q

A-CPS: Automation in High-performance Cyber Physical Systems Development

Alessio Bucaioni
2019 International Conference on Software Technologies: Applications and Foundations  
In particular, the project aims at providing a model-based framework for the automatic assessment of timeliness of vehicular systems by means of model-based simulation, timing analysis and their interplay  ...  In this paper, we describe the Automation in High-performance Cyber Physical Systems Development research project.  ...  Alessio Bucaioni with the opportunity to develop into an independent researcher in the area of model-driven engineering for cyber physical systems.  ... 
dblp:conf/staf/Bucaioni19 fatcat:26i2vigppndybfsqycjf3ijfyu

Physically informed assertions for cyber physical systems development and debugging

Xi Zheng
2014 2014 IEEE International Conference on Pervasive Computing and Communication Workshops (PERCOM WORKSHOPS)  
Cyber Physical Systems (CPS), widely used in pervasive computing, integrate computation in the cyber world with control of physical processes.  ...  Traditional debugging techniques can detect bugs in the cyber world, but bugs introduced from physical components and induced by limitations in the software interface to physical hardware are still difficult  ...  For instance, a model of a CPS usually contains heterogenous models of various physical dynamic processes as well as models of computations, networks and software.  ... 
doi:10.1109/percomw.2014.6815195 dblp:conf/percom/Zheng14 fatcat:xi4oazfxorewlffiwvnysaa5ya

Recommendations for Model-Driven Paradigms for Integrated Approaches to Cyber Defense [article]

Mona Lange, Alexander Kott, Noam Ben-Asher, Wim Mees, Nazife Baykal, Cristian-Mihai Vidu, Matteo Merialdo, Marek Malowidzki, Bhopinder Madahar
2017 arXiv   pre-print
A model-driven paradigm is predicated on creation and validation of mechanisms of modeling the organization whose mission is subject to assessment, the mission (or missions) itself, and the cyber-vulnerable  ...  The North Atlantic Treaty Organization (NATO) Exploratory Team meeting, "Model-Driven Paradigms for Integrated Approaches to Cyber Defense," was organized by the NATO Science and Technology Organization's  ...  classes of models used to support cyber modeling but do not model cyber aspects: • Physical systems models to support modeling of cyber-physical effects • Network simulation models The following section  ... 
arXiv:1703.03306v1 fatcat:kf4exhn4enez7d2uzhaz2bahx4

Effiziente Aufgaben-Allokation in Roboter-Teams

Chayan Sarkar, Sounak Dey, Marichi Agarwal
2018 atp edition - Automatisierungstechnische Praxis  
In this article, we explore an avenue of semantic-based dynamic utility calculation and showcase its application for a use-case.  ...  With the advent of Industry 4.0 era, employing a team of robots within a factory floor or a warehouse is pretty prevalent today as robots can perform a known task with higher accuracy and efficiency if  ...  Selecting Modeling Formalism Modern engineering methods for cyber-physical systems offer a multitude of possible formalisms for physical modeling, with varying mathematical foundations.  ... 
doi:10.17560/atp.v60i08.2367 fatcat:ql3tbqtmrvcc7m5u2eryvyaaai

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

Mustafa Abshir Mohamed, Geylani Kardas, Moharram Challenger
2021 IEEE Access  
One of the key approaches to reduce the development complexity for CPS is Model-driven Engineering (MDE), which is frequently used in many industrial domains for software development to increase the level  ...  The development of Cyber-physical Systems (CPS) draws more interest from both researchers and industrial practitioners considering the opportunities they offer in almost all areas of industry.  ...  approach") AND ("cyber-physical systems" OR "cyber physical systems" OR "smart systems" OR cps OR "cyberphysical systems") 12 ("model-driven development" OR "model-driven engineering" OR "model-driven  ... 
doi:10.1109/access.2021.3068358 fatcat:7daa32lsgjagdkbryifoqjddra
« Previous Showing results 1 — 15 out of 6,972 results