NLU Meghalaya Library

Online Public Access Catalogue (OPAC)

Amazon cover image
Image from Amazon.com

Communicating embedded systems : software and design : formal methods / edited by Claude Hard, Olivier H. Roux.

Contributor(s): Material type: TextLanguage: English Original language: French Series: ISTEPublication details: London : ISTE, Ltd. ; Hoboken : Wiley, 2010.Description: 1 online resource (275 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9781118558188
  • 1118558189
  • 9781118600122
  • 1118600126
  • 9781118600092
  • 1118600096
  • 1848211430
  • 9781848211438
  • 1299187455
  • 9781299187450
Uniform titles:
  • Approches formelles des syst�emes embarqu�es communicants. English.
Subject(s): Additional physical formats: Print version:: Communicating Embedded Systems : Software and Design.DDC classification:
  • 621.39 621.39/2 621.392
LOC classification:
  • TK7895.E42 A387 2010
Online resources:
Contents:
1. Models for Embedded Real-time Systems, D. Lime, O.H. Roux and J. Srba -- 2. Timed Model-Checking, B. B�erard -- 3. Control of Timed Systems, F. Cassez, N. Markey -- 4. Fault Diagnosis of Timed Systems, F. Cassez, S. Tripakis -- 5. Quantitative Verification of Markov Chains, S. Donatelli, S. Haddad -- 6. Tools for Model-Checking Timed Systems, A. David et al -- 7. Tools for the Analysis of Hybrid Models, T. Dang, G. Frehse, A. Girard, C. Le Guernic.
Summary: The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.

1. Models for Embedded Real-time Systems, D. Lime, O.H. Roux and J. Srba -- 2. Timed Model-Checking, B. B�erard -- 3. Control of Timed Systems, F. Cassez, N. Markey -- 4. Fault Diagnosis of Timed Systems, F. Cassez, S. Tripakis -- 5. Quantitative Verification of Markov Chains, S. Donatelli, S. Haddad -- 6. Tools for Model-Checking Timed Systems, A. David et al -- 7. Tools for the Analysis of Hybrid Models, T. Dang, G. Frehse, A. Girard, C. Le Guernic.

Includes bibliographical references and index.

Print version record.

John Wiley and Sons Wiley Online Library: Complete oBooks

There are no comments on this title.

to post a comment.
Previous
Back to results
Next
Close