UID:
almafu_9959328278702883
Format:
1 online resource (275 pages)
ISBN:
9781118558188
,
1118558189
,
9781118600122
,
1118600126
,
9781118600092
,
1118600096
,
1848211430
,
9781848211438
,
1299187455
,
9781299187450
Series Statement:
ISTE
Uniform Title:
Approches formelles des systèmes embarqués communicants. English.
Content:
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.
Note:
1. Models for Embedded Real-time Systems, D. Lime, O.H. Roux and J. Srba -- 2. Timed Model-Checking, B. Bérard -- 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.
Additional Edition:
Print version: Jard, Claude. Communicating Embedded Systems : Software and Design. London : Wiley, ©2013 ISBN 9781848211438
Language:
English
Keywords:
Electronic books.
;
Electronic books.
;
Electronic books.
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118558188
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118558188
URL:
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118558188
