loading
Papers Papers/2022 Papers Papers/2022

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

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).

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 18.219.15.112

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. and I. Capel, M. (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 (ICEIS 2006) - MSVVEIS; ISBN 978-972-8865-49-8, SciTePress, 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 (ICEIS 2006) - MSVVEIS},
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 (ICEIS 2006) - MSVVEIS
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
PB - SciTePress