### Book

## Proceedings of XV IEEE East-West Design & Test Symposium (EWDTS'2017)

The main target of the East-West Design & Test Symposium (EWDTS) is to exchange experiences between the scientists and technologies of the Eastern and Western Europe, as well as North America and other parts of the world, in the field of design, design automation and test of electronic systems. The symposium aims at attracting scientists especially from countries around the Black Sea, the Baltic states and Central Asia. We cordially invite you to participate and submit your contribution(s) to EWDTS’16 which covers (but is not limited to) the following topics:

- Analog, Mixed-Signal and RF Test
- Analysis and Optimization
- ATPG and High-Level TPG
- Automotive Reliability & Test
- Built-In Self Test
- Debug and Diagnosis
- Defect/Fault Tolerance and Reliability
- Design Verification and Validation
- EDA Tools for Design and Test
- Embedded Software Performance
- Failure Analysis, Defect and Fault
- Functional Safely
- High-level Synthesis
- High-Performance Networks and Systems on a Chip
- Internet of Things Design & Test
- Low-power Design
- Memory and Processor Test
- Modeling & Fault Simulation
- Network-on-Chip Design & Test
- Modeling and Synthesis of Embedded Systems

- Object-Oriented System Specification and Design
- On-Line Testing
- Power Issues in Design & Test
- Real Time Embedded Systems
- Reliability of Digital Systems
- Scan-Based Techniques
- Self-Repair and Reconfigurable Architectures
- Signal and Information Processing in Radio and Communication Engineering
- System Level Modeling, Simulation & Test Generation
- System-in-Package and 3D Design & Test
- Using UML for Embedded System Specification
- Optical signals in communication and Information Processing
- CAD and EDA Tools, Methods and Algorithms
- Hardware Security and Design for Security
- Logic, Schematic and System Synthesis
- Place and Route
- Thermal and Electrostatic Analysis of SoCs
- Wireless and RFID Systems Synthesis

In this work features of measurement, processing and analysis of electrical characteristics of MOSFET’s subjected to various kinds of static irradiation (neutron, electron, and -rays) and temperature in the extended high/low ranges are analyzed. As a result a unified (with account for radiation and temperature) automated measurement, parameters extraction and modeling system is developed, which presents a unified environment for a user. Examples are given of the system usage for estimation of integrated and discrete power MOSFET radiation/temperature hardness and their SPICE model parameters extraction.

The combined Electro-Thermo-Rad models were developed for SPICE simulation of hardened SOI/SOS CMOS ICs for aero-space applications. They account for thermal (low, high temperature, selfheating) and radiation effects (total dose, particles fluence, single heavy particles, transient ionizing radiation effects) in SPICE model of MOSFET fabricated with SOI/SOS semiconductor technologies. The models were built using macromodeling approach, standard SPICE models for MOSFETs (BSIMSOI or EKV) and model parameters dependences on temperature and radiation factors. Combined account for radiation and thermal factors in SPICE model are described for the mentioned radiation factors. The main emphasis is on combined account for TID and temperature effects in the developed model. Some examples of the Electro-Thermo-Rad models application for combined simulation of radiation and thermal effects are presented.

On the basis of an integrated network-on-chip (NoC) topologies optimality criterion, as well as applying the adjacency matrix to describe NoC topologies, exhaustive search method and its modification by using branch and bound and Monte Carlo methods are extended to the synthesis of NoC quasi-optimal topologies. Designed ScaNoC suboptimal topology synthesis algorithm is implemented on a high-level programming language which makes it possible to generate quasi-optimal topological solutions in accordance with the requirements to reduce hardware costs and the average distance between nodes. Proposed quasi-optimal topologies synthesis algorithm improvement by using the method of parallel computing allows speeding up the process of synthesis to 2117 times and getting topologies with the number of nodes up to 18.

The parameter optimization features of CMOS operational amplifiers (OA) based on dual-input-stage under constraints on power consumption, unity gain frequency, phase margin, open loop gain and compensation capacitance are considered. It is shown that the maximum slew rate of the output voltage is proportional to the DC currents of dual-input-stage due to the usage of current mirror based push-pull parallel channels. The recommendations to design of high-speed CMOS OA with wide range of dynamic characteristics are given

The paper presents SPICE models of nonlinear capacitors for analysis of ferroelectric circuits. The capacitors can be defined by either charge-voltage or voltage-charge closed form expressions. Additionally the model for series connection of any number of nonlinear capacitors is proposed. The model takes into account trapped charges of internal connections. Numerical experiments for ferroelectric circuits confirmed the correctness of the proposed approach.

Stochastic Local Search (SLS) is one of the most popular approaches to Boolean satisfiability problem and solvers based on this algorithm have made a substantial progress over the years. However, nearly all state of the art SLS solvers do not attempt to find a good starting point, instead using random values. We present a heuristic for finding an initial assignment based on non-linear optimization of continuous extension of given Boolean formula. This heuristic works by optimizing continuous function that represents the formula and then converting the result into discrete values. We also provide experimental evaluation of new heuristic implemented in ProbSAT solver.

The secular outcome of our investigation is development of new monitoring service for glucose control related to diabetes. It is based on the main results of research: 1) New innovative wearable sensor that carry non-invasive measurement of glucose level. Sensor uses several independent technologies, simultaneously: radio-frequency with different levels of signal, ultrasonic, electromagnetic and thermal; 2) Special mobile application as the principal interface monitor for personal usage; 3) The unique proprietary algorithm, based on neural net, which calculates the weighted average and returns the user's glucose level. The algorithm précises the results of measurements, based on genetic neural net ideas; 4) Special designed Data Base Storage in our cloud software specialized for gathering information and giving the predictions for patient. All results together makes the essence of the research.

The main target of the IEEE East-West Design & Test Symposium (EWDTS-2013) is to exchange experiences between scientists and technologies of Eastern and Western Europe, as well as North America and other parts of the world, in the field of design, design automation and test of electronic circuits and systems. EWDTS’13 covers the following topics:

• Analog, Mixed-Signal and RF Test

• Analysis and Optimization

• EDA Tools for Design and Test

• Failure Analysis, Defect and Fault

• Modeling & Fault Simulation

• Power Issues in Testing

• Reliability of Digital Systems

• Thermal, Timing and Electrostatic Analysis of SoCs and Systems on Board

The paper presents a formalism and a tool for modelling and analysis of distributed real-time systems of mobile agents. For that we use a time extension of our Resource Driven Automata Nets (TRDA-nets) formalism. A TRDA-net is a two-level system. The upper level represents distributed environment locations with a net of active resources. On the lower level agents are modeled by extended finite state machines, asynchronously consuming/producing shared resources through input/output system ports (arcs of the system net). We demonstrate modelling facilities of the formalism and show that specific layers of TRDA-nets can be translated into Timed Automata, as well as into Time Petri nets, thus TRDA-nets integrate merits of both formalisms.

The multi-level methodology for CMOS SOI/SOS IC element parameterization for VLSI radiation hardness prediction by CAD systems is developed. The methodology includes semiconductor technology simulation, CMOS SOI/SOS MOSFET device simulation with radiation effects, irradiated test structures investigation, radiation dependent SPICE model parameter extraction with ICCAP. The measured data of irradiated MOSFET test structures is used for TCAD calibration and SPICE model creation. The results show a good correlation between the simulated with the developed models and measured IC and VLSI response to the total dose and other components of the radiation environment.

These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’13) and the International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24–25, 2013. These are co-located events of Petri Nets 2013, the 34th international conference on Applications and Theory of Petri Nets and Concurrency.

PNSE'13 presents the use of Petri Nets (P/T-Nets, Coloured Petri Nets and extensions) in the formal process of software engineering, covering modelling, validation, and veriﬁcation, as well as their application and tools supporting the disciplines mentioned above.

ModBE’13 provides a forum for researchers from interested communities to investigate, experience, compare, contrast and discuss solutions for modeling in business environments with Petri nets and other modeling techniques.

An approach to integration of information systems and modeling systems is suggested. It is based on the DSM-platform MetaLanguage allowing to create modeling languages and domain models and to define model transformations.

Tools of the DSM-platform MetaLanguage for creation of domain specific languages and for multilevel modeling are described. The transformations definition facility provides lower labor consumption for languages development and for model transformations.

1. Description of the problem. Instrumental analysis makes it possible to find the arguments of adjudication on the bounders and structure of corpus delicti, its correlation to criminal and filling-up legislation. 2. Initial theses. Corpus delicti is regarded as that expressed in criminal law doctrine result of reorganization of orders of criminal law into other practically necessary form. That happens in the process of theory and practical experience accumulation. The construction of corpus delicti is transformed for practical needs, textually expressed system of features, regulated by criminal law and characterizing deeds as a crime of a definite type. Correlation of construction of corpus delicti with law and doctrine. Corpus delicti, its algorithm. Transition from law regulations to corpus delicti can be done: 1) prog-nostically; 2) within constant analysis of law; 3) in the process of law application. 3. Stages of instrumental building of corpus delicti: prognostic, doctrinal, law applicatory. Instrumental approach to corpus delicti includes within each stage: 1) based on criminal law decision of classification of corpus delicti and its borders; 2) objective description of a factual model; 3) acception of meaning correlated with legal notions and constructions; 4) choice of the construction of the corpus delicti and disposal of characteristics; 5) verification of legitimacy, necessity and adequacy of foundation. 4. Instrumental analysis of disputable questions of understanding and application of constructions of corpus delicti. A. Functions and purposes of application of construction of corpus delicti. Functions of corpus delicti: a) modeling; b) communicative; c) identificatory; d) technological. B. Contents of corpus delicti. Contents of corpus delicti as it is traditionally regarded does not correspond to indications of crime, does not characterize features of social danger; sign of danger of penalty also does go into corpus delicti. Two variants are proposed for the discussion: widening of the borders of corpus delicti by means of introduction of signs of social danger and signs, defining individualization of penalty and to limitate corpus delicti by characteristic of criminally punished act, separating it from contents of guilt and contents of social danger. C. Structure of corpus delicti. There are two problems: division of elements of crime seems to be extremely harsh and inadequate - it is expedient to include signs of special and time limits of act, causal links, crossing signs of objective and subjective sides, first of all consequences and an object of crime, into the structure of corpus delicti. Forms of committing a criminally punished act is a crime commitment in complicity, ideal system, not finished crime.

A model for organizing cargo transportation between two node stations connected by a railway line which contains a certain number of intermediate stations is considered. The movement of cargo is in one direction. Such a situation may occur, for example, if one of the node stations is located in a region which produce raw material for manufacturing industry located in another region, and there is another node station. The organization of freight traﬃc is performed by means of a number of technologies. These technologies determine the rules for taking on cargo at the initial node station, the rules of interaction between neighboring stations, as well as the rule of distribution of cargo to the ﬁnal node stations. The process of cargo transportation is followed by the set rule of control. For such a model, one must determine possible modes of cargo transportation and describe their properties. This model is described by a ﬁnite-dimensional system of diﬀerential equations with nonlocal linear restrictions. The class of the solution satisfying nonlocal linear restrictions is extremely narrow. It results in the need for the “correct” extension of solutions of a system of diﬀerential equations to a class of quasi-solutions having the distinctive feature of gaps in a countable number of points. It was possible numerically using the Runge–Kutta method of the fourth order to build these quasi-solutions and determine their rate of growth. Let us note that in the technical plan the main complexity consisted in obtaining quasi-solutions satisfying the nonlocal linear restrictions. Furthermore, we investigated the dependence of quasi-solutions and, in particular, sizes of gaps (jumps) of solutions on a number of parameters of the model characterizing a rule of control, technologies for transportation of cargo and intensity of giving of cargo on a node station.

Generalized error-locating codes are discussed. An algorithm for calculation of the upper bound of the probability of erroneous decoding for known code parameters and the input error probability is given. Based on this algorithm, an algorithm for selection of the code parameters for a specified design and input and output error probabilities is constructed. The lower bound of the probability of erroneous decoding is given. Examples of the dependence of the probability of erroneous decoding on the input error probability are given and the behavior of the obtained curves is explained.

Event logs collected by modern information and technical systems usually contain enough data for automated process models discovery. A variety of algorithms was developed for process models discovery, conformance checking, log to model alignment, comparison of process models, etc., nevertheless a quick analysis of ad-hoc selected parts of a journal still have not get a full-fledged implementation. This paper describes an ROLAP-based method of multidimensional event logs storage for process mining. The result of the analysis of the journal is visualized as directed graph representing the union of all possible event sequences, ranked by their occurrence probability. Our implementation allows the analyst to discover process models for sublogs defined by ad-hoc selection of criteria and value of occurrence probability

The Handbook of CO₂ in Power Systems' objective is to include the state-of-the-art developments that occurred in power systems taking CO₂ emission into account. The book includes power systems operation modeling with CO₂ emissions considerations, CO₂ market mechanism modeling, CO₂ regulation policy modeling, carbon price forecasting, and carbon capture modeling. For each of the subjects, at least one article authored by a world specialist on the specific domain is included.

Let G be a semisimple algebraic group whose decomposition into the product of simple components does not contain simple groups of type A, and P⊆G be a parabolic subgroup. Extending the results of Popov [7], we enumerate all triples (G, P, n) such that (a) there exists an open G-orbit on the multiple flag variety G/P × G/P × . . . × G/P (n factors), (b) the number of G-orbits on the multiple flag variety is finite.

I give the explicit formula for the (set-theoretical) system of Resultants of m+1 homogeneous polynomials in n+1 variables