Specifying Requirements of Real-Time System with Rules and Templates

This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this model, one rule corresponds to one state transition of FSM and one template corresponds to one FSM. Rules and information with respect to a FSM can be written in a template. So templates include not only state diagrams, but also information that can not be described by FSM, such as performance requirements. The specification using this model consists of a collection of templates and it is easy for users to understand and to review. After introduced the related researches and principles of the model, this paper specifies requirements of a real-time system with this model, and discusses characters of this model in the end.

Towards a Formalized Ontology-Based Requirements Model

The goal of this paper is to take a further step towards an ontological approach for representing requirements information. The motivation for ontologies was discussed. The definitions of ontology and requirements ontology were given. Then, it presented a collection of informal terms, including four subject areas. It also discussed the formalization process of ontology. The underlying meta-ontology was determined, and the formalized requirements ontology was analyzed. This formal ontology is built to serve as a basis for requirements model. Finally, the implementation of software system was given.

A Requirements Analysis Model Based on QFD

The enterprise resource planning (ERP) system has emerged to offer an integrated IT solution and more and more enterprises are increasing by adopting this system and regarding it as an important innovation. However, there is already evidence of high failure risks in ERP project implementation, one major reason is poor analysis of the requirements for system implementation. In this paper, the importance of requirements analysis for ERP project implementation is highlighted, and a requirements analysis model by applying quality function deployment (QFD) is presented, which will support to conduct requirements analysis for ERP project.

Stability analyses of vertically exposed cemented backfill:A revisit to Mitchell's physical model tests

Mitchell's solution is commonly used to determine the required strength of vertically exposed cemented backfill in mines. Developed for drained backfill, Mitchell model assumed a zero friction angle for the backfill. Physical model tests were performed. Good agreements were obtained between the required strengths predicted by the analytical solution and experimental results. However, it is well-known that zero friction angle can only be possible in terms of total stresses when geomaterials are submitted to unconsolidated and undrained conditions. A revisit to Mitchell's physical model tests reveals that both the laboratory tests performed for obtaining the shear strength parameters of the cemented backfill and the box stability tests were conducted under a condition close to undrained condition. This explains well the good agreement between Mitchell's solution and experimental results. Good agreements are equally obtained between Mitchell's experimental results and FLAC3 D numerical modeling of shortterm stability analyses of exposed cemented backfill.

An improved method to assess the required strength of cemented backfill in underground stopes with an open face

Backfill is increasingly used in underground mines to reduce the surface impact from the wastes produced by the mining operations. But the main objectives of backfilling are to improve ground stability and reduce ore dilution. To this end, the backfill in a stope must possess a minimum strength to remain self-standing during mining of an adjacent stope. This required strength is often estimated using a solution proposed by Mitchell and co-workers, which was based on a limit equilibrium analysis of a wedge exposed by the open face. In this paper, three dimensional numerical simulations have been performed to assess the behavior of the wedge model. A new limit equilibrium solution is proposed, based on the backfill displacements obtained from the simulations. Comparisons are made between the proposed solution and experimental and numerical modeling results. Compared with the previous solution, a better agreement is obtained between the new solution and experimental results for the required cohesion and factor of safety. For large scale(field) conditions, the results also show that the required strength obtained from the proposed solution corresponds quite well to the simulated backfill response.

Experimental study on f-ω regulation model under abnormal methane emission

In view of the difficulty of automatic adjustment, the recovery lag and the major accident potential of the mine ventilation system, an experimental model of the pipe net was established according to the typical one mine and one working face ventilation system of Daliuta coal mine. Using the best uniform approximation method of Chebyshev interpolation to fit the fan performance curve, we experimentally determined fan characteristics with different frequencies and establish the data base for the curves. Based on ventilation network monitoring theory, we designed a monitoring system for ventilation network parameter monitoring and fan operating frequency automatic control. Using the absolute methane emission quantity to predict the air quantity requirement of branch and fan frequency, we established a f-ω regulation model based on fan frequency and absolute methane emission quantity. After analysing methane emission and distribution characteristics, using CO_2 to simulate the methane emission characteristics from a working face, we verified the correctness and rationality of the f-ω regulation model. The fan operation frequency is adjusted by the method of air adjustment change with methane emission quantity and the curve searching method after determining air quantity requirements. The results show that the air quantity in a branch strictly changes according to the f-ω regulation model, in the airincreasing dilution by fan frequency regulation, the CO_2 concentration is limited to the set threshold value. The paper verifies the practicability of a frequency regulation system and the feasibility of the frequency adjustment scheme and provides guidance for the construction of automatic frequency conversion control system in coal mine ventilation networks.

Behavioral Consistency Checking between Requirements and Implementations

Checking if the implementations conform to the requirement models is challenging. Most existing techniques for consistency checking either focus on requirement models（e.g., requirements consistency checking）, or on the implementations（e.g., code-based testing） only. In this paper we propose an approach to checking behavioral consistency of implementations against requirement models directly to overcome these limitations. Our approach extracts two behavioral models represented by Labelled Transition Systems（LTS） from requirement models and implementations respectively, and checks the behavioral consistency between these two models based on behavioral simulation relation of LTS. The checking results of our approach provide evidence for behavioral inconsistency as well as inconsistent localization. A research prototype called BCCH and a case study are presented to give initial validation of this approach.