Complexity challenges in development of cyber-physical systems

M Törngren, U Sellgren - Principles of modeling: Essays dedicated to …, 2018 - Springer
Abstract In embarking towards Cyber-Physical Systems (CPS) with unprecedented
capabilities it becomes essential to improve our understanding of CPS complexity and how …

Modeling and Simulation Support for System of Systems Engineering Applications

LB Rainey, A Tolk - 2015 - Wiley Online Library
This text is dedicated to Mr. Kevin Hibbs of the Missile Defense Agency (MDA), an avid
supporter of embracing and exercising new modeling and simulation techniques to enhance …

4D/RCS Version 2.0: A reference model architecture for unmanned vehicle systems

JS Albus, HM Huang, ER Messina, K Murphy… - 2002 - nist.gov
The 4D/RCS architecture provides a reference model for military unmanned vehicles on how
their software components should be identified, organized, and interacting such that …

A dynamic component model for cyber physical systems

F Fouquet, B Morin, F Fleurey, O Barais… - Proceedings of the 15th …, 2012 - dl.acm.org
Cyber Physical Systems (CPS) offer new ways for people to interact with computing systems:
every thing now inte-grates computing power that can be leveraged to provide safety …

A platform-based design methodology with contracts and related tools for the design of cyber-physical systems

P Nuzzo, AL Sangiovanni-Vincentelli… - Proceedings of the …, 2015 - ieeexplore.ieee.org
We introduce a platform-based design methodology that uses contracts to specify and
abstract the components of a cyber-physical system (CPS), and provide formal support to the …

[图书][B] Research challenges in modeling and simulation for engineering complex systems

R Fujimoto, C Bock, W Chen, E Page, JH Panchal - 2017 - Springer
A two-day workshop was held on January 13–14, 2016, at the National Science Foundation
in Arlington, Virginia, with the goal of defining directions for future research in modeling and …

SURE: A modeling and simulation integration platform for evaluation of secure and resilient cyber–physical systems

X Koutsoukos, G Karsai, A Laszka… - Proceedings of the …, 2017 - ieeexplore.ieee.org
The exponential growth of information and communication technologies have caused a
profound shift in the way humans engineer systems leading to the emergence of closed-loop …