loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

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

Affiliation: ETS Ingeniería Informática. University of Granada, Spain

ISBN: 978-972-8865-49-8

Abstract: A code generation tool for the development of control system software based on an architectural view of distributed real-time systems as a set of communicating parallel processes is presented. Firstly, we obtain a complete system specification by using the CSP+T process algebra. Secondly, an architectural design of the entire system under modeling is performed using the CSPJade graphical tool; once a model of the system is achieved in the CSPJade framework, an implementation in Java can be automatically generated by using the JSCP library. CSPJade defines a graphical abstract model of processes similar to the semantic of CSP+T, so a translation of modeling entities into CSP+T processes and vice-versa is easy to achieve and becomes less error prone. CSPJade allows the designer to deploy a set of reusable software components which are stored in two XML structures, the java project model (JPM) and the java container model (JPM).

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

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 3.214.184.124

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:
A. Escámez A.; Bengazhi K.; A. Holgado J.; I. Capel M. and (2006). CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code.In Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006) ISBN 978-972-8865-49-8, pages 128-133. DOI: 10.5220/0002463701280133

@conference{msvveis06,
author={Agustín {A. Escámez} and Kawthar Bengazhi and Juan {A. Holgado} and Manuel {I. Capel}},
title={CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code},
booktitle={Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)},
year={2006},
pages={128-133},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002463701280133},
isbn={978-972-8865-49-8},
}

TY - CONF

JO - Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)
TI - CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code
SN - 978-972-8865-49-8
AU - A. Escámez, A.
AU - Bengazhi, K.
AU - A. Holgado, J.
AU - I. Capel, M.
PY - 2006
SP - 128
EP - 133
DO - 10.5220/0002463701280133

Login or register to post comments.

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