We describe a runtime verification approach to increase the safety of IVHM systems by an integration of TEAMS models and MOP (Monitor-Oriented Programming). The TEAMS model is used to automatically extract relevant runtime information from the controlled system by means of events. This information is passed on-line to the MOP engine, allowing to verify complex temporal properties and to discove...

The improvement of water and energy use in the industrial sector is an important concern to improve overall techno-economic performance single plants. most recent EU strategy for system integration has been treating these issues redaction its first pillar, which based on relations between promotion circular economy efficiency it as specific objectives waste heat recovery from wastewater. Althou...

We describe a runtime verification approach to increase the safety of IVHM systems by an integration of TEAMS models and MOP (Monitor-Oriented Programming). The TEAMS model is used to automatically extract relevant runtime information from the controlled system by means of events. This information is passed on-line to the MOP engine, allowing to verify complex temporal properties and to discove...

This paper gives a brief overview of Monitoring Oriented Programming (MOP). In MOP, runtime monitoring is supported and encouraged as a fundamental principle for building reliable software: monitors are automatically synthesized from specified properties and integrated into the original system to check its dynamic behaviors. When a specification is violated or validated at runtime, user-defined...

To overcome the defects that traditional approach for multi-objective programming under uncertain random environment (URMOP) neglects randomness and uncertainty of problem volatility results, a new is proposed based on expected value-standard deviation value criterion (C ESD criterion). Firstly,...

Delta-oriented programming allows software developers to define software product lines as variations of a common code base, where variations are expressed as so-called program deltas. Monitor-oriented programming (MOP) provides a mechanism to execute functionality based on the execution history of the program; this is useful, e.g., for the purpose of runtime verification and for enforcing secur...

in this paper, the portfolio selection problem is considered, where fuzziness and randomness appear simultaneously in optimization process. since return and dividend play an important role in such problems, a new model is developed in a mixed environment by incorporating fuzzy random variable as multi-objective nonlinear model. then a novel interactive approach is proposed to determine the pref...

Recently, multi-objective optimization (MOP) has been highly required to deal with complex and global decision environment toward agile and flexible manufacturing. To facilitate its wide application, we developed a novel method named MOON (Multi-Objective optimization with value function mode led by Neural Network) as a Web-based application. By that, everyone can engage in MOP readily and easi...