scholarly journals The Abstract Machine Model for Transaction-based System Control

2003 ◽  
Author(s):  
David P. Chassin
Keyword(s):  
System Control ◽  
Abstract Machine ◽  
Machine Model

scholarly journals An abstract machine model of dynamic module replacement

2000 ◽  
Vol 16 (7) ◽  
pp. 793-808 ◽  
Author(s):  
Chris Walton ◽  
Dilsun Kırlı ◽  
Stephen Gilmore
Keyword(s):  
Abstract Machine ◽  
Machine Model

COMPONENT SECURITY TESTING APPROACH BASED ON EXTENDED CHEMICAL ABSTRACT MACHINE

2012 ◽  
Vol 22 (01) ◽  
pp. 59-83 ◽  
Author(s):  
JINFU CHEN ◽  
YANSHENG LU ◽  
HUANHUAN WANG
Keyword(s):  
Fault Injection ◽  
Component Technology ◽  
Chemical Abstract ◽  
Security Testing ◽  
Abstract Machine ◽  
Machine Model ◽  
Testing Sequence ◽  
State Transfer ◽  
Vulnerability Testing ◽  
Testing Approach

Unreliable component security hinders the development of component technology. Component security testing is rarely researched with comprehensive focus; several approaches or technologies for detecting vulnerabilities in component security have been proposed, but most are infeasible. A testing approach for component security, which is based on the chemical abstract machine, is proposed for detecting explicit and implicit component security vulnerabilities. We develop an extended chemical abstract machine model, called eCHAM, and generate a state transfer tree and testing sequence for components based on the proposed model. The model can help test the explicit security exceptions of components according to the testing approach of interface fault injection. Condition and state mutation algorithms for identifying implicit security exceptions are also proposed. Vulnerability testing reports are obtained according to the test results. Experiments were conducted in an integration testing platform to verify the applicability of the proposed approach. Results show that the approach is effective and practicable. The proposed approach can detect explicit and implicit security exceptions of components.

Research Notes — Software Process Selection Based Upon Abstract Machines for Slow Intelligence Systems

2019 ◽  
Vol 29 (07) ◽  
pp. 1053-1067
Author(s):  
Shi-Kuo Chang ◽  
Jinpeng Zhou ◽  
Akhil Yendluri ◽  
Kadie Clancy
Keyword(s):  
Undergraduate Students ◽  
Programming Model ◽  
Software Process ◽  
Process Models ◽  
Extreme Programming ◽  
Process Selection ◽  
Abstract Machine ◽  
Machine Model ◽  
Intelligence System ◽  
Incremental Model

The abstract-machine model was developed by Chang to formalize the decision cycles of slow intelligence systems. It turns out that the selection of software process can also be regarded as a slow intelligence system. In this paper, we formalize abstract-machine prototypes for different software process models (SPMs) such as waterfall model, incremental model, spiral model, extreme programming model and scrum model. A Software Process Generator (SPG) was implemented to generate SPMs based upon design considerations. Initial evaluation by undergraduate students using SPG to learn software processes suggests further improvements to make it a useful learning tool.

Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine

1992 ◽  
Vol 2 (2) ◽  
pp. 127-202 ◽  
Author(s):  
Simon L. Peyton Jones
Keyword(s):  
Higher Order ◽  
Functional Languages ◽  
Functional Language ◽  
Design Issues ◽  
Machine Code ◽  
Abstract Machine ◽  
Machine Model ◽  
C Language ◽  
C Compiler ◽  
Short Section

AbstractThe Spineless Tagless G-machine is an abstract machine designed to support non-strict higher-order functional languages. This presentation of the machine falls into three parts. Firstly, we give a general discussion of the design issues involved in implementing non-strict functional languages. Next, we present the STG language, an austere but recognizably-functional language, which as well as a denotational meaning has a well-defined operational semantics. The STG language is the ‘abstract machine code’ for the Spineless Tagless G-machine. Lastly, we discuss the mapping of the STG language onto stock hardware. The success of an abstract machine model depends largely on how efficient this mapping can be made, though this topic is often relegated to a short section. Instead, we give a detailed discussion of the design issues and the choices we have made. Our principal target is the C language, treating the C compiler as a portable assembler.

DESIGN, SIMULATION AND IMPLEMENTATION MONITORING SYSTEM FOR SYSTEM CONTROL C4 FEEDING PUMP FOR FEED VAPORIZATION IN THE BUTADIENE PLANT

2020 ◽  
Vol 1 (1) ◽  
pp. 31-35
Author(s):  
Fahmi Yunistyawan ◽  
Yunistyawan J Berchmans ◽  
Gembong Baskoro
Keyword(s):  
Motor Control ◽  
Control System ◽  
Field Operator ◽  
System Control ◽  
Variable Speed ◽  
Variable Speed Drive ◽  
Software And Hardware ◽  
Discharge Pressure ◽  
Selection Of

This study implements the auto start control system on an electric motor 3 phase C4Feeding pump when the discharge pressure is low-low (4.3 kg /cm²). The C4 feeding pumpmotor was initially manually operated from the local control station, this was very ineffectiveand inefficient because it still relied on the field operator to operate the pump motor and whenthe plant was in normal operating it is very risk if the field operator late to operate motor then itwill impact to quality of the product, and if the delay time to operate motor is too long then planthave to shut down, therefore improvement is needed in the C4 feeding pump motor controlsystem. In this paper, various types of 3-phase motor control are explained which allow it to beapplied to the C4 feeding pump motor that are on-off, inverter, and variable speed drive andefficient selection of the three systems control of the motor. Software and hardware used in thisthesis work are DCS CENTUM VP Yokogawa.

Sign in / Sign up

Export Citation Format

Share Document