Designing and Developing HighConfidence Petroleum Extraction CyberPhysical System Using the ModelDriven Architecture In modern petroleum extraction industry, Internet of Things (IoT) technology is widely used, and various of sensors constitute a typical cyberphysical systems (CPS). There are more requirements of interoperability and interaction between well site device systems. In such industrial critical domain, highconfidence is also important. This paper presents the requirements and running environment of developing highconfidence CPS. To satisfy the requirements of interoperability and data exchange among heterogeneous well site systems, a foundation framework with well defined interfaces and quality of service constraints was established. Based on this framework, designing highconfidence petroleum extraction CPS using ModelDriven Architecture approach is proposed, the longlived models produced in the process that can be applied to any implementation technologies and platforms through model transformation which make the systems more portable. A case study shows the detail of the development process and using communication bridges to build relationships between models. At last some important problems which need to be paid more attention in model transformation process are discussed.

Timerelated Constraints in Administration Shell Design within Cyberphysical Production Systems The concept of Cyberphysical Production System has recently emerged. It emphasizes the expected and very close connection between industrial software systems and production assets on the next generation of intelligent industrial systems. The cyberphysical conceptualization hints at assets making their functions available through the so called administration shells. These are software structural design tenets that from, a functional perspective, will not only incorporate software interfacing aspects but also autonomous behaviour. There is an important body of practice in what is now perceived as cyberphysical integration. However, such work has taken a somehow informal approach to formalizing system engineering aspects and in particular to the impact of timerelated constraints affecting, the design locally and, the CPPS as a whole. This paper provides a model that relates physical, logical and computational aspects of cyberphysical design from structural and behavioural perspectives. Its goal is to provide a starting point for designing cyberphysical components while supporting informed decision making in respect to software design, integration and deployment practices that enable these components to operate in cyberphysical synchronization.