This paper presents a method for building a programming platform for ternary optical computer(TOC). Firstly, the reasons why the existing programming platform can not be directly applied to the ternary optical computer are analyzed. Then, the theoretical basis and core technologies for building the programming platform of the ternary optical computer are given, including: building a model-simple structured data type computer to express the application characteristics of the ternary optical computer, building an operation-data file containing data and computational requirements, expanding the operationdata file transfer instructions. According to our proposed theory, the implementation mechanism of the TOC programming platform is constructed. Finally, the effectiveness of the programming platform is verified by experiments. The programming platform simplifies the application of the TOC and bridges the gap between the user and the TOC.INDEX TERMS Ternary optical computer, programming platform, operation-data file, ternary optical processor.

No abstract

Cyber-physical-social systems (CPSS) have recently gained attention from researchers due to their combination of cyber, physical, and social spaces. Modeling and Analysis of Real-Time and Embedded systems (MARTE) is a Unified Modeling Language (UML) extension profile that supports the specification, design, and verification of Real-Time Embedded Systems (RTES). While MARTE Statecharts can assist in describing CPS, it does not model the uncertainty within a CPSS environment. To enhance the accuracy of CPSS analysis, we propose the stohMCharts (stochastic hybrid MARTE statecharts) modelling framework as an extension of MARTE statecharts for modelling and analyzing stochastic hybrid systems. stohMCharts can model CPSS in a unified manner. Additionally, based on the mapping rules and algorithms, we have developed a tool to convert models built in stohMChart language into Networks Stochastic Hybrid Automata (NSHA) which can be verified by statistical model checker UPPAAL-SMC. We demonstrate the efficiency and accuracy of the framework by applying it to one autonomous driving scenarios.INDEX TERMS Cyber-physical-social systems (CPSS), modeling and analysis of real-time and embedded systems (MARTE), network of stochastic hybrid automata (NSHA), quantitative evaluation, automatic vehicles.