default search action
NATO ASI RTC 1992: Sint Maarten, Dutch Antilles
- Wolfgang A. Halang, Alexander D. Stoyenko:
Real Time Computing, Proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5-17, 1992. NATO ASI Series 127, Springer 1994, ISBN 978-3-642-88051-3
Lectures
- C. L. Liu:
Fundamentals of Real-Time Scheduling (Extended Abstract). 1-7 - Klaus Ecker:
Algorithmic Methods for Real-Time Scheduling. 9-29 - Harold W. Lawson:
Engineering Predictable Real-Time Systems. 31-46 - Helmut Rzehak:
Real-Time Operating Systems: Can Theoretical Solutions Match with Practical Needs. 47-63 - John A. Stankovic:
Real-Time Operating Systems. 65-82 - D. K. Hammer:
Synchronization Techniques, Illustrated by the Concepts of the Dependable Distributed Operating System DEDOS. 83-110 - Michael G. Rodd:
Communications for Real-Time Industrial Control: The Design Issues. 111-130 - John Alexander McDermid:
Safety Engineering and Assurance for Real-Time Systems. 131-159 - John Cullyer:
Safety Licensing and Formal Correctness of High Integrity Embedded Systems. 161-185 - Miguel Felder, Carlo Ghezzi, Mauro Pezzè:
Formal Specification and Timing Analysis of High-Integrity Real-Time Systems. 187-211 - Alexander D. Stoyenko, Thomas J. Marlowe:
Predictability and Techniques for Schedulability Analysis. 213-242 - Günter Hommel:
A Distributed, Fault-Tolerant Real-Time Language. 243-260 - Ben Kao, Hector Garcia-Molina:
An Overview of Real-Time Database Systems. 261-282 - Fabio Alberto Schreiber:
Is Time a Real Time? An Overview of Time Ontology in Informatics. 283-307 - Miroslaw Malek:
A Consensus-Based Framework for Responsive Computer System Design. 309-324 - Giovanni Cantone:
Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems. 325-345 - E. Douglas Jensen:
Asynchronous Decentralized Realtime Computer Systems. 347-371 - K. H. Kim:
Design of Real-Time Fault-Tolerant Computing Stations. 373-400 - Jacques J. Skubich, Jean-Jacques Schwarz:
Graphical Design of Real Time Applications. 401-429 - Kang G. Shin:
HARTS: A Distributed Real-Time Architecture. 431-455 - Rudolph J. Lauber:
Knowledge-Based Techniques with Special Emphasis on Real-Time Expert Systems. 457-470 - Giorgio Bruno, Andrea Castella:
Requirements Engineering and Design Tools for Real-Time Systems: the Protob Approach. 471-486 - Hartwig U. Steusloff:
The Role of Standards in Real-Time Systems. 487-499
Experiences
- Petter Haave:
Design of the Local Network Administrator in the Maritime Information Technology Standard (MITS) Real-Time Network. 501-502 - Borko Furht:
The Reality of a Real-Time UNIX Operating System. 503-507 - Alfred Anderman:
Real Time Aspects of Manned Space Flight Avionics Computing. 508-509 - Mehmet Aksit, Jan Bosch:
Issues in Object-Oriented Real-Time Language Design. 510-511 - Robert D. Harrison Jr.:
Combat System Prerequisites on Supercomputer Performance Analysis. 512-513 - Petri Pulli:
Concurrent Engineering of Real-Time Systems Through Heterogeneous Prototypes. 514 - Özer Ciftcioglu, Erdinc Turkcan:
On-Line Surveillance and Diagnostic System for Nuclear Power Plant Monitoring. 515-516 - Constance L. Heitmeyer:
A Toolset for Developing Real-Time Systems. 517-518 - Wilhelm R. Rossak:
Integration of Large Scale Systems. 519-520 - A. Pedar:
Architectural Design Considerations for Critical Real-Time Systems. 521 - Kim Bengtsson:
Head Up Display. Requirements on an Avionic System. 522-524 - Michael Y. Chang:
On Design and Practice of Fault-Tolerant Real-Time Computer Systems. 525-526 - Andrea Bondavalli, Luca Simoncini, Cinzia Bernardeschi:
The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm. 527-529 - Christos Nikolaou:
Goal Oriented Resource Management. 530-532 - Paul J. Fortier, David V. Pitts, John C. Sieg Jr.:
Experiences with Distributed Data Management in Real-Time C3 Systems. 533-535 - Gottfried Bonn:
The Impact of Real-Time on the Fault-Tolerant Distributed RDC-System. 536-538 - Steven L. Howell:
Annotation for System Engineering of Large, Complex, Real-Time Systems. 539-540 - Lars-Berno Fredriksson:
Real-Time CAN Control Systems in Weaving Machines. 541-542 - Carl H. Burmeister:
Portability and Reusability in Real Time Systems. 543-544 - Daniel Juttelstad:
US Navy Next Generation Computer Resources Operating System Performance Measurement Guidelines. 545-546 - Wilhelm R. Rossak, Lonnie R. Welch, Tamar Zemel, Johann Eder:
A Generic Systems Integration Framework for Large and Time-Critical Systems. 547-562 - Lambert J. M. Nieuwenhuis:
A Dependable Distributed Software Architecture. 563-564 - C. Douglass Locke:
Technology Transition: Rate Monotonic Analysis in Real-System Developments. 565-567 - Carlos B. Cardeira, Zoubir Mammeri, Jean-Pierre Thomesse:
Scheduling in Fieldbus Based Real-Time Systems. 568-573 - Ulf Olsson:
Ship System 2000. 574-575 - Thomas F. Lawrence:
Adaptive Fault Management. 576-577 - V. Vande Keere, Jan Vandewege:
Programming Language Standardization. A Case Study for Forth. 578-581 - Ulrich Schmid:
Monitoring of Distributed Real-Time Systems. 582-583
Panels
Contributions to Panel I: What is the State-of-the-Art in Real-Time Computing Research, Development and Technology?
- John Cullyer:
State-of-the-Art in Real-Time Computing Research, Development and Technology. 585 - Lonnie R. Welch:
The State-of-the-Art in Real-Time Computing. 586
Contributions to Panel II: The Role of Academia, Industry and Government in Real-Time Computing
- Leo Budin:
The Role of Academia, Industry and Government in Real-Time Computing. 587 - Günter Hommel:
The Role of Academia, Industry and Government in Real-Time Computing. 588-589 - Petri J. Pulli:
Towards Process-Oriented Technology Transfer between Academia and Industry. 590-591 - Matjaz Colnaric:
What Role Should Be Played by Slovenia in Real-Time Computing Research, Development and Technology. 592
Contributions to Panel III: The Next Generation of Real-Time Operating Systems and Languages
- Phillip A. Laplante:
The Next Generation of Real-Time Operating Systems and Languages. 593-594 - Borko Furht:
Next Generation of Real-Time Operating Systems: Industrial Prospective. 595-596 - Timothy Jodoin:
The United States Navy's Next Generation Computer Resources Program and the Testing Issues of Standardized Real-Time Operating Systems. 597-598
Contributions to Panel IV: Hard, Soft, Hybrid Real-Time Systems and Their Uses
- Andrew Bernat:
Building Systems the Old Fashioned Way. 599 - Raymond K. Clark:
Hard, Soft, and Hybrid Computer Systems. 600 - Werner Kriechbaum:
Hard, Soft, Hybrid Real-Time Systems and Their Uses. 601-603 - Helmut Rzehak:
Hard, Soft, Real-Time Systems and Their Use. 604-605
Contributions to Panel V: What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?
- Alfred Anderman:
A New Specification/Design/Implementation Paradigm for Real-Time Avionics Architecture and Systems. 606-607 - Constance L. Heitmeyer:
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? 608-609 - Harold W. Lawson:
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? 610-611 - John Alexander McDermid:
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? 612-615 - Michael L. Nelson:
Object-Oriented Real-Time Computing. 616 - Luca Simoncini:
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? 617-618
Contributions to Panel VI: The Role of Formal Methods and Algorithms in Real-Time Computing
- Leonor Barroca, John A. McDermid:
Formal Methods for Real-Time Systems. 619-620 - Fabio Alberto Schreiber:
The Role of Formal Methods and Algorithms in Real-Time Computing. 621 - Janusz Zalewski:
Formal Methods: Yes but How ? 622-624 - Jack Goldberg:
Formal Methods for Fault-Tolerant, Real-Time System Design. 625
Contributions to Panel VII: Next-Generation in Real-Time Data-Management Systems and Databases
- Paul J. Fortier:
Next-Generation Real-Time Database Management and Databases. 626-627 - John A. Stankovic:
Real-Time Databases. 628-629
Contributions to Panel VIII: Predictability versus Adaptability in Real-Time Computing
- Bernhard Appel:
VOTRICS: A Highly Predictable Fault Tolerant System Architecture. 630-631 - Steven L. Howell:
Predictability Versus Adaptability. 632-633 - Thomas F. Lawrence:
Predictability Versus Adaptability in Real-Time Computing Thomas. 634
Contributions to Panel IX: The Role of Standards in Real-Time Computing
- C. Douglass Locke:
The Role of Standards in Real-Time Computing. 635-637 - Ulrich Schmid:
The Role of Standards in Real-Time Computing. 638-639 - Carlos Sêrro:
Tradeoffs in Real Time Protocol Standardization. 640-641
Contributions to Panel X: Life Cycle of Real-Time Software Development
- Rudolf Lauber:
Statement on a Concept for Dynamic Testing in Four Sequential Steps During Software Development. 642-644 - Lambert J. M. Nieuwenhuis:
Dependability of Telecommunication Software. 645-646 - Wilhelm R. Rossak:
Using Integration Architectures for Systems Development. 647-648 - Theodor Tempelmeier:
Software Life Cycle of Real-Time Systems. 649-650
Contributions to Panel XI: What Should We Focus on in the Next Five Years?
- Giovanni Cantone:
What Should We Focus on in the Next Five Years? 651-652 - Lars-Berno Fredriksson:
What Shall We Focus on in the Next Five Years? 653-655 - Miroslaw Malek:
Next Step: Responsive Multicomputer Systems. 656-657 - Michael G. Rodd:
What Should Be Focussed on in the Next Five Years? 658-659 - Jacques J. Skubich:
What Should We Focus on in the Next Five Years? 660-661 - Alexander D. Stoyenko:
What Should We Focus on in the Next Five Years? 662-663 - Aldo Esposito:
Instrumentation for Real-Time Programs in Parallel Environments. 664-666
Posters
Contributions to Panel XI: What Should We Focus on in the Next Five Years?
- Carlos Almeida, Keith Marzullo:
CORTO: High Availability in a Real-Time System. 667 - Dick Alstein:
Multicast Protocols: Combining Real-Time and Reliability. 668-669 - Vladimir Bacvanski:
Towards Heterogeneous Real-Time Knowledge-Based Systems. 670 - Reinhold Bareiß:
Propagating Quantitative Temporal Constraints into the Software Design: A Formal Approach for Practitioners. 671-672 - Carlos B. Cardeira, Zoubir Mammeri, François Simonot, Jean-Pierre Thomesse:
Scheduling Tasks and Traffic in Fieldbus Based Real-Time Systems. 673 - Matthias F. Carlsohn:
Real-Time: The Uncertainty Between Sensor and Process Requirements in Computer Vision. 674-675 - Matthias F. Carlsohn:
Near Real-Time Pattern Recognition in a Special Purpose Computer with Parallel Architecture. 676-677 - Özer Ciftcioglu:
Verification and Validation in the Life-Cycle of Real-Time Software Development. 678-679 - M. Kemal Ciliz:
Real-Time Rule Based Control of Robot Motion. 680 - Raymond K. Clark:
Resource Management and Security in Supervisory Control Systems. 681 - Sadegh Davari, Charles McKay:
The Need for a New Generation of Integrated Systems Software for Real-Time Applications. 682 - Miguel Felder, Pierluigi San Pietro:
Testing by Executing Logic Specifications. 683-684 - Miguel Felder, Pierluigi San Pietro:
Finite Time Semantics for Executable Logic Specifications. 685-686 - E. B. Fernandez:
Formal Specifications for Real-Time Fault-Tolerant Systems. 687-688 - Borko Furht:
Real-Time Systems Theory and Practice Can We Bridge the Gap? 689-690 - Damas P. Gruska:
Real-Time Communication Networks. 691 - Karl Jonas:
Usability of ATM Connections for Sensitive Real-Time Systems. 692-693 - Cemil Keles, Erdogan Narli:
Real Time Computing Requirements of the "Fieldbus". 694-697 - Marten D. van der Laan:
Robust Sampling for Process Control. 698-700 - Phillip A. Laplante:
A Real-Time Image Processing Language? 701 - Stephen P. Masticola, Thomas J. Marlowe:
Static Analysis: Hard Real Time is Hard, "Big Time!". 702-703 - Peter M. Müller:
GranAda: A Distributed Real-Time Language. 704 - Hidenori Nakazato:
Real-Time Database System Design. 705-706 - Klaus Rebensburg:
Distributed Transport Systems and Aspects of Real Time. 707-718 - Carlos Sêrro:
System Level Real Time Distributed Diagnosis. 719 - Frederick T. Sheldon, Seung-Min Yang, Trina L. Bornejko:
Simulation-Based Analysis for Real-Time Systems Development. 720-722 - Marco Spuri:
Functional Versus Non-Functional Requirements Analysis. 723-725 - Theodor Tempelmeier:
An Overview of the HOOD Software Design Method. 726-734 - Ken Tindell:
Configuring Hard Real-Time Distributed Systems. 735 - Ronald M. Tol:
Towards Provable Correct Real-Time Systems. 736-738 - Martin Törngren, Jan Wikander:
Real-Time Systems in the Field of Mechatronics. 739-740 - Jack Verhoosel:
Off-Line Scheduling of Hard Real-Time Distributed Systems Using Windows. 741-742 - Lonnie R. Welch:
Formal Methods and Algorithms for Parallel Real-Time Computing. 743 - Lonnie R. Welch:
Techniques for Complex Systems Development. 744-745
Birds-of-a-Feather Sessions
- Reinhold Bareiß:
Formal Methods - How to Make Them Understandable and Usable for Engineers? 747-749