Real - Time systems : Formal Specification and Automatic Verification / E.-R. Olderog
Material type:
TextPublication details: USA : 2008.Description: 311 pages : hbk. 26 cmISBN: - 978-0-521-88333-7
- 005.2762 OLD
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| Books | Govt. Graduate College Gulberg, Lahore - Central Library | 005.2762 OLD (Browse shelf(Opens below)) | Available | 16045 |
Browsing Govt. Graduate College Gulberg, Lahore - Central Library shelves Close shelf browser (Hides shelf browser)
|
|
|
|
No cover image available |
|
|
||
| 005.268 WIL Visual C++ 6 unleashed / | 005.2762 BAY Web enabled commercial applications development using ... HTML, DHTML, Javascript, Perl CGI / | 005.2762 MCF Professional JavaScript / | 005.2762 OLD Real - Time systems : Formal Specification and Automatic Verification / | 005.3 MCG Tutorial Software Guide DOS and Windows : College Accounting / | 005.369 NEL The complete reference Office 2000 / | 005.4 VOL Linux Programming / |
Includes Index.
Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation.
There are no comments on this title.