Under the background of the rapid development of ground mobile communication,the advantages of high coverage,survivability,and flexibility of satellite communication provide air support to the construction of space in...Under the background of the rapid development of ground mobile communication,the advantages of high coverage,survivability,and flexibility of satellite communication provide air support to the construction of space information network.According to the requirements of the future space information communication,a software-defined Space-Air-Ground Integrated network architecture was proposed.It consisted of layered structure satellite backbone network,deep space communication network,the stratosphere communication network and the ground network.The Space-Air-Ground Integrated network was supported by the satellite backbone network.It provided data relay for the missions such as deep space exploration and controlled the deep-space spacecraft when needed.In addition,it safeguarded the anti-destructibility of stratospheric communication and assisted the stratosphere to supplement ground network communication.In this paper,algorithm requirements of the congestion control and routing of satellite backbone protocols for heterogeneous users’services were proposed.The algorithm requirements of distinguishing different service objects for the deep space communication and stratospheric communication network protocols were described.Considering the realistic demand for the dynamic coverage of the satellite backbone network and node cost,the multi-layer satellite backbone network architecture was constructed.On this basis,the proposed Software-defined Space-Air-Ground Integrated network architecture could be built as a large,scalable and efficient communication network that could be integrated into space,air,and ground.展开更多
As cloud computing is moving forward rapidly, cloud providers have been encountering great challenges: long tail latency, low utilization, and high interference. They intend to co-locate multiple workloads on a singl...As cloud computing is moving forward rapidly, cloud providers have been encountering great challenges: long tail latency, low utilization, and high interference. They intend to co-locate multiple workloads on a single server to improve the resource utilization. But the co-located applications suffer from severe performance interference and long tail latency, which lead to unpredictable user experience. To meet these challenges, software-defined cloud has been proposed to facilitate tighter coordination among application, operating system and hardware. Users' quality of service (QoS) requirements could be propagated all the way down to the hardware with differential management mechanisms. However, there is little hardware support to maintain and guarantee users' QoS requirements. To this end, this paper proposes Labeled von Neumann Architecture (LvNA), which introduces a labelling mechanism to convey more software's semantic information such as QoS and security to the underlying hardware. LvNA is able to correlate labels with various entities, e.g., virtual machine, process and thread, and propagate labels in the whole machine and program differentiated services based on rules. We consider LvNA to be a fundamental hardware support to the software-defined cloud.展开更多
The survivability of computer systems should be guaranteed in order to improve its operation efficiency,especially for the efficiency of its critical functions.This paper proposes a decentralized mechanism based on So...The survivability of computer systems should be guaranteed in order to improve its operation efficiency,especially for the efficiency of its critical functions.This paper proposes a decentralized mechanism based on Software-Defined Architecture(SDA).The concepts of critical functions and critical states are defined,and then,the critical functional parameters of the target system are collected and analyzed.Experiments based on the analysis results are performed for reconfiguring the implementations of the whole system.A formal model is presented for analyzing and improving the survivability of the system,and the problem investigated in this paper is reduced to an optimization problem for increasing the system survival time.展开更多
In this perspective article,we first recall the historic background of human-cyber-physical systems(HCPSs),and then introduce and clarify important concepts.We discuss the key challenges in establishing the scientific...In this perspective article,we first recall the historic background of human-cyber-physical systems(HCPSs),and then introduce and clarify important concepts.We discuss the key challenges in establishing the scientific foundation from a system engineering point of view,including(1)complex heterogeneity,(2)lack of appropriate abstractions,(3)dynamic black-box integration of heterogeneous systems,(4)complex requirements for functionalities,performance,and quality of services,and(5)design,implementation,and maintenance of HCPS to meet requirements.Then we propose four research directions to tackle the challenges,including(1)abstractions and computational theory of HCPS,(2)theories and methods of HCPS architecture modelling,(3)specification and verification of model properties,and(4)software-defined HCPS.The article also serves as the editorial of this special section on cyber-physical systems and summarises the four articles included in this special section.展开更多
Recently,analyzing big data on the move is booming.It requires that the hardware resource should be low volume,low power,light in weight,high-performance,and highly scalable whereas the management software should be f...Recently,analyzing big data on the move is booming.It requires that the hardware resource should be low volume,low power,light in weight,high-performance,and highly scalable whereas the management software should be flexible and consume little hardware resource.To meet these requirements,we present a system named SOCA-DOM that encompasses a mobile system-on-chip array architecture and a two-tier“software-defined”resource manager named Chameleon.First,we design an Ethernet communication board to support an array of mobile system-on-chips.Second,we propose a two-tier software architecture for Chameleon to make it flexible.Third,we devise data,configuration,and control planes for Chameleon to make it“software-defined”and in turn consume hardware resources on demand.Fourth,we design an accurate synthetic metric that represents the computational power of a computing node.We employ 12 Apache Spark benchmarks to evaluate SOCA-DOM.Surprisingly,SOCA-DOM consumes up to 9.4x less CPU resources and 13.5x less memory than Mesos which is an existing resource manager.In addition,we show that a 16-node SOCA-DOM consumes up to 4x less energy than two standard Xeon servers.Based on the results,we conclude that an array architecture with fine-grained hardware resources and a software-defined resource manager works well for analyzing big data on the move.展开更多
基金This work is supported by Fundamental Research Funds for the Central Universities of China(328201911)C.G.(Chao Guo),the Open Project Program of National Engineering Laboratory for Agri-product Quality Traceability,C.G.(Chao Guo)+2 种基金Beijing Technology and Business University(BTBU)No.AQT-2018Y-B4,C.G.(Chao Guo)Higher Education Department of the Ministry of Education Industry-university Cooperative Education Project,C.G.(Chao Guo)Education and Teaching Reform Project of Beijing Electronic and Technology Institute,C.G.(Chao Guo).
文摘Under the background of the rapid development of ground mobile communication,the advantages of high coverage,survivability,and flexibility of satellite communication provide air support to the construction of space information network.According to the requirements of the future space information communication,a software-defined Space-Air-Ground Integrated network architecture was proposed.It consisted of layered structure satellite backbone network,deep space communication network,the stratosphere communication network and the ground network.The Space-Air-Ground Integrated network was supported by the satellite backbone network.It provided data relay for the missions such as deep space exploration and controlled the deep-space spacecraft when needed.In addition,it safeguarded the anti-destructibility of stratospheric communication and assisted the stratosphere to supplement ground network communication.In this paper,algorithm requirements of the congestion control and routing of satellite backbone protocols for heterogeneous users’services were proposed.The algorithm requirements of distinguishing different service objects for the deep space communication and stratospheric communication network protocols were described.Considering the realistic demand for the dynamic coverage of the satellite backbone network and node cost,the multi-layer satellite backbone network architecture was constructed.On this basis,the proposed Software-defined Space-Air-Ground Integrated network architecture could be built as a large,scalable and efficient communication network that could be integrated into space,air,and ground.
基金This work was supported by the National Key Research and Development Program of China under Grant No. 2016YFB1000200 and the National Natural Science Foundation of China under Grant No. 61420106013.
文摘As cloud computing is moving forward rapidly, cloud providers have been encountering great challenges: long tail latency, low utilization, and high interference. They intend to co-locate multiple workloads on a single server to improve the resource utilization. But the co-located applications suffer from severe performance interference and long tail latency, which lead to unpredictable user experience. To meet these challenges, software-defined cloud has been proposed to facilitate tighter coordination among application, operating system and hardware. Users' quality of service (QoS) requirements could be propagated all the way down to the hardware with differential management mechanisms. However, there is little hardware support to maintain and guarantee users' QoS requirements. To this end, this paper proposes Labeled von Neumann Architecture (LvNA), which introduces a labelling mechanism to convey more software's semantic information such as QoS and security to the underlying hardware. LvNA is able to correlate labels with various entities, e.g., virtual machine, process and thread, and propagate labels in the whole machine and program differentiated services based on rules. We consider LvNA to be a fundamental hardware support to the software-defined cloud.
文摘The survivability of computer systems should be guaranteed in order to improve its operation efficiency,especially for the efficiency of its critical functions.This paper proposes a decentralized mechanism based on Software-Defined Architecture(SDA).The concepts of critical functions and critical states are defined,and then,the critical functional parameters of the target system are collected and analyzed.Experiments based on the analysis results are performed for reconfiguring the implementations of the whole system.A formal model is presented for analyzing and improving the survivability of the system,and the problem investigated in this paper is reduced to an optimization problem for increasing the system survival time.
基金the Capacity Development Fund of Southwest University,China(No.SWU116007)the National Natural Science Foundation of China(Nos.61732019,61672435,61811530327,and 62032019)。
文摘In this perspective article,we first recall the historic background of human-cyber-physical systems(HCPSs),and then introduce and clarify important concepts.We discuss the key challenges in establishing the scientific foundation from a system engineering point of view,including(1)complex heterogeneity,(2)lack of appropriate abstractions,(3)dynamic black-box integration of heterogeneous systems,(4)complex requirements for functionalities,performance,and quality of services,and(5)design,implementation,and maintenance of HCPS to meet requirements.Then we propose four research directions to tackle the challenges,including(1)abstractions and computational theory of HCPS,(2)theories and methods of HCPS architecture modelling,(3)specification and verification of model properties,and(4)software-defined HCPS.The article also serves as the editorial of this special section on cyber-physical systems and summarises the four articles included in this special section.
基金the Key Research and Development Program of Guangdong Province of China under Grant No.2019B010155003the National Natural Science Foundation of China under Grant Nos.61672511,61702495,and 61802384the Shenzhen Institute of Artificial Intelligence and Robotics for Society,The Chinese University of Hong Kong,Shenzhen,and the Alibaba Innovative Research Project for Large-Scale Graph Pattern Discovery,Analysis,and Query Techniques.
文摘Recently,analyzing big data on the move is booming.It requires that the hardware resource should be low volume,low power,light in weight,high-performance,and highly scalable whereas the management software should be flexible and consume little hardware resource.To meet these requirements,we present a system named SOCA-DOM that encompasses a mobile system-on-chip array architecture and a two-tier“software-defined”resource manager named Chameleon.First,we design an Ethernet communication board to support an array of mobile system-on-chips.Second,we propose a two-tier software architecture for Chameleon to make it flexible.Third,we devise data,configuration,and control planes for Chameleon to make it“software-defined”and in turn consume hardware resources on demand.Fourth,we design an accurate synthetic metric that represents the computational power of a computing node.We employ 12 Apache Spark benchmarks to evaluate SOCA-DOM.Surprisingly,SOCA-DOM consumes up to 9.4x less CPU resources and 13.5x less memory than Mesos which is an existing resource manager.In addition,we show that a 16-node SOCA-DOM consumes up to 4x less energy than two standard Xeon servers.Based on the results,we conclude that an array architecture with fine-grained hardware resources and a software-defined resource manager works well for analyzing big data on the move.