We propose an approach to generate test cases from a set of Message Sequence Charts (MSCs) by constructing a semantically equivalent finite state machine for testing reactive and embedded software. Test cases are expressed as a sequence of messages to be exchanged among various system entities. We use scenario activation conditions and state assignments to generate only the feasible states and ...

On basis of the probabilistic economic cost model and the hybrid particle swarm algorithm, an improved reactive power optimization method of distribution network is presented, which embraces the effects of stochastic wind speed and load. Firstly, the probabilistic reactive power optimization model is presented after two important steps. One is to divide load curve into a number of fragments and...

Construction and verification of modern automotive system software is inherently hard and costly. A primary source of this complexity can be found in the inadequate support for eventdriven programming offered by contemporary software technology. This project seeks to develop and demonstrate the concept of reactive programming as an approach to reducing this complexity. Projected outcomes includ...

This paper argues that the combination of software agents with existing workflow management systems can facilitate the degree of co-ordination and collaboration required to make virtual enterprises a reality. It describes the use of software agents in the: setting-up of decentralised workflows; reactive and proactive redistribution of work during process failures; promotion of interoperability ...

We present a new memory efficient algorithm for on-the-fly verification of labelled transition systems (LTSs) with testers. To our knowledge, this is the first thoroughly presented solution for verifying all properties specifiable with testers. The algorithm requires four passes of the state space of the composition of the LTS and the tester. CR Classification: F.1.2 [Computation by Abstract De...

We have designed and implemented autonomous software agents. Our agents are programs that can move independently through a heterogeneous network of computers. They can sense the state of the network, monitor software conditions, and interact with other agents. The network-sensing tools allow our agents to adapt to the network configuration and to navigate under the control of reactive plans. In...

Event-B [19] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scalable development with reuse for Event-B. We focus specif...

• Attitude control – usually autonomous in satellite missions running in a dedicated processor. Its development and testing requires particular conditions. Its development and testing requires particular conditions. For instance, the gravity and air resistance are variables that overcome the effects which disturb the spacecraft attitude on orbit. For this reason, the use of a set of software sy...

Induction machine is one of the machines that can be applied as an alternative power plant and also a new renewable energy system. Giving reactive at terminal in form capacitor, induction used generator. Reactive needed voltage generation process. Because weaknesses generator generated very fluctuating when load being served changes. To overcome this, several capacitors with different values ar...