پروژه سیستم عامل های بلادرنگ

فهرست و منابع پروژه سیستم عامل های بلادرنگ

فهرست:

·        فصل اول :  زمانبندی بلادرنگ...................................................................7

مقدمه....................................................................................................................8

مشخصات سیستم های بلادرنگ...............................................................................9

زمانبندی بلادرنگ................................................................................................14

رویکردهای ایستای مبتنی بر جدول.......................................................................16

رویکردهای ایستای مبتنی بر اولویت و با قبضه کردن.............................................16

رویکردهای پویا بر اساس برنامه ریزی...................................................................16

رویکردهای پویا با بهترین کوشش.........................................................................17

زمانبندی ایستا مبتنی بر جدول.............................................................................18

زمانبندی ایستای مبتنی بر اولویت و با قبضه کردن................................................18

زمانبند مهلت زمانی.............................................................................................18

زمانبندی Linux  .............................................................................................26

زمانبندی Unix SVR4.....................................................................................28

·        فصل دوم : الگوریتم های برنامه ریزی و حمایت سیستم های اجرایی برای سیستم های بلادرنگ..............................................................................31

خلاصه..............................................................................................................32

برنامه ریزی بلادرنگ.........................................................................................35

متریک های اجرا در سیستم های بلادرنگ..........................................................36

الگوهای برنامه ریزی.........................................................................................38

الگوریتمهای برنامه ریزی برای این الگوها.....................................................40

برنامه ریزی ثابت Table –Driven   ..........................................................41

برنامه ریزی priority driven preemptive   .........................................42

برنامه ریزی دینامیک ....................................................................................43

برنامه ریزی Best –Effort  دینامیک..........................................................44

موضوعات برنامه ریزی مهم............................................................................45

برنامه ریزی با محدودیتهای  توان خطا............................................................45

برنامه ریزی با احیای منابع.............................................................................46

سیستم اجرایی  بلادرنگ ................................................................................46

هسته های کوچک ، سریع و اختصاصی............................................................47

توسعه های زمان واقعی برای سیستم های اجرای بازرگانی................................48

سیستم های اجرای تحقیق................................................................................50

هسته MARS..................................................................................................51

هسته SPRING..............................................................................................52

هستهMARUTI ..............................................................................................52

هسته ARTS ..................................................................................................52

·        فصل سوم :  بررسی ارتباط میان اجزای یک سیستم جامع بلادرنگ............ 55

خلاصه.................................................................................................................56

شرح رابط میان RTOS  و برنامه کاربردی............................................................58

شرح عملگرهای بهبودیافته....................................................................................63

تشریح مطالعات تجربی..........................................................................................69

فصل چهارم : منابع...............................................................................73

.

منبع:

[1] M. A. Tsoukarellas, V. C. Gerogiannis and K. D.

Economides, “Systemically Testing a Real-Time

Operating System”, IEEE Micro, Vol.15, pp.50-60,

1995.

[2] EIA/TIA-232-C, Interface Between Data Terminal

Equipment and Data Circuit-Terminating Equipment

Employing Serial Binary Data Interchange, EIA

(Electronic Industries Alliance), 1991.

[3] A. Sung, B. Choi and S. Shin, “An Interface Test

Model for Hardware-dependent Software and

Embedded OS API of the Embedded System”, Journal

of Computer Standards and Interfaces, ELSEVIER,

2006, to be published.

[4] R. A. Demillo, R. J. Lipton and F. G. Sayward, “Hints

on Test Data Selection: Help for the practicing

programmer”, IEEE Computer, Vol.11, pp.34-31, 1978.

[5] A. J. Offutt, “Investigations of the Software Testing

Coupling Effect”, ACM Transactions on Software

Engineering and Methodology, Vol.1, pp.5-20, 1992.

[6] M. E. Delamaro, J. C. Maldonado and A. P. Mathur,

"Interface Mutation: An Approach for Integration

Testing", IEEE Transactions on Software Engineering,

vol.27, pp228~247, 2001.

[7] Technical Report SERC-TR-41-P, Design of Mutant

Operators for the C Programming Language, Software

Engineering Research Center, Purdue University,

Rev.1.04, 2006.

[8] R. T. Alexander, J. M. Bieman, S. Chosh and B. Ji.,

"Mutation of Java Objects", in the Proc. of

International Symposium on. Software Reliability

Engineering, pp.341~351, 2002.

[9] H. Yoon, and B. Choi, “Effective Test Case Selection

for Component Customization and Its Application to

EJB”, The Software Testing, Verification and

Reliability Journal, vol.14, pp.45~70, 2004.

[10] A. Jerraya and W. Wolf, “Hardware/Software Interface

Codesign for Embedded Systems”, IEEE Computer,

Vol.38, pp.63~69, 2005.

[11] IEEE Standard 1003.1-2001, IEEE Standard for

Information technology – POSIX (Portable Operating

System Interface), IEEE, 2001.

[12] J.J Labrosse, MicroC/OS-II, The Real-Time Kernel,

CMP Books, 1999.

[13] A. Mader, “A Classification of PLC Models and

Applications”, in the Proc. of International Workshop

on Discrete Event Systems -- Discrete Event Systems,

Analysis and Control, Kluwer Academic Publishers,

pp.239-247, 2000.

[14] TMS320C32 Digital Signal Processor available in

http://www.ti.com/, Texas Instrument, 1998.

[15] IEC, International Standard for Programmable

Controllers: Programming Languages, Technical

Report IEC 1131 part 3, IEC (International Electro

technical Commission), 1993.

[16] KNICS-PLC-SDS331-01, Software Design

Specification for the PLC Processor Module, KAERI

(Korea Atomic Energy Research Institute), 2006.

[17] S. E. Chodrow, F. Jahnian,and M. Donner, “Run-Time

Monitoring of Real-Time Systems”, in the Proc. of

Run-Time Systems Symposium, IEEE, pp.74-83, 1991.

[18] S. Ricardo and Jr. J. R. de Almeida, “Run-Time

Monitoring for Dependable Systems: an Approach and

a Case Study”, in the Proc. of International Symposium

on Reliable Distributed System, IEEE, pp.41-49, 2004.

[19] SPRU296, Code Composer User’s Guide, Texas

Instrument, 1999.

[20] J.H. Andrews, L.C. Briand and Y. Labiche, “Is

Mutation an Appropriate Tool for Testing

Experiments?”, in the Proc. of International

Conference on Software Engineering, pp. 402~411,

2005

.