On the formal specification and verification of CIM architectures using LOTOS

Biemans, F.P.M.; Blonk, P

doi:10.1016/0166-3615(86)90060-6

Cited by 29 publications

(12 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We chose the language LOTOS. As we will illustrate, its generic concept of interaction, temporal ordering principles, mechanisms for process abstraction, and abstract data types allow us to produce external specifications that are conceptually close to the tasks and interactions of CIM systems that we described so far (Biemans and Blonk 1986).…”

Section: External Specificationsmentioning

confidence: 96%

“…We have developed a WSC (Biemans 1986) that can execute multiple operations, allows suspension or cancellation of operations, can exchange parts with other workstations along with information that identifies the parts, can manage a local buffer of tools or parts, and can collect test data. In the following sections, its development steps will be reviewed.…”

Section: Worktation Controllersmentioning

confidence: 99%

“…We can thus develop specifications that are interpreted unambiguously by different parties who are requested to implement the CIM controllers. We chose the language LOTOS (Brinksma 1986), which has been developed by the International Standardization Organization for the specification of computer protocols, but is equally suitable for the specification of CIM controller protocols (Biemans and Blonk 1986).…”

mentioning

confidence: 99%

See 2 more Smart Citations

Structured development of a generic workstation controller

Wendorf

Biemans²

1991

International Journal of Production Research

View full text Add to dashboard Cite

Developing Computer Integrated Manufacturing controllers is a complicated design activity. It requires mastery of the formidable complexity of manufacturing environments as wellas of the hardware and software components required to build the controllers. We discuss system engineering techniques that can be applied to structure this complexity into manageable design phases.The starting point is a conceptual design of a factory wide Cl M system, which describes, in manufacturing terminology, the tasks, information requirements, and performance requirements of a suite of Cl M controllers. Formal, structured techniques are then available for translating the conceptual description of controllers to their detailed requirement specifications, design and computer based implementation. We demonstrate the translation techniques by reviewing the development of a particular Cl M component, a workstation controller, currently in industrial use. IntroductionMany commercially available factory controllers for CIM provide computer solutions for industrial automation: general purpose computer systems which have been tailored for the factory environment with real-time operating systems, graphics support, and a large number of I/O ports (Allen-Bradley 1987,Society of Manufacturing Engineers 1988). While such platforms are useful ingredients of a CIM system, they do not relieve the user of the burden of developing complex manufacturing control solutions. Developing such CIM applications is difficult, since it requires a rare combination of skills: mastery of the formidable complexity of manufacturing, as well as system engineering.We participated in a company-wide programme to develop a suite of CIM controllers. Unlike the computer solutions mentioned above, these controllers provide manufacturing control solutions: applications software to control a transport system, control a warehouse, schedule operations, etc. The programming effort required by the user to tailor these controllers for specific factories is minimal. The controllers have other advantages as well. For example, user interactions with the controllers use manufacturing terminology rather than computer terminology. Furthermore, the CIM controllers are generic, and hence applicable to a wide variety of situations, including the handling of new products. Finally, the controllers can easily be integrated into a factory-wide CIM system responsible for a variety of control tasks such as machine control, machine maintenance, and scheduling, because they can exchange information according to specified protocols.

show abstract

Section: External Specificationsmentioning

confidence: 96%

Section: Worktation Controllersmentioning

confidence: 99%

mentioning

confidence: 99%

See 1 more Smart Citation

Structured development of a generic workstation controller

Wendorf

Biemans²

1991

International Journal of Production Research

View full text Add to dashboard Cite

show abstract

“…If the complexity does not allow a mathematical proof of these properties, methods as simulation might still be helpful. Reference [6] discusses requirements for formal specifications of MPCS components. It discusses trial specifications of a Workcell, Workcell Controller, Workstation and Transport System written in the language LOTOS [14,31], developed by the International Standardization Organization.…”

Section: Integrated Behaviormentioning

confidence: 99%

Computational tasks in robotics and factory automation

Biemans

Vissers

1988

Computers in Industry

View full text Add to dashboard Cite

The design of Manufacturing Planning and Control Systems (MPCSs) -systems that negotiate with Customers and Suppliers to exchange products in return for money in order to generate profit, is discussed.The computational task of MPCS components are systematically specified as a starting point for the development of computational engines, as computer systems and programs, that execute the specified computation. Key issues are the overwhelming complexity and frequently changing application of MPCSs.

show abstract

“…a system consisting of a number of workcells which cooperate in order to manufacture a certain product. The verification is not only modular, but also short when compared with the non-modular verifications of the same system by Biemans and Blonk [4], and Mauw [13]. In the first steps of the verification we remove the redundant summands in the process specification of the workcell architecture.…”

mentioning

confidence: 99%

Some observations on redundancy in a context

Vaandrager¹

1990

Applications of Process Algebra

View full text Add to dashboard Cite

Let x be a process which can perform an action a when it is in state s. In this article we consider the situation where x is placed in a context which blocks a whenever x is in s. The option of doing a in state s is redundant in such a context and x can be replaced by a process x' which is identical to x, except for the fact that x' cannot do a when it is in s (irrespective of the context). A simple, compositional proof technique is presented, which uses information about the traces of processes to detect redundancies in a process specification. As an illustration of the technique, a modular verification of a workcell architecture is presented.

show abstract

On the formal specification and verification of CIM architectures using LOTOS

Cited by 29 publications

References 6 publications

Structured development of a generic workstation controller

Structured development of a generic workstation controller

Computational tasks in robotics and factory automation

Some observations on redundancy in a context

Contact Info

Product

Resources

About