Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Modeling concurrent real-time processes using discrete events
Annals of Software Engineering
Hybrid Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
A CORBA-Based Middleware Solution for UAVs
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
TAG: a Tiny AGgregation service for Ad-Hoc sensor networks
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Computer
Real-time interfaces for composing real-time systems
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Measurement, Control, and Communication Using IEEE 1588 (Advances in Industrial Control)
Measurement, Control, and Communication Using IEEE 1588 (Advances in Industrial Control)
A Programming Model for Time-Synchronized Distributed Real-Time Systems
RTAS '07 Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium
The case for the precision timed (PRET) machine
Proceedings of the 44th annual Design Automation Conference
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
The worst-case execution-time problem—overview of methods and survey of tools
ACM Transactions on Embedded Computing Systems (TECS)
Obstacles in Worst-Case Execution Time Analysis
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
Real-Time Distributed Discrete-Event Execution with Fault Tolerance
RTAS '08 Proceedings of the 2008 IEEE Real-Time and Embedded Technology and Applications Symposium
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Simulation and Implementation of the PTIDES Programming Model
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Communications of the ACM - Security in the Browser
Game-theoretic timing analysis
Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
Operational semantics of hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
The design of the TAO real-time object request broker
Computer Communications
Research on modeling and analysis of CPS
ATC'11 Proceedings of the 8th international conference on Autonomic and trusted computing
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Node-Based connection semantics for equation-based object-oriented modeling languages
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
Approach for defining intelligent systems technical performance metrics
Proceedings of the Workshop on Performance Metrics for Intelligent Systems
Modeling and analysis of middleware design for streaming power grid applications
Proceedings of the Industrial Track of the 13th ACM/IFIP/USENIX International Middleware Conference
Pacemaker control of heart rate variability: A cyber physical system perspective
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
Modeling uncertainty for middleware-based streaming power grid applications
Proceedings of the 8th Workshop on Middleware for Next Generation Internet Computing
Effective real-time scheduling algorithm for cyber physical systems society
Future Generation Computer Systems
Hi-index | 0.00 |
This paper argues that cyber-physical systems present a sub-stantial intellectual challenge that requires changes in both theories of computation and dynamical systems theory. The CPS problem is not the union of cyber and physical problems, but rather their intersection, and as such it demands models that embrace both. Two complementary approaches are identified: cyberizing the physical (CtP) means to endow physical subsystems with cyber-like abstractions and interfaces; and physicalizing the cyber (PtC) means to endow software and network components with abstractions and interfaces that represent their dynamics in time.