loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Manuel I. Capel ; Juan A. Holgado and Agustín Escámez

Affiliation: University of Granada, Spain

ISBN: 972-8865-22-8

Abstract: A semiformal development method for obtaining a correct design of embedded control and real-time systems is presented. The design is obtained from a Colored Petri Net (CPN) model of a real-time system, which is subsequently transformed into a formal system specification using CSP+T process algebra. The method translates CPN modelling entities into abstract processes, which allow the expression of concurrency and real-time constraints. The correct design of a “key“ component (feed belt controller) of a paradigmatic manufacturing problem (the Production Cell) is discussed as to show the applicability of our method.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.201.121.213

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
I. Capel M.; A. Holgado J.; Escámez A. and (2005). An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case.In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005) ISBN 972-8865-22-8, pages 39-48. DOI: 10.5220/0002566600390048

@conference{msvveis05,
author={Manuel {I. Capel} and Juan {A. Holgado} and Agustín Escámez},
title={An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case},
booktitle={Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)},
year={2005},
pages={39-48},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002566600390048},
isbn={972-8865-22-8},
}

TY - CONF

JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)
TI - An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case
SN - 972-8865-22-8
AU - I. Capel, M.
AU - A. Holgado, J.
AU - Escámez, A.
PY - 2005
SP - 39
EP - 48
DO - 10.5220/0002566600390048

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.