Intelligent Distributed Computing Department Distributed Systems Technology Group Papers

Directions for Cost-Effective Certification of High-Assurance Cyber Physical Systems

Citation: Kurt Rohloff. Fourth Annual Carnegie Mellon Conference on the Electricity Industry, March 2008.

Formats: PDF

Abstract: 

This presentation discusses positions on the chalenges and domain of cost-effective certificiation of dynamic systems.  We need dynamic behavior in high-confidence systems, especially with dynamic resource management.  Examples of behaviors in these systems include Distributed System Interactions (for multi-level Quality of Service (QoS) and peer-to-peer (P2P) interactions), Interleaved Reconfiguration and to account for system timing issues (Multi-time scale behavior with time-critical operations, mixed synchronous and asynchronous behaviors.)