Operational Semantics for Timed Systems [electronic resource] :A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Heinrich Rust.
by Rust, Heinrich [author.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 3456Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2005.Description: XII, 223 p. Also available online. online resource.ISBN: 9783540320081.Subject(s): Computer science | Software engineering | Operating systems (Computers) | Computer Science | Software Engineering | Computation by Abstract Devices | Programming Languages, Compilers, Interpreters | Operating Systems | Mathematical Logic and Formal LanguagesDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooksSummary: This monograph is dedicated to a novel approach for uniform modeling of timed and hybrid systems. The author introduces a time model that allows for both the description of discrete time steps and continuous processes with a discrete time model with infinitesimal step widths. The underlying mathematical structure of this time model is based on the concepts of non-standard analysis. The discrete modeling, i.e., the description of sequential discrete algorithms at different abstraction levels, is done using the abstract state machines formalism. The presentation is well balanced between theoretical elaboration and critical discussion of the applicability of the theoretical results by means of appropriate case studies. The new temporal semantics proposed helps theoreticians as well as practitioners in gaining a better understanding of time models and in building better notations, models, and tools for the formal treatment of systems where time matters.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.758 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA76.758 Computer Safety, Reliability, and Security | QA76.758 Coordination Models and Languages | QA76.758 ZB 2005: Formal Specification and Development in Z and B | QA76.758 Operational Semantics for Timed Systems | QA76.758 Dependable Computing - EDCC 5 | QA76.758 Formal Methods for Mobile Computing | QA76.758 Model-Based Testing of Reactive Systems |
This monograph is dedicated to a novel approach for uniform modeling of timed and hybrid systems. The author introduces a time model that allows for both the description of discrete time steps and continuous processes with a discrete time model with infinitesimal step widths. The underlying mathematical structure of this time model is based on the concepts of non-standard analysis. The discrete modeling, i.e., the description of sequential discrete algorithms at different abstraction levels, is done using the abstract state machines formalism. The presentation is well balanced between theoretical elaboration and critical discussion of the applicability of the theoretical results by means of appropriate case studies. The new temporal semantics proposed helps theoreticians as well as practitioners in gaining a better understanding of time models and in building better notations, models, and tools for the formal treatment of systems where time matters.
There are no comments for this item.