This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Methods for Prediction, Simulation and Verification of Real-Time Software Architectural Design based on Machine Learning Algorithms
Technical Paper
2015-01-0190
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
In embedded system software architectural design, the Real-Time (RT) behavior estimation needs special care and contains many technical challenges. Most of the current approaches depend on either the engineering judgment or the actual measurements that are performed during the integration-testing phase. Both approaches may cause errors that lead to violations in the RT constraints. Both approaches are not error proof and can yield to RT constraints violations discovered during simulation of RT architectural design or during product validation. Impact on project could even be a Central Processing Unit (CPU) change.
In this work, Operating System (OS) process Execution Time (ET) is considered the basic element of RT architectural design. Each process ET is predicted based on previous software releases, using Machine Learning (ML) algorithms. Different types of extracted feature vectors of a software release (e.g. number of static architecture requirements, hardware factor, and seniority index) are proposed to be inputs to ML multiple classifiers to predict OS processes ETs. The used ML algorithms (e.g. Support Vector Machine Regression, Extreme Learning Machine, and Neural Networks) are compared, in terms of the prediction performance, using practical case studies, which contain AUTOSAR Application (APP) and Basic Software (BSW) module, with proven results.
The predicted ETs are given as inputs to OS modeling, simulation and verification tool. This tool is used in RT architectural design (e.g. design of the OS Tasks/ISRs configurations), OS behavior modeling and simulation and RT verification (missed deadlines, extra CPU load, etc…). Using this method, the architects can predict OS process ET, design, verify and refine the RT architecture either at the early phase of the project or before the coding phase. Summary, conclusion with proven results and future work are illustrated.
Recommended Content
Authors
Topic
Citation
Taie, M., El-Faramawy, I., and Elmawazini, M., "Methods for Prediction, Simulation and Verification of Real-Time Software Architectural Design based on Machine Learning Algorithms," SAE Technical Paper 2015-01-0190, 2015, https://doi.org/10.4271/2015-01-0190.Also In
References
- Scheickl , O. and Rudorfer , M. Automotive Real Time Development Using a Timing-augmented AUTOSAR Specification Proceedings of ERTS2008 2008
- Lu1 , Y. , Nolte1 , T. , Bate2 , I. and Cucu-Grosjean , L. A New Way about using Statistical Analysis of Worst-Case Execution Times Malardalen Real-Time Research Centre (MRTC) Vasteras, Sweden
- Falk , H. , Lokuciejewski , P. and Theiling , H. Design of a WCET-Aware C Compiler ECRTS, 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis 2006
- Scheickl , O. , Ainhauser , C. and Gliwa , P. Tool Support for Seamless System Development based on AUTOSAR Timing Extensions ERTS 2012 Feb. 2012
- El-Shobaki , M. Verification of Embedded Real-Time Systems Using Hardware/Software Co-simulation Euromicro Conference, Proceedings. 24th 1998
- Bhavsar , H. and Ganatra , A. A Comparative Study of Training Algorithms for Supervised Machine Learning International Journal of Soft Computing and Engineering (IJSCE) 2 2012
- Han , J. and Kamber , M. Data Mining Concepts and Techniques Elsevier
- Cover , T. and Hart Nearest Neighbor Pattern Classification IEEE Transactions on Information Theory 1967
- Kotsiantis , S. B. Supervised Machine Learning: A Review of Classification Techniques Informatica 2007
- Corinna , C. and Vapnik V. Support-Vector Networks. Machine Learning 1995
- Douglas , P.K. , Harris , S. , Yuille , A. and Cohen Mark S. Performance comparison of machine learning algorithms and number of independent components used in fMRI decoding of belief vs. disbelief NeuroImage 2011
- XindongWu, Kumar , V. , Ross J. , Ghosh , J. et al. Top 10 algorithms in data mining Knowledge Information system 2008
- Sonali , B. and Wankar , P. International Journal on Recent and Innovation Trends in Computing and Communication 2014
- Refaeilzadeh , P. , Tang , L. and Liu , H. Cross Validation Encyclopedia of Database Systems 2009
- Alex J. and Scholkopf , B. A Tutorial on Support Vector Regression 2003
- Shevade , S. K. , Keerthi , S. S. , Bhattacharyya , C. and Murthy , K. R. K. Improvements to the SMO Algorithm for SVM Regression IEEE Transactions on Neural Networks 2000
- Hrona , K. , Filzmoserb , P. and Thompsonc , K. Linear regression with compositional explanatory variables Journal of Applied Statistics
- Friedman , J. , Hastie , T. and Tibshirani , R. Additive Logistice Regression: a Statistical View of Boosting 1998
- Friedman , J. and Stuetzle , W. Projection pursuit regression Journal of the American Statistical Association 1981
- Buja , A. , Hastie , T. and Tibshirani , R. Linear smoothers and additive models(with discussion) Annals of Statistics 1989
- Huang , G. B. , Zhu , Q. Y. and Siew C. K. Extreme learning machine: A new learning scheme of feedforward neural networks Proc. IJCNN Budapest, Hungary 2004
- Huang , G. B. , Chen , L. and Siew C.-K. Universal approximation using incremental constructive feedforward networks with random hidden nodes IEEE Trans. Neural Network Jul. 2006
- Huang , G. B. and Chen , L. Convex incremental extreme learning machine Neurocomputing Oct. 2007
- Huang , G. B. and Chen , L. Enhanced random search based incremental extreme learning machine Neurocomputing Oct. 2008
- Huang , G. B. , Zhou , H. , Ding , X. , and Zhang , R. Extreme Learning Machine for Regression and Multiclass Classification IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS APRIL 2012
- Rumelhart , D. E. , Hinton , G.E. and Williams , R. J. Learning representations by back-propagation errors Nature 1986
- Bartlett , P. L. The sample complexity of pattern classification with neural networks: The size of the weights is more important than the size of the network IEEE Trans. Inf. Theory Mar. 1998
- Chen , K. , Malik , S. and August , D.I. Retargatable static software timing analysis IEEE/ACM Intl. Symp. on System Synthesis (ISSS) 2001
- Lim , S-S. , Han , J.H. , Kim , J. and Min , S.L. A worst case timing analysis technique for in-order superscalar processors IEEE Real Time Systems Symposium(RTSS) 1998 1998
- Colin , A. and Puaut , I. Worst case execution time analysis for a processor with branch prediction Journal of Real time Systems May 2000
- Heckmann , R. , Ferdinand , C. and Angewandte , A. Worst-Case Execution Time Prediction by Static Program Analysis 18th International Parallel and Distributed Processing Symposium (IPDPS) 2004
- Huang , L. , Jia , J. , Yu , B. , Chun , B. et al. Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression NIPS Dec. 2010
- Kwon , Y. , Lee , S. , Yi , H. , Kwon , D. et al. Mantis: automatic Performance Prediction for Smartphone Applications USENIX Annual Technical Conference June 2013
- Leshem , G. , Simulation of real-time embedded systems ACM SIGSIM Simulation Digest 2012 10.1145/142103.142107
- Krishnaprasad , S. , Uses and abuses of Amdahl's law Journal of Computing Sciences in Colleges Dec. 2001