Formal methods for real-time computing
著者
書誌事項
Formal methods for real-time computing
(Trends in software, 5)
John Wiley, c1996
大学図書館所蔵 件 / 全14件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
Developers of safety-critical systems and software lack methods for developing high quality real-time systems. The impact that these systems have on the quality and safety of human lives (for example in air traffic control systems and such like) give rise to a demand for rigorous approaches such as formal methods. Focusing on formal methods this book offers a complete coverage of new developments with emphasis on practical application. Starting with a survey of formal methods for real-time systems, topics include programme specification, formal methods, analyzing and design of real-time systems. The book is useful reading for developers of safety critical systems and researchers in the field.
目次
- Formal methods for specifying and analyzing real-time systems - a survey
- specification and analysis of real-time systems - modechart language and toolset
- automata-theoretic verification of real-time systems
- formal verification of real-time systems using automata
- refining system requirements to programme specifications
- a petri net and logic approach to the specification and analysis of RT systems
- a process algebraic approach and methodology to the specification and analysis of resource-bound real-time systems
- constraint-oriented specification for time-dependent behaviours
- analysis of real-time systems using symbolic techniques
- end-to-end design of real-time systems.
「Nielsen BookData」 より