Applicability of real-time schedulability analysis on a software radio protocol

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.

[1]  Wang Yi,et al.  Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times , 2007, FORMATS.

[2]  Christian Fotsing,et al.  A Realistic Model of Real-Time Systems for Efficient Scheduling , 2009, 2009 33rd Annual IEEE Software Engineering Workshop.

[3]  Aloysius K. Mok,et al.  A Multiframe Model for Real-Time Tasks , 1997, IEEE Trans. Software Eng..

[4]  Joseph Mitola,et al.  The software radio architecture , 1995, IEEE Commun. Mag..

[5]  Julien DeAntoni,et al.  TimeSquare: Treat Your Models with Logical Time , 2012, TOOLS.

[6]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

[7]  Rolf Ernst,et al.  System level performance analysis - the SymTA/S approach , 2005 .

[8]  Françoise Simonot-Lion,et al.  EAST-ADL - An Architecture Description Language - Validation and Verification Aspects , 2004, IFIP-WADL.

[9]  J.A. Davidson.  On the architecture of secure software defined radios , 2008, MILCOM 2008 - 2008 IEEE Military Communications Conference.

[10]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[11]  Azer Bestavros,et al.  Statistical rate monotonic scheduling , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[12]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[13]  Samarjit Chakraborty,et al.  Schedulability Analysis of MSC-based System Models , 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.

[14]  Alain Plantec,et al.  Refactoring of an Ada 95 library with a Meta CASE tool , 2006 .

[15]  Julio L. Medina Pasaje,et al.  From composable design models to schedulability analysis with UML and the UML profile for MARTE , 2011, SIGBED.

[16]  Alan Burns,et al.  Real Time Scheduling Theory: A Historical Perspective , 2004, Real-Time Systems.

[17]  Alain Plantec,et al.  Investigating the usability of real-time scheduling theory with the Cheddar project , 2009, Real-Time Systems.

[18]  Tom S. Chan.  Time‐Division Multiple Access , 2011 .

[19]  Wolfgang Müller,et al.  Timing modeling and analysis for AUTOSAR-based software development - a case study , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[20]  Fabrice Kordon,et al.  Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets , 2009, 2009 IEEE/IFIP International Symposium on Rapid System Prototyping.

[21]  H. Zimmermann,et al.  OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection , 1980, IEEE Transactions on Communications.

[22]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[23]  Michael González Harbour,et al.  Schedulability analysis for tasks with static and dynamic offsets , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[24]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[25]  Laurent Nana,et al.  Cheddar: a flexible real time scheduling framework , 2004 .

[26]  Kang G. Shin,et al.  Real-time dynamic voltage scaling for low-power embedded operating systems , 2001, SOSP.

[27]  Leandro Soares Indrusiak,et al.  MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems , 2012, 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC).

[28]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[29]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[30]  J. Javier Gutiérrez,et al.  MAST: Modeling and Analysis Suite for Real Time Applications , 2001, ECRTS.

[31]  Christophe Moy,et al.  On Schedulability Analysis of Non-cyclic Generalized Multiframe Tasks , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.