Large-scale and highly reliable concurrent systems are more and more required and it is indispensable for them to keep on measuring and monitoring an order to ensure their reliability. Some systematic method for developing self-measurement concurrent systems has been needed. Self-measurement programs may be dificult to be developed and maintained in conventional environment for development. Thi...

This paper describes how design patterns help to enhance the flexibility and extensibility of communication software by permitting network services to evolve independently of the strategies used to passively initialize the services. The paper makes three contributions to the study and development of configurable distributed applications. First, it identifies five orthogonal dimensions of passiv...

The main challenge for widespread adaptation of active automata learning is the effort required to design and implement application specific learning setups. In this paper, we propose an abstraction of GUI elements by dividing them into three categories: widgets, containers and windows. We analyse at how events are handled in Java, JavaFX and how the MVC pattern is structured. With this informa...

This paper introduces a profiler architecture for control systems in system-level design. When designing a control system, we need to consider two things. The first thing is the asynchronous signal coming from sensors and actuators, which is called an interrupt request signal. The second thing is a process that should take a higher priority and be activated by an interrupt request signal, which...

Metastructures and metaterms have been proposed to extend Prolog systems 6, 5]. They enable special purpose uniications to be speciied. They are useful to implement for example coroutining and new domains of computation. In both cases, information is attached to variables, which then are encoded with metaterms or metastructures. This information must be taken into account during uniication. Pro...

We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include nondeterminism, interactive input/output, concurrency, state, time, and their combinations; in all cases the computation monad is the free-model monad of the theory. Each such handler corresponds to a model of the the...

This paper describes the thermal management and design challenges of testing packaged integrated circuit (IC) devices, specifically device thermal conditioning and device-under-test (DUT) temperature control. The approach taken is to discuss the individual thermal design issues as defined by the device type (e.g. memory, microcontroller) and tester capabilities. The influence of performance-par...

Most programming languages provide abstractions for non-local control flow and access to the stack by using continuations, coroutines, or generators. However, their unrestricted use breaks the local reasoning capability of a programmer. Gradual typing exacerbates this problem because typed and untyped code co-exist. We present a contract system capable of protecting code from control flow and s...