SParK: Safety Partition Kernel for Integrated Real-Time Systems
作者： S. Ghaisas , G. Karmakar , D. Shenai , S. Tirodkar , K. Ramamritham
DOI: 10.1007/978-3-642-17226-7_10
关键词:
摘要: In safety critical systems, huge manpower and cost goes towards the qualification certification of software that requires rigorous VV µC-OS II a customized version saRTL have been ported as GuestOSs. These demonstrated flexibility practicality novel features built into SParK. Applications realized using SParK shown is technically capable serving microkernel for Integrated Real-Time Systems.
springer.com
sci-hub.st 参考文章(12)
Jean J. Labrosse, MicroC/OS-II: The Real Time Kernel ,(1998)
Yann-Hang Lee, Daeyoung Kim, M. Younis, J. Zhou, Partition scheduling in APEX runtime environment for embedded avionics software embedded and real time computing systems and applications. pp. 103- 109 ,(1998) , 10.1109/RTCSA.1998.726357
Daeyoung Kim, Yann-Hang Lee, Mohamed Younis, Software architecture supporting integrated real-time systems Journal of Systems and Software. ,vol. 65, pp. 71- 86 ,(2003) , 10.1016/S0164-1212(02)00028-6
John A. Stankovic, Krithi Ramamritham, None, The Spring kernel: a new paradigm for real-time operating systems Operating Systems Review. ,vol. 23, pp. 54- 71 ,(1989) , 10.1145/71021.71024
Myron Lipow, Prediction of software failures Journal of Systems and Software. ,vol. 1, pp. 71- 75 ,(1979) , 10.1016/0164-1212(79)90006-2
C. L. Liu, James W. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment Journal of the ACM. ,vol. 20, pp. 46- 61 ,(1973) , 10.1145/321738.321743
Z. Deng, J.W.-S. Liu, J. Sun, A scheme for scheduling hard real-time applications in open system environment Real-time Systems. pp. 191- 199 ,(1997) , 10.1109/EMWRTS.1997.613785
G. Lipari, E. Bini, Resource partitioning among real-time applications euromicro conference on real time systems. pp. 151- 158 ,(2003) , 10.1109/EMRTS.2003.1212738
R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz, From a Federated to an Integrated Automotive Architecture IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. ,vol. 28, pp. 956- 965 ,(2009) , 10.1109/TCAD.2009.2014005
J. Lehoczky, L. Sha, Y. Ding, The rate monotonic scheduling algorithm: exact characterization and average case behavior real-time systems symposium. pp. 166- 171 ,(1989) , 10.1109/REAL.1989.63567