Improving the Safety and Security of Wide-Area Cyber–Physical Systems Through a Resource-Aware, Service-Oriented Development Methodology
Open Access
- 26 September 2017
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 106 (1) , 144-159
Abstract
This paper presents a service-oriented development methodology for wide-area cyber-physical systems (CPS) such as smart grid and vehicular networks. Unlike the traditional task-based development approach from the domains of automotive and avionics, the proposed service-oriented development methodology inherently enables disruption-free incremental system deployment and reconfiguration that are fundamental requirements for handling the “always-online” nature of emerging wide-area CPS application domains such as smart grid and vehicular networks. The proposed service-oriented CPS development methodology extends the traditional service-oriented computing (SOC) paradigm for handling hard real-time CPS aspects by introducing resource-aware service deployment and quality-of-service (QoS)-aware service operation phases. The proposed CPS development methodology also supports a streamlined formal interface between the traditional computer-aided feedback controller design environments and SOC paradigm. The paper utilizes a simulation-based smart grid case study to illustrate the advantages of the proposed methodology for developing wide-area cyber-physical systems with improved safety and security characteristics. The paper also identifies a set of technological requirements for the proposed service-oriented CPS development methodology that should guide future research in this area.Keywords
Funding Information
- U.S. Department of Energy (DE-AR0000225)
This publication has 33 references indexed in Scilit:
- Computing needs timeCommunications of the ACM, 2009
- A summary of demand response in electricity marketsElectric Power Systems Research, 2008
- Model-Integrated Development of Cyber-Physical Systems2008
- The embedded machineACM Transactions on Programming Languages and Systems, 2007
- Giotto: a time-triggered language for embedded programmingProceedings of the IEEE, 2003
- Model-integrated development of embedded softwareProceedings of the IEEE, 2003
- Stability of networked control systemsIEEE Control Systems, 2001
- Basic problems in stability and design of switched systemsIEEE Control Systems, 1999
- Hybrid Control Systems: An Introductory Discussion to the Special IssueIEEE Transactions on Automatic Control, 1998
- The synchronous data flow programming language LUSTREProceedings of the IEEE, 1991