Author : Paul T. Ward
Publisher : Pearson Education
Page : 329 pages
File Size : 21,52 MB
Release : 1986-06-04
Category : Computers
ISBN : 0768685214
In the first two volumes of Structured Development for Real Time Systems, authors Paul Ward and Stephen Mellor described a comprehensive modeling notation and a set of guidelines for using the notation to build an essential model. In this final volume, the guidelines are extended to encompass the building of an implementation model, and the notation is extended to include a hierarchical description of code organization.
Author : Paul T. Ward
Publisher : Pearson Education
Page : 286 pages
File Size : 45,48 MB
Release : 1986-06-04
Category : Computers
ISBN : 0768685176
Real-time and embedded systems are in widespread use in the modern world. From the microprocessor controller in a camera, through "smart" traffic lights and production control systems, to large defense systems, computer technology is increasingly a part of systems that control and respond to their environments in real-time. As the technology has improved, we have come to rely on these systems more and more --- we have even put our lives in their hands. Airplanes, biomedical accelerators, nuclear power plants, and the like all depend on real-time control to operate safely. A failure in a control system, such as not responding correctly to faults in the environment, could endanger many lives. Unfortunately, there is a tendency for developers to focuse too heavily on the intrcacies of the engineering and computer technology, to the detriment of understanding the real-world problem at hand. At best, this wastes time and resouces and at worst it is dangerous in light of the life-critical nature of today's systems. This misplaced focus can result at least partly from the lack of a comprehensive set of modeling tools and techniques fitted to the real-time development environment. This book provides the tools and techniques needed for visualizing and verifying the operation of a real-time system prior to construction, and demonstrates their usefulness.
Author : Paul T. Ward
Publisher : Pearson Education
Page : 185 pages
File Size : 17,23 MB
Release : 1986-06-04
Category : Computers
ISBN : 0768685184
Without a framework for organizing and codifying these ideas, systems modeling can become disjointed, frustrating, and ultimately ineffective. This book is extensively illustrated with detailed examples illuminating the main points discussed. Its four appendices provide fully worked examples of pertinent applications.
Author : Mathai Joseph
Publisher : Springer Science & Business Media
Page : 244 pages
File Size : 46,18 MB
Release : 1988-09-14
Category : Computers
ISBN : 9783540503026
This book is based on material from current research projects and cooperations and from a recent workshop in the area of Knowledge Base Management Systems. It contains 25 revised papers and related discussions that concentrate on the integration of Database Technology (deductive databases, extended relational technology, object-oriented systems) and Artificial Intelligence (in particular logic programming and knowledge representation). The emphasis of the book is on the integration of DB/AI technology required for knowledge Base Management Systems. The book isolates major conceptual contributions, systems extensions, and reseach directions that lead towards that goal. This book is a European counterpart to another volume in the Topics in Information Systems Series, 'On Knowledge Base Management Systems', resulting from a North American workshop and edited by M. Brodie and J. Mylopoulos, which concentrates on theoretical results and the more abstract levels of Knowledge Base Management.
Author : Aurel Cornell
Publisher : World Scientific
Page : 503 pages
File Size : 45,10 MB
Release : 2007
Category : Computers
ISBN : 9812708472
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."
Author : J. E. Cooling
Publisher : Springer
Page : 521 pages
File Size : 39,77 MB
Release : 2013-11-11
Category : Computers
ISBN : 1489929576
WHAT IS THIS BOOKABOUT7 In recent times real-time computer systems have become increasingly complex and sophisticated. It has now become apparent that, to implement such schemes effectively, professional, rigorous software methods must be used. This includes analysis, design and implementation. Unfortunately few textbooks cover this area well. Frequently they are hardware oriented with limited coverage of software, or software texts which ignore the issues of real-time systems. This book aims to fill that gap by describing the total software design and is given development process for real-time systems. Further, special emphasis of microprocessor-based real-time embedded systems. to the needs WHAT ARE REAL-TIME COMPUTER SYSTEMS? Real-time systems are those which must produce correct responses within a definite time limit. Should computer responses exceed these time bounds then performance degradation and/or malfunction results. WHAT ARE REAL-TIME EMBEDDED COMPUTER SYSTEMS? Here the computer is merely one functional element within a real-time system; it is not a computing machine in its own right. WHO SHOULD READ THIS BOOK? Those involved, or who intend to get involved, in the design of software for real-time systems. It is written with both software and hardware engineers in mind, being suitable for students and professional engineers.
Author : Katalin Popovici
Publisher : CRC Press
Page : 663 pages
File Size : 42,53 MB
Release : 2017-12-19
Category : Technology & Engineering
ISBN : 1351833391
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.
Author : Rob Williams
Publisher : Elsevier
Page : 468 pages
File Size : 35,48 MB
Release : 2005-10-28
Category : Computers
ISBN : 0080456405
Real-Time Systems Development introduces computing students and professional programmers to the development of software for real-time applications. Based on the academic and commercial experience of the author, the book is an ideal companion to final year undergraduate options or MSc modules in the area of real-time systems design and implementation. Assuming a certain level of general systems design and programming experience, this text will extend students' knowledge and skills into an area of computing which has increasing relevance in a modern world of telecommunications and 'intelligent' equipment using embedded microcontrollers. This book takes a broad, practical approach in discussing real-time systems. It covers topics such as basic input and output; cyclic executives for bare hardware; finite state machines; task communication and synchronization; input/output interfaces; structured design for real-time systems; designing for multitasking; UML for real-time systems; object oriented approach to real-time systems; selecting languages for RTS development; Linux device drivers; and hardware/software co-design. Programming examples using GNU/Linux are included, along with a supporting website containing slides; solutions to problems; and software examples. This book will appeal to advanced undergraduate Computer Science students; MSc students; and, undergraduate software engineering and electronic engineering students. * Concise treatment delivers material in manageable sections* Includes handy glossary, references and practical exercises based on familiar scenarios* Supporting website contains slides, solutions to problems and software examples
Author : Jan Vytopil
Publisher : Springer Science & Business Media
Page : 213 pages
File Size : 38,35 MB
Release : 2012-12-06
Category : Computers
ISBN : 1461532205
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term `fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-tolerance is achieved by adding extra hardware and/or software which corrects the effects of faults. In this sense, a system can be called fault-tolerant if it can be proved that the resulting (extended) system under some model of reliability meets the reliability requirements. The main theme of Formal Techniques in Real-Time and Fault-Tolerant Systems can be formulated as follows: how do the specification, development and verification of conventional and fault-tolerant systems differ? How do the notations, methodology and tools used in design and development of fault-tolerant and conventional systems differ? Formal Techniques in Real-Time and Fault-Tolerant Systems is divided into two parts. The chapters in Part One set the stage for what follows by defining the basic notions and practices of the field of design and specification of fault-tolerant systems. The chapters in Part Two represent the `how-to' section, containing examples of the use of formal methods in specification and development of fault-tolerant systems. The book serves as an excellent reference for researchers in both academia and industry, and may be used as a text for advanced courses on the subject.
Author : Werner Schütz
Publisher : Springer Science & Business Media
Page : 154 pages
File Size : 12,41 MB
Release : 2007-07-23
Category : Computers
ISBN : 0585302618
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.
