Communicating embedded systems : software and design : formal methods /
Communicating embedded systems : software and design : formal methods /
edited by Claude Hard, Olivier H. Roux.
- London : Hoboken : ISTE, Ltd. ; Wiley, 2010.
- 1 online resource (275 pages)
- ISTE .
- ISTE. .
Includes bibliographical references and index.
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.
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.
9781118558188 1118558189 9781118600122 1118600126 9781118600092 1118600096 1848211430 9781848211438 1299187455 9781299187450
CL0500000277 Safari Books Online
2009026282
Embedded computer systems--Programming.
Embedded computer systems--Design and construction.
Formal methods (Computer science)
M�ethodes formelles (Informatique)
COMPUTERS--Computer Engineering.
COMPUTERS--Hardware--General.
COMPUTERS--Machine Theory.
Embedded computer systems--Design and construction
Embedded computer systems--Programming
Formal methods (Computer science)
TK7895.E42 / A387 2010
621.39 621.39/2 621.392
Includes bibliographical references and index.
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.
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.
9781118558188 1118558189 9781118600122 1118600126 9781118600092 1118600096 1848211430 9781848211438 1299187455 9781299187450
CL0500000277 Safari Books Online
2009026282
Embedded computer systems--Programming.
Embedded computer systems--Design and construction.
Formal methods (Computer science)
M�ethodes formelles (Informatique)
COMPUTERS--Computer Engineering.
COMPUTERS--Hardware--General.
COMPUTERS--Machine Theory.
Embedded computer systems--Design and construction
Embedded computer systems--Programming
Formal methods (Computer science)
TK7895.E42 / A387 2010
621.39 621.39/2 621.392