CFP last date
20 January 2025
Call for Paper
February Edition
IJCA solicits high quality original research papers for the upcoming February edition of the journal. The last date of research paper submission is 20 January 2025

Submit your paper
Know more
The week's pick
Responsive image
SFLA-Based Line Balancing and Task Optimization in Master-Slave Controlled Hanger Transportation Systems for Garment Production

Duc Hoang Nguyen
Random Articles
Reseach Article

Design and Analysis of Distributed Embedded Systems using AADL - Application to the Precision Time Protocol

by Mohamed Yassin Chkouri, Marius Bozga
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 97 - Number 21
Year of Publication: 2014
Authors: Mohamed Yassin Chkouri, Marius Bozga
10.5120/17128-7122

Mohamed Yassin Chkouri, Marius Bozga . Design and Analysis of Distributed Embedded Systems using AADL - Application to the Precision Time Protocol. International Journal of Computer Applications. 97, 21 ( July 2014), 1-8. DOI=10.5120/17128-7122

@article{ 10.5120/17128-7122,
author = { Mohamed Yassin Chkouri, Marius Bozga },
title = { Design and Analysis of Distributed Embedded Systems using AADL - Application to the Precision Time Protocol },
journal = { International Journal of Computer Applications },
issue_date = { July 2014 },
volume = { 97 },
number = { 21 },
month = { July },
year = { 2014 },
issn = { 0975-8887 },
pages = { 1-8 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume97/number21/17128-7122/ },
doi = { 10.5120/17128-7122 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T22:24:57.136836+05:30
%A Mohamed Yassin Chkouri
%A Marius Bozga
%T Design and Analysis of Distributed Embedded Systems using AADL - Application to the Precision Time Protocol
%J International Journal of Computer Applications
%@ 0975-8887
%V 97
%N 21
%P 1-8
%D 2014
%I Foundation of Computer Science (FCS), NY, USA
Abstract

Prototyping distributed embedded system can be seen as a collec- tion of many requirements covering many domains. System de- signers and developers need to describe both functional and non- functional requirements. Building distributed systems is a very te- dious task since the application has to be verifiable and analyzable. Architecture Analysis and Design Language (AADL) provides ad- equate syntax and semantics to express and support distributed em- bedded systems. This paper studies a general methodology for translating AADL thread component depending on the thread implementation into the BIP (Behavior Interaction Priority) language and for prototyping distributed applications using the Precision Time Protocol (PTP) for building and translating AADL systems into a distributed appli- cation using network communication protocol. This allows simula- tion of systems specified in AADL to fully assess system viability, to refine and to correct the behavior of the system using the BIP (Behavior Interaction Priority) toolset.

References
  1. Annex Behavior Specification SAE AS5506.
  2. SAE. Architecture Analysis & Design Language (stan- dard SAE AS5506), September 2004, available at http://www. sae. org.
  3. SEI. Open Source AADL Tool Environment. http://la. sei. cmu. edu/aadlinfosite/ OpenSourceAADL- ToolEnvironment. html.
  4. TOPCASED: http://www. topcased. org/.
  5. A. Basu, S. Bensalem, M. Gallien, F. Ingrand, C. Lesire, T. H. Nguyen, and J. Sifakis. Incremental component-based con- struction and verification of a robotic system. In Proceedings of ECAI'08, Patras, Greece, 2008.
  6. A. Basu, M. Bozga, and J. Sifakis. Modeling heterogeneous real-time components in bip. In Proceedings of SEFM '06, Pune, India, pages 3–12. IEEE Computer Society, 2006.
  7. A. Basu, L. Mounier, M. Poulhi`es, J. Pulou, and J. Sifakis. Using bip for modeling and verification of networked systems – a case study on tinyos-based networks. In Proceedings of NCA'07, Cambridge, MA USA, pages 257–260, 2007.
  8. S. Bensalem, M. Bozga, J. Sifakis, and T. H. Nguyen. Com- positional verification for component-based systems and ap- plication. In Proceedings of ATVA'08, Seoul, South Korea, 2008.
  9. M. Bozga, J-C. Fernandez, A. Kerbrat, and L. Mounier. Proto- col verification with the aldebaran toolset. STTT, 1:166–183, 1997.
  10. M. Bozga, S. Graf, Il. Ober, Iul. Ober, and J. Sifakis. The if toolset. In Proceedings of SFM'04, Bertinoro, Italy, volume 3185 of LNCS, pages 237–267.
  11. Mohamed Yassin Chkouri and Marius Bozga. Determinis- tic data flow communication in aadl. In Proceedings of the 2009 International Conference on Embedded Software and Systems, ICESS '09, pages 93–100. IEEE Computer Society, 2009.
  12. M. Y. Chkouri. Modeling of real-time embedded systems using AADL for the automatic generation of applications formally verified. PhD thesis, VERIMAG- University Joseph Fourier, 2010.
  13. M. Y. Chkouri, A. Robert, M. Bozga, and J. Sifakis. Translat- ing AADL into BIP - Application to the Verification of Real- Time Systems. In Models in Software Engineering: Work- shops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. , pages 5–19.
  14. J. Sifakis G. Gossler. Composition for component-based modeling. Science of Computer Programming, 55:161–183, March 2005.
  15. J. Hugues, B. Zalila, L. Pautet, and F. Kordon. Rapid Pro- totyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. In Proceedings of the 18th IEEE In- ternationalWorkshop on Rapid System Prototyping (RSP'07), pages 106–112, Porto Alegre, Brazil, May 2007. IEEE Com- puter Society Press.
  16. Kang Lee and John Eidson. Ieee-1588 standard for a precision clock synchronization protocol for networked measurement and control systems. In In 34 th Annual Precise Time and Time Interval (PTTI) Meeting, pages 98–105, 2002.
  17. M. Poulhi`es, J. Pulou, C. Rippert, and J. Sifakis. A methodol- ogy and supporting tools for the development of component- based embedded systems. In 13th Monterey Workshop, Paris, France, volume 4888 of LNCS, pages 75–96, 2006.
  18. T. Vergnaud, J. Hugues, L. Pautet, and F. Kordon. Poly- ORB: a schizophrenic middleware to build versatile reliable distributed applications. In Proceedings of the 9th Inter- national Conference on Reliable Software Techologies Ada- Europe 2004, volume LNCS 3063, pages 106 – 119, Palma de Mallorca, Spain, Jun.
Index Terms

Computer Science
Information Sciences

Keywords

Architecture Analysis and Design Language Modeling Dis- tributed Embedded System Model Transformation Simulation Validation

Powered by PhDFocusTM