The Manufacturing Game: A Formal Approach to Manufacturing Software

Naylor, Arch W.; Maletz, Mark C.

doi:10.1109/tsmc.1986.4308964

Cited by 31 publications

(11 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A model captures the state of a component of the system in a set of first-order logic predicates, and it captures the semantics of the operations performed by this component in a set of rules that determine the preconditions and postconditions of an operation (see Naylor and Maletz 1986;Naylor and Volz 1987;Ben Hadj-Alouane et al 1990). These models are used in planning the sequence of operations of each class of jobs to be manufactured by these systems.…”

Section: Resultsmentioning

confidence: 99%

Developing manufacturing control software: A survey and critique

Chaar

Teichroew

Volz

1993

Int J Flex Manuf Syst

View full text Add to dashboard Cite

Abstract. The complexity and diversity of manufacturing software and the need to adapt this software to the frequent changes in the production requirements necessitate the use of a systematic approach to developing this software. The software life-cycle model (Royce, 1970) that consists of specifying the requirements of a software system, designing, implementing, testing, and evolving this software can be followed when developing large portions of manufacturing software. However, the presence of hardware devices in these systems and the high costs of acquiring and operating hardware devices further complicate the manufacturing software development process and require that the functionality of this software be extended to incorporate simulation and prototyping. This paper reviews recent methods for planning, scheduling, simulating, and monitoring the operation of manufacturing systems. A synopsis of the approaches to designing and implementing the real-time control software of these systems is presented. It is concluded that current methodologies support, in a very restricted sense, these planning, scheduling, and monitoring activities, and that enhanced performance can be achieved via an integrated approach.

show abstract

Section: Resultsmentioning

confidence: 99%

Developing manufacturing control software: A survey and critique

Chaar

Teichroew

Volz

1993

Int J Flex Manuf Syst

View full text Add to dashboard Cite

show abstract

“…The formal model of a software/hardware component captures, at the logical level, the state of this component and the semantics of the operations specified in the software interface of this component (Naylor and Maletz 1986). The logical level is concerned with logical conditions and transformations of logical conditions.…”

Section: Using Formal Modelsmentioning

confidence: 99%

“…A rule consists of a set of preconditions followed by a set of postconditions, and is associated with a logical variable and a duration (Naylor and Maletz 1986;Naylor and Volz 1987). Whenever the preconditions of a rule are satisfied by the current state of the system, and the rule is selected by enabling its logical variable, the postconditions of this rule become satisfied by the state of the system after the specified duration (time delay).…”

Section: Using Formal Modelsmentioning

confidence: 99%

A specification language for planning and fault recovery in manufacturing systems

Chaar

Volz

1993

Int J Flex Manuf Syst

View full text Add to dashboard Cite

Abstract. This paper presents the syntax and semantics of a component-oriented rule-based language for specifying the formal models of manufacturing systems. A model captures the state of a component of the system in a set of first-order logic predicates, and it captures the semantics of the operations performed by this component in a set of rules that determine the preconditions and postconditions of an operation. The models are then used to plan the sequence of operations of each class of jobs to be manufactured by these systems. A plan-oriented fault detection and correction strategy is proposed. This strategy can automatically handle any combination of faults that may occur when monitoring the operations of manufacturing systems. A fault-tree is consulted prior to executing the scheduled operations of a plan, and the faults that affect the execution of these operations are handled subsequently. Resuming the original cyclic schedule is attempted, whenever feasible. As a proof of concept, a prototype implementation of both the main constructs of the component-oriented rule-based language and the planning and fault-recovery algorithms presented in this paper have been completed. This prototype is implemented on a Unix-based system in the Ada programming language. The specification of a manufacturing system is first expressed in the proposed language. These statements are then translated into Ada code. This code is next compiled by a Verdix Ada compiler and is executed in order to create and populate the model data structure of the system. A detailed plan of execution and a set of fault-recovery plans may then be derived for a job to be manufactured on this system.

show abstract

“…0956-5515 0 1993 Chapman & Hall ing a structure to organize the wide variety of modeling techniques needed to analyze and justify investments in FMSs (Sullivan and Leclair, 1985;Naylor and Maletz, 1986;Fisher and Nof, 1987;Dilts and Turowski, 1989;Padmanabhan, 1989;Tam, 1989;Troxler and Blank, 1989;Floss and Talavage, 1990). Artificial intelligence and operations research techniques have been applied to model the design and operational characteristics of FMSs (Kusiak, 1987) and to a manufacturing planning system (Joshi et al, 1989).…”

Section: Introductionmentioning

confidence: 99%

Evaluation of flexible automation investments: a model management perspective

Rao

Sherman

1993

J Intell Manuf

View full text Add to dashboard Cite

This paper develops a model management system structure to support the design and evaluation of flexible automation systems. A modeling language suitable for one of the important, but ill-structured phases in the evaluation process is selected and used to represent a mathematical programming formulation. The experience gained is then used to propose a meta-language approach for integrating different model types required when evaluating flexible automation investments.

show abstract

The Manufacturing Game: A Formal Approach to Manufacturing Software

Cited by 31 publications

References 1 publication

Developing manufacturing control software: A survey and critique

Developing manufacturing control software: A survey and critique

A specification language for planning and fault recovery in manufacturing systems

Evaluation of flexible automation investments: a model management perspective

Contact Info

Product

Resources

About