دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Real Time Computing
دانلود کتاب محاسبه زمان واقعی
مشخصات کتاب
Real Time Computing
ویرایش: 1 نویسندگان: C. L. Liu (auth.), Wolfgang A. Halang, Alexander D. Stoyenko (eds.) سری: NATO ASI Series 127 ISBN (شابک) : 9783642880513, 0387575588 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 774 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 43 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب محاسبه زمان واقعی: سیستم‌های مبتنی بر هدف خاص و کاربردی، سخت‌افزار کامپیوتر، مهندسی نرم‌افزار/برنامه‌نویسی و سیستم‌های عامل
در صورت تبدیل فایل کتاب Real Time Computing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبه زمان واقعی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبه زمان واقعی
بخش امور علمی و محیطی ناتو از این مؤسسه مطالعات پیشرفته حمایت مالی کرد، زیرا احساس می شد برای اولین بار این موضوع مهم و چالش برانگیز در چارچوب برنامه ASI ناتو پوشش داده می شود. اهمیت سیستم های بلادرنگ در زندگی همه به سرعت در حال رشد است. طیف گسترده ای از این سیستم ها را می توان تنها با چند مثال از افزایش پیچیدگی مشخص کرد: کنترل کننده ها در ماشین های لباسشویی، سیستم های کنترل ترافیک هوایی، سیستم های کنترل و ایمنی نیروگاه های هسته ای و در نهایت، سیستم های نظامی آینده مانند ابتکار دفاع استراتژیک (SDI). ). اهمیت چنین سیستم هایی برای رفاه مردم مستلزم تلاش های قابل توجهی در تحقیق و توسعه سیستم های بلادرنگ بسیار قابل اعتماد است. علاوه بر این، رقابت و شکوفایی کل کشورها اکنون به کاربرد اولیه و استفاده کارآمد از سیستم‌های تولید یکپارچه کامپیوتری (CIM) بستگی دارد، که سیستم‌های بلادرنگ بخش اساسی و تعیین‌کننده آن هستند. به دلیل اهمیت کلیدی آن در سیستم های دفاعی رایانه ای، محاسبات بلادرنگ نیز برای اتحاد اهمیت ویژه ای دارد. فعالیت های اولیه تحقیق و توسعه در این زمینه در دهه های 1960 و 1970 با هدف بهبود وضعیت نرم افزاری نامطلوب آن زمان انجام شد. بنابراین، اولین زبان های سطح بالا در زمان واقعی تعریف و توسعه یافتند: RTL/2، Coral 66، Procol، LTR و PEARL. در ارتباط نزدیک با این توسعه‌های زبانی و با استفاده از ابزارهای جانبی کنترل فرآیند با هدف ویژه، تحقیقات روی سیستم‌های عامل بلادرنگ پیشرفت قابل‌توجهی داشته است.
توضیحاتی درمورد کتاب به خارجی
NATO's Division of Scientific and Environmental Affairs sponsored this Advan ced Study Institute because it was felt to be timely to cover this important and challengjng subject for the first time in the framework of NATO's ASI programme. The significance of real-time systems in everyones' life is rapidly growing. The vast spectrum of these systems can be characterised by just a few examples of increasing complexity: controllers in washing machines, air traffic control systems, control and safety systems of nuclear power plants and, finally, future military systems like the Strategic Defense Initiative (SDI). The import ance of such systems for the well-being of people requires considerable efforts in research and development of highly reliable real-time systems. Furthermore, the competitiveness and prosperity of entire nations now depend on the early app lication and efficient utilisation of computer integrated manufacturing systems (CIM), of which real-time systems are an essential and decisive part. Owing to its key significance in computerised defence systems, real-time computing has also a special importance for the Alliance. The early research and development activities in this field in the 1960s and 1970s aimed towards improving the then unsatisfactory software situation. Thus, the first high-level real-time languages were defined and developed: RTL/2, Coral 66, Procol, LTR, and PEARL. In close connection with these language develop ments and with the utilisation of special purpose process control peripherals, the research on real-time operating systems advanced considerably.
فهرست مطالب
Front Matter....Pages i-xxii
Fundamentals of Real-Time Scheduling (Extended Abstract)....Pages 1-7
Algorithmic Methods for Real-Time Scheduling....Pages 9-29
Engineering Predictable Real-Time Systems....Pages 31-46
Real-Time Operating Systems: Can Theoretical Solutions Match with Practical Needs....Pages 47-63
Real-Time Operating Systems....Pages 65-82
Synchronization Techniques, Illustrated by the Concepts of the Dependable Distributed Operating System DEDOS....Pages 83-110
Communications for Real-Time Industrial Control: The Design Issues....Pages 111-130
Safety Engineering and Assurance for Real-Time Systems....Pages 131-159
Safety Licensing and Formal Correctness of High Integrity Embedded Systems....Pages 161-185
Formal Specification and Timing Analysis of High-Integrity Real-Time Systems....Pages 187-211
Predictability and Techniques for Schedulability Analysis....Pages 213-242
A Distributed, Fault-Tolerant Real-Time Language....Pages 243-260
An Overview of Real-Time Database Systems....Pages 261-282
Is Time a Real Time? An Overview of Time Ontology in Informatics....Pages 283-307
A Consensus-Based Framework for Responsive Computer System Design....Pages 309-324
Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems....Pages 325-345
Asynchronous Decentralized Realtime Computer Systems....Pages 347-371
Design of Real-Time Fault-Tolerant Computing Stations....Pages 373-400
Graphical Design of Real Time Applications....Pages 401-429
HARTS: A Distributed Real-Time Architecture....Pages 431-455
Knowledge-Based Techniques with Special Emphasis on Real-Time Expert Systems....Pages 457-470
Requirements Engineering and Design Tools for Real-Time Systems: the Protob Approach....Pages 471-486
The Role of Standards in Real-Time Systems....Pages 487-499
Design of the Local Network Administrator in the Maritime Information Technology Standard (MITS) Real-Time Network....Pages 501-502
The Reality of a Real-Time UNIX Operating System....Pages 503-507
Real Time Aspects of Manned Space Flight Avionics Computing....Pages 508-509
Issues in Object-Oriented Real-Time Language Design....Pages 510-511
Combat System Prerequisites on Supercomputer Performance Analysis....Pages 512-513
Concurrent Engineering of Real-Time Systems Through Heterogeneous Prototypes....Pages 514-514
On-Line Surveillance and Diagnostic System for Nuclear Power Plant Monitoring....Pages 515-516
A Toolset for Developing Real-Time Systems....Pages 517-518
Integration of Large Scale Systems....Pages 519-520
Architectural Design Considerations for Critical Real-Time Systems....Pages 521-521
Head Up Display. Requirements on an Avionic System....Pages 522-524
On Design and Practice of Fault-Tolerant Real-Time Computer Systems....Pages 525-526
The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm....Pages 527-529
Goal Oriented Resource Management....Pages 530-532
Experiences with Distributed Data Management in Real-Time C 3 Systems....Pages 533-535
The Impact of Real-Time on the Fault-Tolerant Distributed RDC-System....Pages 536-538
Annotation for System Engineering of Large, Complex, Real-Time Systems....Pages 539-540
Real-Time CAN Control Systems in Weaving Machines....Pages 541-542
Portability and Reusability in Real Time Systems....Pages 543-544
US Navy Next Generation Computer Resources Operating System Performance Measurement Guidelines....Pages 545-546
A Generic Systems Integration Framework for Large and Time-Critical Systems....Pages 547-562
A Dependable Distributed Software Architecture....Pages 563-564
Technology Transition: Rate Monotonic Analysis in Real-System Developments....Pages 565-567
Scheduling in Fieldbus Based Real-Time Systems....Pages 568-573
Ship System 2000....Pages 574-575
Adaptive Fault Management....Pages 576-577
Programming Language Standardization. A Case Study for Forth....Pages 578-581
Monitoring of Distributed Real-Time Systems....Pages 582-583
State-of-the-Art in Real-Time Computing Research, Development and Technology....Pages 585-585
The State-of-the-Art in Real-Time Computing....Pages 586-586
The Role of Academia, Industry and Government in Real-Time Computing....Pages 587-587
The Role of Academia, Industry and Government in Real-Time Computing....Pages 588-589
Towards Process-Oriented Technology Transfer between Academia and Industry....Pages 590-591
What Role Should Be Played by Slovenia in Real-Time Computing Research, Development and Technology....Pages 592-592
The Next Generation of Real-Time Operating Systems and Languages....Pages 593-594
Next Generation of Real-Time Operating Systems: Industrial Prospective....Pages 595-596
The United States Navy’s Next Generation Computer Resources Program and the Testing Issues of Standardized Real-Time Operating Systems....Pages 597-598
VOTRICS: A Highly Predictable Fault Tolerant System Architecture....Pages 630-631
Predictability Versus Adaptability....Pages 632-633
Predictability Versus Adaptability in Real-Time Computing Thomas....Pages 634-634
Building Systems the Old Fashioned Way....Pages 599-599
Hard, Soft, and Hybrid Computer Systems....Pages 600-600
Hard, Soft, Hybrid Real-Time Systems and Their Uses....Pages 601-603
Hard, Soft, Real-Time Systems and Their Use....Pages 604-605
The Role of Standards in Real-Time Computing....Pages 635-637
A New Specification/Design/Implementation Paradigm for Real-Time Avionics Architecture and Systems....Pages 606-607
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?....Pages 608-609
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?....Pages 610-611
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?....Pages 612-615
Object-Oriented Real-Time Computing....Pages 616-616
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?....Pages 617-618
Formal Methods for Real-Time Systems....Pages 619-620
The Role of Formal Methods and Algorithms in Real-Time Computing....Pages 621-621
Formal Methods: Yes but How ?....Pages 622-624
Formal Methods for Fault-Tolerant, Real-Time System Design....Pages 625-625
Next-Generation Real-Time Database Management and Databases....Pages 626-627
Real-Time Databases....Pages 628-629
The Role of Standards in Real-Time Computing....Pages 638-639
Tradeoffs in Real Time Protocol Standardization....Pages 640-641
Statement on a Concept for Dynamic Testing in Four Sequential Steps During Software Development....Pages 642-644
Dependability of Telecommunication Software....Pages 645-646
Using Integration Architectures for Systems Development....Pages 647-648
Software Life Cycle of Real-Time Systems....Pages 649-650
What Should We Focus on in the Next Five Years?....Pages 651-652
What Shall We Focus on in the Next Five Years?....Pages 653-655
Next Step: Responsive Multicomputer Systems....Pages 656-657
What Should Be Focussed on in the Next Five Years?....Pages 658-659
What Should We Focus on in the Next Five Years?....Pages 660-661
What Should We Focus on in the Next Five Years?....Pages 662-663
Instrumentation for Real-Time Programs in Parallel Environments....Pages 664-666
CORTO: High Availability in a Real-Time System....Pages 667-667
Multicast Protocols: Combining Real-Time and Reliability....Pages 668-669
Towards Heterogeneous Real-Time Knowledge-Based Systems....Pages 670-670
Propagating Quantitative Temporal Constraints into the Software Design: A Formal Approach for Practitioners....Pages 671-672
Scheduling Tasks and Traffic in Fieldbus Based Real-Time Systems....Pages 673-673
Real-Time: The Uncertainty Between Sensor and Process Requirements in Computer Vision....Pages 674-675
Near Real-Time Pattern Recognition in a Special Purpose Computer with Parallel Architecture....Pages 676-677
Verification and Validation in the Life-Cycle of Real-Time Software Development....Pages 678-679
Real-Time Rule Based Control of Robot Motion....Pages 680-680
Resource Management and Security in Supervisory Control Systems....Pages 681-681
The Need for a New Generation of Integrated Systems Software for Real-Time Applications....Pages 682-682
Testing by Executing Logic Specifications....Pages 683-684
Finite Time Semantics for Executable Logic Specifications....Pages 685-686
Formal Specifications for Real-Time Fault-Tolerant Systems....Pages 687-688
Real-Time Systems Theory and Practice Can We Bridge the Gap?....Pages 689-690
Real-Time Communication Networks....Pages 691-691
Usability of ATM Connections for Sensitive Real-Time Systems....Pages 692-693
Real Time Computing Requirements of the “Fieldbus”....Pages 694-697
Robust Sampling for Process Control....Pages 698-700
A Real-Time Image Processing Language?....Pages 701-701
Static Analysis: Hard Real Time is Hard, “Big Time!”....Pages 702-703
GranAda: A Distributed Real-Time Language....Pages 704-704
Real-Time Database System Design....Pages 705-706
Distributed Transport Systems and Aspects of Real Time....Pages 707-718
System Level Real Time Distributed Diagnosis....Pages 719-719
Simulation-Based Analysis for Real-Time Systems Development....Pages 720-722
Functional Versus Non-Functional Requirements Analysis....Pages 723-725
An Overview of the HOOD Software Design Method....Pages 726-734
Configuring Hard Real-Time Distributed Systems....Pages 735-735
Towards Provable Correct Real-Time Systems....Pages 736-738
Real-Time Systems in the Field of Mechatronics....Pages 739-740
Off-Line Scheduling of Hard Real-Time Distributed Systems Using Windows....Pages 741-742
Formal Methods and Algorithms for Parallel Real-Time Computing....Pages 743-743
Techniques for Complex Systems Development....Pages 744-745
Formal Methods — How to Make Them Understandable and Usable for Engineers?....Pages 747-749
Minutes of the Birds-of-a-Feather Session on “Real-Time Systems Education”....Pages 750-754
“Birds-of-a-Feather-Group” on Safety Critical Systems....Pages 755-756
What Will We Get from Real-Time Research Within the Next 50 Years (1992–2042)....Pages 757-758
Back Matter....Pages 759-766
