The paper presents the distributed control system for rice mill using C#language.The real-time manufacturing system can be implemented by utilizing the signal from the real time control units that is more operative th...The paper presents the distributed control system for rice mill using C#language.The real-time manufacturing system can be implemented by utilizing the signal from the real time control units that is more operative than other old-fashioned control systems in the extent of modern industrial days.The software-based Distributed Control System(DCS)is novel fashionable than any other conventional control systems in the state-ofthe-art manufacturing developments.This research study emphasizes on the implementation of the DCS-based rice mill using visual C#.net.The Industrial Ethernet(IE)is realized between the top level controller for the operator and the controlled station for the remote devices.The model of client-server approach is more appropriate for the automation and manufacturing research purposes.In this study,the computer graphical simulation of the complete control development is depicted in real-time status quo by visual C#language under Visual Studio 2008 software.The parallel ports in the computers of remote terminal level and the master terminal level controllers have been interconnected with port interface coding by visual C#program.展开更多
Distributed Hybrid Testing（DHT） is an experimental technique designed to capitalise on advances in modern networking infrastructure to overcome traditional laboratory capacity limitations. By coupling the heterogene...Distributed Hybrid Testing（DHT） is an experimental technique designed to capitalise on advances in modern networking infrastructure to overcome traditional laboratory capacity limitations. By coupling the heterogeneous test apparatus and computational resources of geographically distributed laboratories, DHT provides the means to take on complex, multi-disciplinary challenges with new forms of communication and collaboration. To introduce the opportunity and practicability afforded by DHT, here an exemplar multi-site test is addressed in which a dedicated fibre network and suite of custom software is used to connect the geotechnical centrifuge at the University of Cambridge with a variety of structural dynamics loading apparatus at the University of Oxford and the University of Bristol. While centrifuge time-scaling prevents real-time rates of loading in this test, such experiments may be used to gain valuable insights into physical phenomena, test procedure and accuracy. These and other related experiments have led to the development of the real-time DHT technique and the creation of a flexible framework that aims to facilitate future distributed tests within the UK and beyond. As a further example, a real-time DHT experiment between structural labs using this framework for testing across the Internet is also presented.展开更多
Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and emb...Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing （SUT）, test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technol...This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.展开更多
文章针对系统测试任务的工作性质和工作需求，首先分析了分布式实时应用系统的系统测试的特征和要求，并结合国际上软件发展的趋势，提出了管理者／代理系统测试模型。依据该模型提炼出可重用的评测支持系统（Evaluation and Test Suppo...文章针对系统测试任务的工作性质和工作需求，首先分析了分布式实时应用系统的系统测试的特征和要求，并结合国际上软件发展的趋势，提出了管理者／代理系统测试模型。依据该模型提炼出可重用的评测支持系统（Evaluation and Test Supporting System，ETSS）作为系统测试平台，并从接口、管理、通信、同步、实时性和测试实施等几个方面阐述了ETSS的设计思想和原则，及其具有的基本功能。最后，以一个已实现的评测支持系统为例，介绍有关的实现情况。展开更多
文摘The paper presents the distributed control system for rice mill using C#language.The real-time manufacturing system can be implemented by utilizing the signal from the real time control units that is more operative than other old-fashioned control systems in the extent of modern industrial days.The software-based Distributed Control System(DCS)is novel fashionable than any other conventional control systems in the state-ofthe-art manufacturing developments.This research study emphasizes on the implementation of the DCS-based rice mill using visual C#.net.The Industrial Ethernet(IE)is realized between the top level controller for the operator and the controlled station for the remote devices.The model of client-server approach is more appropriate for the automation and manufacturing research purposes.In this study,the computer graphical simulation of the complete control development is depicted in real-time status quo by visual C#language under Visual Studio 2008 software.The parallel ports in the computers of remote terminal level and the master terminal level controllers have been interconnected with port interface coding by visual C#program.
基金Partially funded by EPSRC under Grant Nos.EP/D079101/1 and EP/D080088/1
文摘Distributed Hybrid Testing（DHT） is an experimental technique designed to capitalise on advances in modern networking infrastructure to overcome traditional laboratory capacity limitations. By coupling the heterogeneous test apparatus and computational resources of geographically distributed laboratories, DHT provides the means to take on complex, multi-disciplinary challenges with new forms of communication and collaboration. To introduce the opportunity and practicability afforded by DHT, here an exemplar multi-site test is addressed in which a dedicated fibre network and suite of custom software is used to connect the geotechnical centrifuge at the University of Cambridge with a variety of structural dynamics loading apparatus at the University of Oxford and the University of Bristol. While centrifuge time-scaling prevents real-time rates of loading in this test, such experiments may be used to gain valuable insights into physical phenomena, test procedure and accuracy. These and other related experiments have led to the development of the real-time DHT technique and the creation of a flexible framework that aims to facilitate future distributed tests within the UK and beyond. As a further example, a real-time DHT experiment between structural labs using this framework for testing across the Internet is also presented.
文摘Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing （SUT）, test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
基金the Defense Advanced research Projects Agency of the Department of Defense (No.15.3.2).
文摘This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.
文摘文章针对系统测试任务的工作性质和工作需求，首先分析了分布式实时应用系统的系统测试的特征和要求，并结合国际上软件发展的趋势，提出了管理者／代理系统测试模型。依据该模型提炼出可重用的评测支持系统（Evaluation and Test Supporting System，ETSS）作为系统测试平台，并从接口、管理、通信、同步、实时性和测试实施等几个方面阐述了ETSS的设计思想和原则，及其具有的基本功能。最后，以一个已实现的评测支持系统为例，介绍有关的实现情况。
