Partitioned environment for Programmable Controller in safety applications
作者： G. Karmakar , A. Kabra , R. K. Patil , Krithi Ramamritham
DOI: 10.1109/ETFA.2012.6489728
关键词:
摘要: Use of Programmable Controllers (PLC) in safety-critical applications is gaining importance as a pre-qualified development platform to reduce Verification and Validation (V &V) effort. It has been observed, practice, that most the functions are fairly simple achieved by only small fraction large software. This motivates partitioned operating environment for PLC, so less critical components software can be from those, which actually performing functions. will facilitate rigorous V &V modules get necessary approval system regulatory authorities. work addresses some issues Partitioned-PLC towards improved schedulability bound, yet offering simplicity implementation.
typeset.io参考文章(13)
Sanjoy K. Baruah, Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks Real-time Systems. ,vol. 24, pp. 93- 128 ,(2003) , 10.1023/A:1021711220939
S. Ghaisas, G. Karmakar, D. Shenai, S. Tirodkar, K. Ramamritham, SParK: Safety Partition Kernel for Integrated Real-Time Systems Lecture Notes in Computer Science. pp. 159- 174 ,(2010) , 10.1007/978-3-642-17226-7_10
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
Mathai Joseph, Paritosh Pandya, Finding Response Times in a Real-Time System The Computer Journal. ,vol. 29, pp. 390- 395 ,(1986) , 10.1093/COMJNL/29.5.390
Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal, A Compositional Scheduling Framework for Digital Avionics Systems embedded and real-time computing systems and applications. pp. 371- 380 ,(2009) , 10.1109/RTCSA.2009.46
A.K. Mok, X. Feng, Deji Chen, Resource partition for real-time systems real time technology and applications symposium. pp. 75- 84 ,(2001) , 10.1109/RTTAS.2001.929867
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
Ching-Chih Han, Kwei-Jay Lin, Chao-Ju Hou, Distance-constrained scheduling and its applications to real-time systems IEEE Transactions on Computers. ,vol. 45, pp. 814- 826 ,(1996) , 10.1109/12.508320