30 Hits in 8.2 sec

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems [article]

Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
2019 arXiv   pre-print
The computational model of actor supports modeling distributed asynchronously communicating systems. We propose Hybrid Rebeca language to support modeling of cyber-physical systems.  ...  In cyber-physical systems like automotive systems, there are components like sensors, actuators, and controllers that communicate asynchronously with each other.  ...  Acknowledgments We would like to thank Edward Lee for his supports and patient guidance on modeling and analyzing CPSs, Tom Henzinger for his fruitful discussion on the extended actor model, and MohammadReza  ... 
arXiv:1901.02597v1 fatcat:4me7pspqyfajda77ovxeoy4rpy

Safe Design of Flow Management Systems Using Rebeca

Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, Marjan Sirjani
2020 Journal of Information Processing  
Timed Rebeca is used for modeling, and the model checking tool Afra is used for safety verification and performance evaluation in AdaptiveFlow.  ...  This paper presents AdaptiveFlow as a framework for modeling, safety checking and performance analysis of trackbased flow management systems.  ...  Timed Rebeca Model in AdaptiveFlow The Timed Rebeca Model of the flow management system is built based on the features of interest in the system.  ... 
doi:10.2197/ipsjjip.28.588 fatcat:jzsufqoxdvfxjlmfcild5k4k4y

A Hybrid Model for Information Security Risk Assessment

Sami Haji, Qing Tan, Rebeca Soler Costa
2019 International Journal of Advanced Trends in Computer Science and Engineering  
This paper will review and analyze the main processes followed in IT risk management frameworks from the perspective of the threat analysis process using a threat modeling methodology.  ...  The new proposed model complements and fulfills the gap in the practice of assessing information security risks.  ...  system and organizations in following a systematic approach of identifying, and evaluating risks to information systems [2] .  ... 
doi:10.30534/ijatcse/2019/1981.12019 fatcat:b3antrpuabguln4pv3af7aoub4

Guest editorial to the theme section on Multi-Paradigm Modeling for Cyber-Physical Systems

Eugene Syriani, Manuel Wimmer
2021 Journal of Software and Systems Modeling  
This theme section aims to disseminate the latest research results in the area of Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS).  ...  This theme section covers papers on the foundations and applications of MPM for CPS.  ...  Acknowledgements After more than a decade of running different events and initiatives concerning multi-paradigm modeling, there is a long list of people we like to thank.  ... 
doi:10.1007/s10270-021-00882-1 pmid:33841064 pmcid:PMC8020369 fatcat:ibzozp4bt5hv5nljfokj7dnsge

Towards a Strategy for Supporting the Engineering of Contemporary Software Systems [article]

Rebeca C. Motta
2019 arXiv   pre-print
and systems.  ...  It is leading to a shift from the classical monolithic view of development where stakeholders receive a software product at the end, to materialized software systems through physical objects interconnected  ...  One more area is represented by Cyber-Physical Systems (CPS) that aims "to bring the cyber-world of computing and communications together with the physical world" (Rajkumar et al., 2010; Madakam, Ramaswamy  ... 
arXiv:1904.11741v1 fatcat:qv7wljp44rfabnrwkmxebg2s5y

Verification of Cyberphysical Systems

Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah
2020 Mathematics  
We focus on the cyber part and model a faithful interface to the physical part.  ...  The value of verification of cyberphysical systems depends on the relationship between the state of the software and the state of the physical system.  ...  The framework of Hybrid automata [5] , provides a formal modeling and specification environment to analyze the interaction between the discrete and continuous parts of a cyberphysical system.  ... 
doi:10.3390/math8071068 fatcat:bjpxnpii5fhyzkjwo2cd4dv6se

Towards a more in-depth understanding of the IoT Paradigm and its challenges

Rebeca Campos Motta, Valéria Silva, Guilherme Horta Travassos
2019 Journal of Software Engineering Research and Development  
Furthermore, the results include an IoT characterization based on identification, sensing, and actuation capabilities, besides a discussion of the relation between IoT and Cyber-Physical Systems (CPS),  ...  The Internet of Things (IoT) is a new technological paradigm that brings together the physical and virtual worlds to provide software systems everywhere through daily life objects.  ...  Acknowledgments The authors thank CNPq and CAPES for supporting this research. Funding  ... 
doi:10.5753/jserd.2019.14 fatcat:zoxfa2widfainfz5ycvn6jwfke

On Challenges in Engineering IoT Software Systems

Rebeca Campos Motta, Káthia Marçal De Oliveira, Guilherme Horta Travassos
2019 Journal of Software Engineering Research and Development  
materialized through physical objects interconnected by networks and with embedded software to support daily activities.  ...  Contemporary software systems, such as the Internet of Things (IoT), Industry 4.0, and Smart Cities represent a technology changing that offer challenges for their construction since they are calling into  ...  IoT related concepts such as cyber-physical systems (Khaitan and McCalley 2015) and systems of systems (Nielsen et al. 2015) are also discussed in the final report of the review.  ... 
doi:10.5753/jserd.2019.15 fatcat:bszcr3h3xvganpqwm3icz6vpl4

Information Technology and Communication in Education: Two Sides of the Coin in Brazil

Kyria Rebeca Finardi, Daisa Teixeira, Gicele V. Vieira Prebianca, Vital P. Dos Santos Júnior
2014 International Journal of Recent Contributions from Engineering, Science & IT  
With that aim the study analyzes teachers' and students' beliefs on the use of ICTs in two contexts: a teacher education course for the use of ICTs in blended approaches and an English for Specific Purposes  ...  social context and demands of society, teachers may continue to perceive a low level of motivation and engagement on the part of students.  ...  the era of cyber culture [1] .  ... 
doi:10.3991/ijes.v2i2.3814 fatcat:2xb5vjqfgzd65nrkptqscsarme

Real-Time Maude and Its Applications [chapter]

Peter Csaba Ölveczky
2014 Lecture Notes in Computer Science  
Real-Time Maude extends the rewriting-logic-based Maude system to support the executable formal modeling and analysis of realtime systems.  ...  of different kinds and industrial embedded systems.  ...  In particular, I would like to thank José Meseguer, who has been part of the entire Real-Time Maude journey, Martin Wirsing, who initiated this journey, and Kyungmin Bae.  ... 
doi:10.1007/978-3-319-12904-4_3 fatcat:vl2pr3hnpzarlaertiowpl7nki


2021 2021 IEEE Global Engineering Education Conference (EDUCON)  
, Sophia Education in Cyber Physical Systems Security: The Case of Connected Autonomous Vehicles 1379 Meier, Russ Build your own robot 543 Meier, Russ Gender and STEAM as part of the MOOC STEAM4ALL  ...  Education in Cyber Physical Systems Security: The Case of Connected Autonomous Vehicles 1379 Kawaminami-Garcia, Ivan Roberto Development of Inventor Profiles for Engineering Students to Acquire Exclusive  ... 
doi:10.1109/educon46332.2021.9453902 fatcat:3gg6om2c35dn5hdwjc7wmptkn4

EDUCON 2020 Author Index

2020 2020 IEEE Global Engineering Education Conference (EDUCON)  
A hybrid Qipped-learning model and a new learning-space to improve the performance of students in S 698 Rodriguez-Paz, Miguel X.  ...  A hybrid Iipped-learning model and a new learning-space to improve the performance of students in S 698 González-Padrón, José-Guadalupe Use of emerging technologies for the proposal and design of  ... 
doi:10.1109/educon45650.2020.9125236 fatcat:xnib6mhr3rgejmn3zne5jqxiaa

Centralized coordination vs. partially-distributed coordination with Reo and constraint automata

S.-S.T.Q. Jongmans, F. Arbab
2018 Science of Computer Programming  
High-level concurrency notations and abstractions have several well-known software engineering advantages when it comes to programming concurrency protocols among threads.  ...  For instance, to better and more reliably tune our compilers, we must learn under which circumstances parallel protocol code, with high throughput but also high latency, outperforms sequential protocol  ...  This can be problematic for systems with limited memory resources in general, and for embedded and cyber-physical systems in particular.  ... 
doi:10.1016/j.scico.2017.06.004 fatcat:32s7wql5xfgwpotttm43a46day

Peer-to-Peer based Social Networks: A Comprehensive Survey [article]

Newton Masinde, Kalman Graffi
2020 arXiv   pre-print
Most, if not all, of these platforms are based on centralized computing systems, meaning that the control and management of the systems lies in the hand of one provider, which must be trusted to treat  ...  as well as sharing of content such as videos and photos.  ...  Thus a reliable and accurate system monitoring interface can be integrated to collect system data, which can later be analyzed to gauge the health of the system. E.  ... 
arXiv:2001.02611v2 fatcat:nrvp45dy3rbnhmajtvqiect3ty

Modelling analysis and implementation of distributed probabilistic timed actors using theatre

Paolo Francesco Sciammarella, Libero Nigro, Domenico Grimaldi
Dottorato in Information and Communication Technologies, Ciclo XXXI  ...  Part III Theatre in Action Model Continuity in Cyber-Physical Systems: a control-centered methodology based on agents 1 A Cyber-Physical System (CPS) is given by the integration of cyber and physical  ...  the physical clock (of Arduino) and the cyber clock occur.  ... 
doi:10.13126/ fatcat:m2xdstyp2zblxh4nvsyxx7tcdy
« Previous Showing results 1 — 15 out of 30 results