Abstract
In this paper, we present our experience on integrating timing constraint verification and analysis, by using the real-time scheduling theory, in an industrial context. The verification process has been integrated into a design flow at THALES Communications & Security. We focus our work on Software Radio Protocols (SRP). We have used Model-Driven Engineering technologies and the Cheddar schedulability analysis tool for our experiment. We show how we have modeled a complete SRP in UML MARTE, a profile for real-time embedded systems, before using model transformation to extract information for schedulability analysis with Cheddar.
- A. Atlas and A. Bestavros. Statistical rate monotonic scheduling. In Proceedings of the 19th IEEE Real-Time Systems Symposium, pages 123--132. IEEE Comput. Soc, 1998. Google Scholar
Digital Library
- N. Audsley, I. Gray, and S. Indrusiak. Model-based development of embedded systems - the MADES approach. In Proceedings of the 2nd Workshop on Model Based Engineering for Embedded Systems Design, 2011.Google Scholar
- AUTOSAR. AUTOSAR specification, 2011.Google Scholar
- T. S. Chan. Time-Division multiple access. In Handbook of Computer Networks, pages 769--778. John Wiley & Sons, Inc., Hoboken, NJ, USA, 2011.Google Scholar
Cross Ref
- J. A. Davidson. On the architecture of secure software defined radios. In Proceedings of the 2008 IEEE Military Communications Conference, pages 1--7.IEEE, 2008.Google Scholar
Cross Ref
- J. DeAntoni and F. Mallet. TimeSquare: treat your models with logical time. In Objects, Models, Components, Patterns, volume 7304, pages 34--41. Springer Berlin Heidelberg, Berlin, Heidelberg, 2012. Google Scholar
Digital Library
- V. Debruyne, F. Simonot-Lion, and Y. Trinquet. EAST-ADL - an architecture description language. In Architecture Description Languages, volume 176, pages 181--195. Springer-Verlag, New York, 2005.Google Scholar
- P. Dissaux and F. Singhoff. Stood and cheddar : AADL as a pivot language for analysing performances of real time architectures. In Proceedings of the 4th European Congress on Embedded Real Time Software and System, 2008.Google Scholar
- P. H. Feiler, D. P. Gluch, and J. J. Hudak. The architecture analysis & design language (AADL): an introduction. Technical Report ADA455842, Software Engineering Institute, Pittsburgh, 2006.Google Scholar
Cross Ref
- C. Fotsing, A. Geniet, and G. Vidal-Naquet. A realistic model of Real-Time systems for efficient scheduling. In Proceedings of the 33rd IEEE Software Engineering Workshop, pages 3--12. IEEE, 2009. Google Scholar
Digital Library
- M. G. Harbour, J. G. Garcia, J. Palencia, and J. Drake Moyano. MAST: modeling and analysis suite for real time applications. In Proceedings of the 13th Euromicro Conference on Real-Time Systems, pages 125--134. IEEE Comput. Soc, 2001. Google Scholar
Digital Library
- R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. System level performance analysis - the SymTA/S approach. IEEE Computers and Digital Techniques, 152(2):148, 2005.Google Scholar
Cross Ref
- T. S. Inc. Tri-Pacific software inc. : RAPID RMA. http://www.tripac.com/rapid-rma.Google Scholar
- JTRS. Software communication architecture specification, 2012.Google Scholar
- L. Ju, A. Roychoudhury, and S. Chakraborty. Schedulability analysis of MSC-based system models. In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium 2008, pages 215--224. IEEE, 2008. Google Scholar
Digital Library
- K. Klobedanz, C. Kuznik, A. Thuy, and W. Mueller. Timing modeling and analysis for AUTOSAR-based software development: a case study. In Proceedings of the Conference on Design, Automation and Test in Europe 2010, 2010. Google Scholar
Digital Library
- C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a Hard-Real-Time environment. Journal of the ACM, 20(1):46--61, 1973. Google Scholar
Digital Library
- E. Maes and N. Vienne. MARTE to cheddar transformation using ATL. Technical report, THALES Research & Technologies, 2007.Google Scholar
- J. Medina and l. G. Cuesta. From composable design models to schedulability analysis with UML and the UML profile for MARTE. In Proceedings of the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2010.Google Scholar
- N. Medvidovic and R. Taylor. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1):70--93, 2000. Google Scholar
Digital Library
- J. Mitola. The software radio architecture. IEEE Communications Magazine, 33(5):26--38, 1995. Google Scholar
Digital Library
- A. Mok and D. Chen. A multiframe model for real-time tasks. IEEE Transactions on Software Engineering, 23(10):635--645, 1997. Google Scholar
Digital Library
- OMG. CORBA component model specification, 2006.Google Scholar
- OMG. EXPRESS specification, 2010.Google Scholar
- OMG. CORBA specification, 2011.Google Scholar
- OMG. MARTE specification, 2011.Google Scholar
- J. Palencia and M. G. Harbour. Schedulability analysis for tasks with static and dynamic offsets. In Proceedings of the 19th IEEE Real-Time Systems Symposium, pages 26--37. IEEE Comput. Soc, 1998. Google Scholar
Digital Library
- Papyrus. Papyrus. http://www.eclipse.org/modeling/mdt/papyrus/.Google Scholar
- P. Pillai and K. G. Shin. Real-time dynamic voltage scaling for low-power embedded operating systems. ACM SIGOPS Operating Systems Review, 35(5):89, 2001. Google Scholar
Digital Library
- A. Plantec and F. Singhoff. Refactoring of an ada 95 library with a meta CASE tool. In Proceedings of the 2006 annual ACM SIGAda international conference on Ada. ACM Press, 2006. Google Scholar
Digital Library
- PrismTech. Spectra CX the SCA development tool. http://www.prismtech.com/spectra/products/spectracx.Google Scholar
- I. R. Quadri, A. Sadovykh, and L. S. Indrusiak. MADES: a SysML/MARTE high level methodology for real-time and embedded systems. In Proceedings of the 2012 Embedded Realtime Software and Systems Conference, 2012.Google Scholar
- X. Renault, F. Kordon, and J. Hugues. Adapting models to model checkers, a case study : Analysing AADL using time or colored petri nets. In Proceedings of the 20th IEEE International Workshop on Rapid System Prototyping, pages 26--33, Paris, 2009. IEEE. Google Scholar
Digital Library
- D. Schmidt. Guest editor's introduction: Model-Driven engineering. Computer, 39(2):25--31, 2006. Google Scholar
Digital Library
- S. Sendall and W. Kozaczynski. Model transformation: the heart and soul of model-driven software development. IEEE Software, 20(5):42--45, 2003. Google Scholar
Digital Library
- L. Sha, T. Abdelzaher, K.-E. Arzen, A. Cervin, T. Baker, A. Burns, G. Buttazzo, M. Caccamo, J. Lehoczky, and A. K. Mok. Real time scheduling theory: A historical perspective. Real-Time Systems, 28(2-3):101--155, 2004. Google Scholar
Digital Library
- L. Sha, R. Rajkumar, and J. Lehoczky. Priority inheritance protocols: an approach to real-time synchronization. IEEE Transactions on Computers, 39(9):1175--1185, 1990. Google Scholar
Digital Library
- F. Singhoff, J. Legrand, L. Nana, and L. Marce. Cheddar: a flexible real time scheduling framework. In Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada, pages 1--8. ACM Press, 2004. Google Scholar
Digital Library
- F. Singhoff, A. Plantec, P. Dissaux, and J. Legrand. Investigating the usability of real-time scheduling theory with the cheddar project. Real-Time Systems, 43(3):259--295, 2009. 10.1007/s11241-009-9072-y. Google Scholar
Digital Library
- Smartesting. Smartesting. http://www.smartesting.com/index.php/cms/en/home.Google Scholar
- Softeam. Modelio. http://www.modeliosoft.com/.Google Scholar
- I. Software. IBM software - rational software architect family. http://www- 01.ibm.com/software/awdtools/swarchitect/.Google Scholar
- M. Stigge. Schedulability analysis with variable computation time of tasks. Technical report, UPPSALA, 2007.Google Scholar
- Symtavision. Symtavision - SymTA/S. http://www.symtavision.com/symtas.html.Google Scholar
- N. Tchidjo Moyo, E. Nicollet, F. Lafaye, and C. Moy. On schedulability analysis of non-cyclic generalized multiframe tasks. In Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems, pages 271--278. IEEE, 2010. Google Scholar
Digital Library
- THALES. MyCCM. http://sourceforge.net/apps/trac/myccm-hi/wiki.Google Scholar
- K. Tindell and J. Clark. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming, 40(2-3):117--134, 1994. Google Scholar
Digital Library
- VERDE Consortium. ITEA VERDE. http://www.itea-verde.org/.Google Scholar
- VideoLAN. VideoLAN. http://www.videolan.org/vlc/index.html.Google Scholar
- H. Zimmermann. OSI reference Model-The ISO model of architecture for open systems interconnection. IEEE Transactions on Communications, 28(4):425--432, 1980.Google Scholar
Cross Ref
Index Terms
Applicability of real-time schedulability analysis on a software radio protocol
Recommendations
Applicability of real-time schedulability analysis on a software radio protocol
HILT '12: Proceedings of the 2012 ACM conference on High integrity language technologyIn this paper, we present our experience on integrating timing constraint verification and analysis, by using the real-time scheduling theory, in an industrial context. The verification process has been integrated into a design flow at THALES ...
Scheduling analysis from architectural models of embedded multi-processor systems
Special Issue on the 3rd Embedded Operating System Workshop (EWiLi 2013)As embedded systems need more and more computing power, many products require hardware platforms based on multiple processors. In case of real-time constrained systems, the use of scheduling analysis tools is mandatory to validate the design choices, ...
Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software
SERE '12: Proceedings of the 2012 IEEE Sixth International Conference on Software Security and ReliabilityThe UML has been used to describe structures and behaviors of time-triggered embedded software. Analysis of timing constraints is an important issue in developing time-triggered embedded software. Among multiple types of UML diagrams, timing diagrams ...







Comments