Verification Of Distributed Real Time Systems Using Discrete Event Simulation

Download Verification Of Distributed Real Time Systems Using Discrete Event Simulation full books in PDF, epub, and Kindle. Read online Verification Of Distributed Real Time Systems Using Discrete Event Simulation ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Discrete-Event Modeling and Simulation

Author : Gabriel A. Wainer
Publisher : CRC Press
ISBN 13 : 1351834622
Total Pages : 431 pages
Book Rating : 4.3/5 (518 download)

DOWNLOAD NOW!

Book Synopsis Discrete-Event Modeling and Simulation by : Gabriel A. Wainer

Download or read book Discrete-Event Modeling and Simulation written by Gabriel A. Wainer and published by CRC Press. This book was released on 2018-09-03 with total page 431 pages. Available in PDF, EPUB and Kindle. Book excerpt: Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications. The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.

Modeling and Simulation of Discrete Event Systems

Author : Byoung Kyu Choi
Publisher : John Wiley & Sons
ISBN 13 : 1118732855
Total Pages : 427 pages
Book Rating : 4.1/5 (187 download)

DOWNLOAD NOW!

Book Synopsis Modeling and Simulation of Discrete Event Systems by : Byoung Kyu Choi

Download or read book Modeling and Simulation of Discrete Event Systems written by Byoung Kyu Choi and published by John Wiley & Sons. This book was released on 2013-08-07 with total page 427 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computer modeling and simulation (M&S) allows engineers to study and analyze complex systems. Discrete-event system (DES)-M&S is used in modern management, industrial engineering, computer science, and the military. As computer speeds and memory capacity increase, so DES-M&S tools become more powerful and more widely used in solving real-life problems. Based on over 20 years of evolution within a classroom environment, as well as on decades-long experience in developing simulation-based solutions for high-tech industries, Modeling and Simulation of Discrete-Event Systems is the only book on DES-M&S in which all the major DES modeling formalisms – activity-based, process-oriented, state-based, and event-based – are covered in a unified manner: A well-defined procedure for building a formal model in the form of event graph, ACD, or state graph Diverse types of modeling templates and examples that can be used as building blocks for a complex, real-life model A systematic, easy-to-follow procedure combined with sample C# codes for developing simulators in various modeling formalisms Simple tutorials as well as sample model files for using popular off-the-shelf simulators such as SIGMA®, ACE®, and Arena® Up-to-date research results as well as research issues and directions in DES-M&S Modeling and Simulation of Discrete-Event Systems is an ideal textbook for undergraduate and graduate students of simulation/industrial engineering and computer science, as well as for simulation practitioners and researchers.

The Testability of Distributed Real-Time Systems

Author : Werner Schütz
Publisher : Springer Science & Business Media
ISBN 13 : 0585302618
Total Pages : 154 pages
Book Rating : 4.5/5 (853 download)

DOWNLOAD NOW!

Book Synopsis The Testability of Distributed Real-Time Systems by : Werner Schütz

Download or read book The Testability of Distributed Real-Time Systems written by Werner Schütz and published by Springer Science & Business Media. This book was released on 2007-07-23 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: BY H. KOPETZ A real-time computer system must provide the intended service in two di mensions: the functional (value) dimension and the temporal dimension. The verification of a real-time system implementation is thus necessarily more com plex than the verification of a non-real-time system which has to be checked in the value dimension only. Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of dependable real-time systems. At present, up to and more than fifty percent of the development eff'ort of complex real-time computer systems is spent on testing. The test activities are thus a significant cost element in any real-time system project. The attack on this cost element has to proceed from two fronts: the design for testability and the development of a systematic test methodology supported by an appropriate tool set. This book covers both of these topics.

Discrete-Event Modeling and Simulation

Author : Gabriel A. Wainer
Publisher : CRC Press
ISBN 13 : 142007234X
Total Pages : 520 pages
Book Rating : 4.4/5 (2 download)

DOWNLOAD NOW!

Book Synopsis Discrete-Event Modeling and Simulation by : Gabriel A. Wainer

Download or read book Discrete-Event Modeling and Simulation written by Gabriel A. Wainer and published by CRC Press. This book was released on 2018-09-03 with total page 520 pages. Available in PDF, EPUB and Kindle. Book excerpt: Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications. The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.

Real-Time Simulation Technologies: Principles, Methodologies, and Applications

Author : Katalin Popovici
Publisher : CRC Press
ISBN 13 : 1351833391
Total Pages : 663 pages
Book Rating : 4.3/5 (518 download)

DOWNLOAD NOW!

Book Synopsis Real-Time Simulation Technologies: Principles, Methodologies, and Applications by : Katalin Popovici

Download or read book Real-Time Simulation Technologies: Principles, Methodologies, and Applications written by Katalin Popovici and published by CRC Press. This book was released on 2017-12-19 with total page 663 pages. Available in PDF, EPUB and Kindle. Book excerpt: Real-Time Simulation Technologies: Principles, Methodologies, and Applications is an edited compilation of work that explores fundamental concepts and basic techniques of real-time simulation for complex and diverse systems across a broad spectrum. Useful for both new entrants and experienced experts in the field, this book integrates coverage of detailed theory, acclaimed methodological approaches, entrenched technologies, and high-value applications of real-time simulation—all from the unique perspectives of renowned international contributors. Because it offers an accurate and otherwise unattainable assessment of how a system will behave over a particular time frame, real-time simulation is increasingly critical to the optimization of dynamic processes and adaptive systems in a variety of enterprises. These range in scope from the maintenance of the national power grid, to space exploration, to the development of virtual reality programs and cyber-physical systems. This book outlines how, for these and other undertakings, engineers must assimilate real-time data with computational tools for rapid decision making under uncertainty. Clarifying the central concepts behind real-time simulation tools and techniques, this one-of-a-kind resource: Discusses the state of the art, important challenges, and high-impact developments in simulation technologies Provides a basis for the study of real-time simulation as a fundamental and foundational technology Helps readers develop and refine principles that are applicable across a wide variety of application domains As science moves toward more advanced technologies, unconventional design approaches, and unproven regions of the design space, simulation tools are increasingly critical to successful design and operation of technical systems in a growing number of application domains. This must-have resource presents detailed coverage of real-time simulation for system design, parallel and distributed simulations, industry tools, and a large set of applications.

Stochastic Model Checking

Author : Anne Remke
Publisher : Springer
ISBN 13 : 3662454890
Total Pages : 290 pages
Book Rating : 4.6/5 (624 download)

DOWNLOAD NOW!

Book Synopsis Stochastic Model Checking by : Anne Remke

Download or read book Stochastic Model Checking written by Anne Remke and published by Springer. This book was released on 2014-11-03 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds of reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree areas of stochastic models, abstraction techniques and stochastic model checking.

Real-time Systems

Author : Aurel Cornell
Publisher : World Scientific
ISBN 13 : 9812708472
Total Pages : 503 pages
Book Rating : 4.8/5 (127 download)

DOWNLOAD NOW!

Book Synopsis Real-time Systems by : Aurel Cornell

Download or read book Real-time Systems written by Aurel Cornell and published by World Scientific. This book was released on 2007 with total page 503 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each part is devoted to a mainstream subject, the chapters therein developing one of the major aspects of real-time system theory, modeling, design, and practical applications. Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general systemic theory of those systems, the book covers everything from building modeling frameworks for various types of real-time systems, to verification, and synthesis. Other parts of the book deal with subjects related to tools and applications of these systems. A special part is dedicated to languages used for their modeling and design. The applications presented in the book reveal precious insights into practitionersOCO secrets."

Scientific and Technical Aerospace Reports

Author :
Publisher :
ISBN 13 :
Total Pages : 704 pages
Book Rating : 4.:/5 (31 download)

DOWNLOAD NOW!

Book Synopsis Scientific and Technical Aerospace Reports by :

Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1995 with total page 704 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Complexity Challenges in Cyber Physical Systems

Author : Saurabh Mittal
Publisher : John Wiley & Sons
ISBN 13 : 1119552397
Total Pages : 432 pages
Book Rating : 4.1/5 (195 download)

DOWNLOAD NOW!

Book Synopsis Complexity Challenges in Cyber Physical Systems by : Saurabh Mittal

Download or read book Complexity Challenges in Cyber Physical Systems written by Saurabh Mittal and published by John Wiley & Sons. This book was released on 2019-12-24 with total page 432 pages. Available in PDF, EPUB and Kindle. Book excerpt: Offers a one-stop reference on the application of advanced modeling and simulation (M&S) in cyber physical systems (CPS) engineering This book provides the state-of-the-art in methods and technologies that aim to elaborate on the modeling and simulation support to cyber physical systems (CPS) engineering across many sectors such as healthcare, smart grid, or smart home. It presents a compilation of simulation-based methods, technologies, and approaches that encourage the reader to incorporate simulation technologies in their CPS engineering endeavors, supporting management of complexity challenges in such endeavors. Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy is laid out in four sections. The first section provides an overview of complexities associated with the application of M&S to CPS Engineering. It discusses M&S in the context of autonomous systems involvement within the North Atlantic Treaty Organization (NATO). The second section provides a more detailed description of the challenges in applying modeling to the operation, risk and design of holistic CPS. The third section delves in details of simulation support to CPS engineering followed by the engineering practices to incorporate the cyber element to build resilient CPS sociotechnical systems. Finally, the fourth section presents a research agenda for handling complexity in application of M&S for CPS engineering. In addition, this text: Introduces a unifying framework for hierarchical co-simulations of cyber physical systems (CPS) Provides understanding of the cycle of macro-level behavior dynamically arising from spaciotemporal interactions between parts at the micro-level Describes a simulation platform for characterizing resilience of CPS Complexity Challenges in Cyber Physical Systems has been written for researchers, practitioners, lecturers, and graduate students in computer engineering who want to learn all about M&S support to addressing complexity in CPS and its applications in today’s and tomorrow’s world.

Formal Modeling and Analysis of Timed Systems

Author : Franck Cassez
Publisher : Springer
ISBN 13 : 3540857788
Total Pages : 305 pages
Book Rating : 4.5/5 (48 download)

DOWNLOAD NOW!

Book Synopsis Formal Modeling and Analysis of Timed Systems by : Franck Cassez

Download or read book Formal Modeling and Analysis of Timed Systems written by Franck Cassez and published by Springer. This book was released on 2008-08-30 with total page 305 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.

Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

Author : Jens B. Schmitt
Publisher : Springer
ISBN 13 : 3642285406
Total Pages : 343 pages
Book Rating : 4.6/5 (422 download)

DOWNLOAD NOW!

Book Synopsis Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance by : Jens B. Schmitt

Download or read book Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance written by Jens B. Schmitt and published by Springer. This book was released on 2012-03-08 with total page 343 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in March 2012. The 16 revised full papers presented together with 5 tool papers and 5 selected workshop papers were carefully reviewed and selected from 54 submissions. MMB & DFT 2012 covers diverse aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.

Electronic Design Automation for IC System Design, Verification, and Testing

Author : Luciano Lavagno
Publisher : CRC Press
ISBN 13 : 1351830996
Total Pages : 773 pages
Book Rating : 4.3/5 (518 download)

DOWNLOAD NOW!

Book Synopsis Electronic Design Automation for IC System Design, Verification, and Testing by : Luciano Lavagno

Download or read book Electronic Design Automation for IC System Design, Verification, and Testing written by Luciano Lavagno and published by CRC Press. This book was released on 2017-12-19 with total page 773 pages. Available in PDF, EPUB and Kindle. Book excerpt: The first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second Edition, Electronic Design Automation for IC System Design, Verification, and Testing thoroughly examines system-level design, microarchitectural design, logic verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for integrated circuit (IC) designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. New to This Edition: Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non-recurring engineering (NRE) costs Significant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithography New coverage of cutting-edge applications and approaches realized in the decade since publication of the previous edition—these are illustrated by new chapters on high-level synthesis, system-on-chip (SoC) block-based design, and back-annotating system-level models Offering improved depth and modernity, Electronic Design Automation for IC System Design, Verification, and Testing provides a valuable, state-of-the-art reference for electronic design automation (EDA) students, researchers, and professionals.

Protocol Specification, Testing and Verification, XII

Author : R.J. Linn
Publisher : Elsevier
ISBN 13 : 1483293343
Total Pages : 434 pages
Book Rating : 4.4/5 (832 download)

DOWNLOAD NOW!

Book Synopsis Protocol Specification, Testing and Verification, XII by : R.J. Linn

Download or read book Protocol Specification, Testing and Verification, XII written by R.J. Linn and published by Elsevier. This book was released on 2016-09-20 with total page 434 pages. Available in PDF, EPUB and Kindle. Book excerpt: For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework and the difficulties encountered in applying theoretical methods to practical situations. Issues discussed include: testing and certification; verification; validation; environments and automated tools; formal specifications; protocol conversion; implementation; specification languages and models. Consideration is also given to the concerns surrounding education available to students and the need to upgrade and develop this through sponsorship of a study of an appropriate curriculum at both undergraduate and graduate levels. It is hoped this publication will stimulate such support and inspire further research in this important arena.

Software Technologies

Author : Marten van Sinderen
Publisher : Springer Nature
ISBN 13 : 3030830071
Total Pages : 263 pages
Book Rating : 4.0/5 (38 download)

DOWNLOAD NOW!

Book Synopsis Software Technologies by : Marten van Sinderen

Download or read book Software Technologies written by Marten van Sinderen and published by Springer Nature. This book was released on 2021-07-20 with total page 263 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others.

The Profession of Modeling and Simulation

Author : Andreas Tolk
Publisher : John Wiley & Sons
ISBN 13 : 1119288223
Total Pages : 306 pages
Book Rating : 4.1/5 (192 download)

DOWNLOAD NOW!

Book Synopsis The Profession of Modeling and Simulation by : Andreas Tolk

Download or read book The Profession of Modeling and Simulation written by Andreas Tolk and published by John Wiley & Sons. This book was released on 2017-06-29 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: The definite guide to the theory, knowledge, technical expertise, and ethical considerations that define the M&S profession From traffic control to disaster management, supply chain analysis to military logistics, healthcare management to new drug discovery, modeling and simulation (M&S) has become an essential tool for solving countless real-world problems. M&S professionals are now indispensable to how things get done across virtually every aspect of modern life. This makes it all the more surprising that, until now, no effort has been made to systematically codify the core theory, knowledge, and technical expertise needed to succeed as an M&S professional. This book brings together contributions from experts at the leading edge of the modeling and simulation profession, worldwide, who share their priceless insights into issues which are fundamental to professional success and career development in this critically important field. Running as a common thread throughout the book is an emphasis on several key aspects of the profession, including the essential body of knowledge underlying the M&S profession; the technical discipline of M&S; the ethical standards that should guide professional conduct; and the economic and commercial challenges today’s M&S professionals face. • Demonstrates applications of M&S tools and techniques in a variety of fields—such as engineering, operations research, and cyber environments—with over 500 types of simulations • Highlights professional and academic aspects of the field, including preferred programming languages, professional academic and certification programs, and key international societies • Shows why M&S professionals must be fully versed in the theory, concepts, and tools needed to address the challenges of cyber environments The Profession of Modeling and Simulation is a valuable resource for M&S practitioners, developers, and researchers working in industry and government. Simulation professionals, including administrators, managers, technologists, faculty members, and scholars within the physical sciences, life sciences, and engineering fields will find it highly useful, as will students planning to pursue a career in the M&S profession. “ ...nearly three dozen experts in Modeling and Simulation (M&S) come together to make a compelling case for the recognition of M&S as a profession... Important reading for anyone seeking to elevate the standing of this vital field.” Alfred (Al) Grasso, President & CEO, The MITRE Corporation Andreas Tolk, PhD, is Technology Integrator for the Modeling, Simulation, Experimentation, and Analytics Division of The MITRE Corporation, an adjunct professor in the Department of Engineering Management and Systems Engineering and the Department for Modeling, Simulation, and Visualization Engineering at Old Dominion University, and an SCS fellow. Tuncer Ören, PhD, is Professor Emeritus of Computer Science at the University of Ottawa. He is an SCS fellow and an inductee to SCS Modeling and Simulation Hall of Fame. His research interests include advancing methodologies, ethics, body of knowledge, and terminology of modeling and simulation.

EDA for IC System Design, Verification, and Testing

Author : Louis Scheffer
Publisher : CRC Press
ISBN 13 : 1351837591
Total Pages : 593 pages
Book Rating : 4.3/5 (518 download)

DOWNLOAD NOW!

Book Synopsis EDA for IC System Design, Verification, and Testing by : Louis Scheffer

Download or read book EDA for IC System Design, Verification, and Testing written by Louis Scheffer and published by CRC Press. This book was released on 2018-10-03 with total page 593 pages. Available in PDF, EPUB and Kindle. Book excerpt: Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Automation for Integrated Circuits Handbook is available in two volumes. The first volume, EDA for IC System Design, Verification, and Testing, thoroughly examines system-level design, microarchitectural design, logical verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for IC designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. Save on the complete set.

Real Time Computing

Author : Alexander D. Stoyenko
Publisher : Springer Science & Business Media
ISBN 13 : 3642880495
Total Pages : 774 pages
Book Rating : 4.6/5 (428 download)

DOWNLOAD NOW!

Book Synopsis Real Time Computing by : Alexander D. Stoyenko

Download or read book Real Time Computing written by Alexander D. Stoyenko and published by Springer Science & Business Media. This book was released on 2013-12-14 with total page 774 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.