New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages

Mohamed Naija, Samir Ben Ahmed, Jean-Michel Bruel

2015

Abstract

Transforming a software functional model that describes the underlying application to a concurrency model is considered as a critical issue in the model-based approaches for Real-Time Embedded Systems (RTES) development process. The formal methods have proven to be useful for making the development process reliable at a high abstraction level. Based on this approach, this current research proposes a generic approach to task construction that allows early detection of unfeasible design. Having a component-oriented specification as entry, the first stage of the methodology consists in the workload model specification. The workload model represents the system end-to-end computations triggered by an external stimulus and subject to hard real-time constraints. This model is then mapped into a Petri Nets formalism to perform P-invariant method and generate all transactions in an optimized way. The refinement of the transaction set in a Schedulability Analysis Model defining an optimized threading strategy model. The latter presents the set of units of execution taken into account by the scheduler of the system and their scheduling parameters. We illustrate the advantages and effectiveness of the proposed method by constructing a concurrency model for a combined Cruise Control System and Anti-lock Braking System.

References

  1. Anssi,S., Tucci-Piergiovanni, S., Kuntz,S., Gerard,S. and Terrier, F., 2011. Enabling scheduling analysis for AUTOSAR systems. In ISORC 7811, 14 thIEEE International Symposium on Object-Oriented RealTime Distributed Computing.IEEE Computer Society.
  2. Bartolini, C., Lipari, G. and Natale, M. D.,2005. From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications. In RTAS' 05, Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium ,San Francisco, CA, USA. IEEE Computer Society.
  3. Frumin, D. and Lamazova, I., 2014. Branching Process of Conservative Nested Petri Nets. In VPT'14, second international workshop on Verification and Program Transformation. EPiC Series, vol.25,pp 19-35.
  4. Gomaa, H., 2000. Designing Concurrent, Distributed and Real-Time Applications with UML. Addison-Wesley.
  5. Goodenough, J. B. and Sha, L., 1988. The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks, volume 8. ACM.
  6. HadjKacem, Y., Mahfoudhi,A., Magdich, A., Karamti, W. and Abid, M., 2012. Using MDE and Priority Time Petri Nets for the schedulability analysis of embedded systems modeled by UML activity diagrams. In ECBS'12, 19th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems. IEEE Computer Society.
  7. Kodase, S., Wang, S. and Shin, K.G.,2003. protocol: A Transforming Structural Model to Runtime Model of Embedded Software with Real-time Constraints. In DATECE'03, Design, Automation and Test in Europe Conference and Exhibition. IEEE Computer Society.
  8. Mehiaoui,A.,Wozniak, E., Natale, M.D., Zeng, H., Mraidha, C., Tucci-Piergiovanni, S. and Gerard, S., 2013. A Two-step Optimization Technique for Functions Placement, Partitioning, and Priority Assignment in Distributed Systems. In LCTES'13, 14thconference on Languages, Compilers and Tools for Embedded Systems. ACM.
  9. Mraidha, C., Tucci-Piergiovanni, S. and Gerard,S.,2011. Optimum: a marte-based methodology for schedulability analysis at early design stages. In ACM SIGSOFT Software Engineering Notes, 36(1):1-8.
  10. Murata,T., 1989. Petri nets: Properties, analysis and applications. In Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580.
  11. Mzid, R., Mraidha, C., Babau, J.P. and Abid, M., 2014. SRMP: A Software Pattern for Deadlocks Prevention in Real-Time Concurrency Models. In QoSA'14, 10th International Conference on Quality of Software Architectures, France. ACM SIGSOFT.
  12. Narahari, Y. and Viswanadham, N., 1985. On the invariants of coloured Petri Nets. In Proceedings of 6th European Workshop on Petri Net Theory and Applications, pp. 330-345.
  13. OMG Object Management Group., 2008. A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 2, Object Management Group.
  14. Radermacher, A., Mraidha, C., Tucci-Piergiovanni, S. and GĂ©rard,S.,2010. Generation of schedulable real-time component implementations. In ETFA'10, 15th IEEE International Conference on Emerging Technologies and Factory Automation. IEEE Computer Society.
  15. Saksena, M. and Karvelas, P., 2000. Designing for Schedulability Integrating Schedulability Analysis with Object-Oriented Design. In ECRTS'00, 12th Euro micro Conference on Real-time Systems, Stockholm,Sweden. IEEE Computer Society.
  16. Wozniak, E., Natale, M.D., Zeng, H., Mraidha, C., TucciPiergiovanni, S. and Gerard, S., 2014. Assigning Time Budgets to Component Functions in the Design of Time-Critical Automotive Systems. In ASE'14, 29 th International Conference on Automated Software Engineering. ACM.
  17. Yang, N., Yu, H., Sun,H. and Qian,Z., 2010. Mapping UML activity diagrams to Analyzable Petri Net Models. In QSIC 7810, 10th International Conference on Quality Software, pages 369-372, Washington,DC, USA. IEEE Computer Society.
Download


Paper Citation


in Harvard Style

Naija M., Ben Ahmed S. and Bruel J. (2015). New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages . In Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015) ISBN 978-989-758-114-4, pages 330-338. DOI: 10.5220/0005514003300338


in Bibtex Style

@conference{icsoft-ea15,
author={Mohamed Naija and Samir Ben Ahmed and Jean-Michel Bruel},
title={New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages},
booktitle={Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015)},
year={2015},
pages={330-338},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005514003300338},
isbn={978-989-758-114-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 1: ICSOFT-EA, (ICSOFT 2015)
TI - New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages
SN - 978-989-758-114-4
AU - Naija M.
AU - Ben Ahmed S.
AU - Bruel J.
PY - 2015
SP - 330
EP - 338
DO - 10.5220/0005514003300338