CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code

Agustín A. Escámez, Kawthar Bengazhi, Juan A. Holgado, Manuel I. Capel

2006

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

References

  1. John J.Zic, “Timed constrained buffer specifications in CSP + T and timed CSP”. ACM Transaction on Programming Languages and Systems, vol.16, 6, 1994, pp. 1661-1674
  2. Kawthar Benghazi and Manuel Capel. Combining the description features of UML/RT and the CSP+T specification applied to a complex design of real-time systems. In 5thIEC05, Prague. Czech Republic, August 2005.
  3. G.H. Hilderink. The CTJ (Communicating Threads in Java) home page. http://www.rt.el.utwente.nl/javapp , 2000
  4. P.Welch, “Process Oriented Design for Java: Concurrency for All”, in Computational Science - ICCS 2002, Lecture Notes in Computer Science, 2330, Springer-Verlag, April 2002 (Keynote Tutorial), pp. 687-687.
  5. G. Booch, J. Rumbaugh, and I. Jacobson, “The Unified Modeling Language User Guide”, Addison-Wesley, Reading, Massachusetts, USA, 1999.
  6. Phillip J. Brooke and Richard F. Paige. The design of a tool-supported graphical notation for timed CSP. In IFM 2002: Proceedings of the Third International Conference on Integrated Formal Methods, pages 299318, London, UK, 2002. Springer-Verlag.
  7. D. Harel and A. Naamad, “The statemate semantics of Statecharts”. ACM Transactions of Software Engineering and Methodology, vol.5, 4, October 1996, pp.293-333.
  8. B. Selic, “Using UML for modeling complex real-time systems”. Lecture Notes in Computer Science, 1474, Springer-Verlag, 1998, pp.250-260
  9. Baressi, L., Pezzè, M., 1998. Towards Formalising Structural Analysis. ACM Transactions on Software Engineering and Methodology, 7, 1, pp.80-107
  10. Brendan Mahony and Jin Song Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26, 2, pp.150-177, 2000.
  11. Juan A. Holgado, Agustín Escámez, and Manuel I. Capel. From CSP+T specification to java implementation: The production cell case study. In CEDI 2005: I Congreso Español de informática, Granada, Spain, September 2005.
  12. Upgrade. XML (eXtensible Markup Language): The ASCII of the 21st century? . Vol. III, Issue no. 4, August 2002
  13. Upgrade. XML Today.Vol. VI, Issue no. 1, February 2005
  14. Abhijit Belapurkar. Jdom home page, 2005. http://www.jdom.org.
  15. Claus Lewerentz and Thomas Lindner, editors. Formal Development of Reactive Systems - Case Study Production Cell, volume 891 of Lecture Notes in Computer Science, London, UK, January 1995. Springer-Verlag.
  16. Dusko S. Jovanovic, Bojan Orlic, Geert K. Liet, and Jan F. GCSP: A graphical tool for designing CSP systems. In Communicating Porcess Architectures 2004, pp.233-251, Oxfors, U.K., 2004. IOS Press.
  17. G. H. Hilderink. Graphical modelling 'language for specifying concurrency based on CSP. IEE Proceedings, Vol 150, No 2, April 2003
Download


Paper Citation


in Harvard Style

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 - Volume 1: MSVVEIS, (ICEIS 2006) ISBN 978-972-8865-49-8, pages 128-133. DOI: 10.5220/0002463701280133


in Bibtex Style

@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},
}


in EndNote Style

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