Real-Time Systems: Scheduling, Analysis, and Verification
Synopsis
A complete guide to testing, analyzing, verifying, and
monitoring real-time systems
More and more of our modern-day systems and
devices–from toasters and climate-control systems to
airplanes and space shuttles–contain embedded systems
to control their functions and ensure that their responses
are both timely and correct. With safety a requisite
factor, performance validation is a critical aspect of
real-time systems. Answering the needs of professionals and
students alike, Real-Time Systems: Scheduling, Analysis,
and Verification provides a substantial, up-to-date
overview of the verification and validation process. It
describes several approaches to the problem, and examines
the advantages and disadvantages of each approach.
Designed to be both an introductory text and a handy
reference for the practitioner, the book discusses:
- Symbolic logic, automata, and languages in
non-real-time systems
- Real-time scheduling and schedulability analysis
- Verification using timed automata and timed petri
nets
- Process algebra
- The design and analysis of propositional-logic
rule-based systems
- Timing analysis of predicate-logic rule-based
systems
- Optimization of rule-based systems
- Model checking, real-time logic, and statecharts
With ample illustrations and examples of a variety of
industrial and toy applications, Real-Time Systems:
Scheduling, Analysis, and Verification serves as a key
resource for every professional who works with real-time
systems.
Contents
- Introduction
- Analysis and Verification of Non-Real-Time Systems
- Real-Time Scheduling and Schedulability Analysis
- Model Checking of Finite-State Systems
- Visual Formalism, Statecharts, and Statemate
- Real-Time Logic, Graph-Theoretic Analysis, and
Modechart
- Verification Using Timed Automata
- Timed Petri Nets
- Process Algebra
- Design and Analysis of Propositional-Logic Rule-Based
Systems
- Timing Analysis of Predicate-Logic Rule-Based
Systems
- Optimization of Rule-Based Systems
Commander ce livre au
prix de
134,53
€
127,8
€
Classé sous : Systems, Time, Real, Analysis, Verification
Livres en rapport
|
Derniers Blogs
[MIX10] KEYNOTE DEUXIèME JOURNéE - INTERNET EXPLORER 9, HTML5, VISUAL STUDIO 2010, ODATA[MIX10] KEYNOTE DEUXIèME JOURNéE - INTERNET EXPLORER 9, HTML5, VISUAL STUDIO 2010, ODATA par cyril
Le deuxième keynote du mix fut très riche en contenu. Internet Explorer 9 Juste un après le lancement de Internet Explorer 8, Microsoft a dévoilé les nouveautés de Internet Explorer 9. Désormais, IE supportera HTML5, SVG et CSS3. L'élément ...
Cliquez pour lire la suite de l'article par cyril CERTIFICATIONS BETA .NET 4CERTIFICATIONS BETA .NET 4 par KooKiz
Les inscriptions pour les certifications beta .NET 4 ont commencé. L'inscription est offerte pour les examens suivants : - 71-511, TS: Windows Applications Development with Microsoft .NET Framework 4 - 71-515, TS: Web Applications Development with...
Cliquez pour lire la suite de l'article par KooKiz [MIX 2010] - MICROSOFT TRANSLATOR TECHNOLOGY PREVIEW V2[MIX 2010] - MICROSOFT TRANSLATOR TECHNOLOGY PREVIEW V2 par redo
J'imagine que la plupart d'entre vous connaissent bien et utilisent le service de traduction de Google, mais connaissez-vous celui de Microsoft . Microsoft Translator ? Effectivement, Microsoft nous annoncé le lancement version 2 de la Technologie Preview...
Cliquez pour lire la suite de l'article par redo LANCEMENT EN PREVIEW DE CYCLONE LORS DES TECHDAYS 2010!LANCEMENT EN PREVIEW DE CYCLONE LORS DES TECHDAYS 2010! par MPOWARE
Toutes les vidéos de ce lancement sont en ligne!
Partie I - Intro
http://www.youtube.com/watch?v=LkQzTQ8T6CA
Partie II - Démo 1
http://www.youtube.com/watch?v=drAhYQ7lqvo
Partie III - Démo 2
http://www.youtube.com/watch?v=c8KM_1Gqybc...
Cliquez pour lire la suite de l'article par MPOWARE
Logiciels
Academy System (10.9.4.0)ACADEMY SYSTEM (10.9.4.0)Logiciel de gestion des établissements.
- élèves/étudiants (inscription, dossier, absence...)
-... Cliquez pour télécharger Academy System Xilisoft Convertisseur Vidéo Ultimate (5.1.39.0305)XILISOFT CONVERTISSEUR VIDéO ULTIMATE (5.1.39.0305)Xilisoft Convertisseur Vidéo Ultimate est un outil puissant de conversion vidéo, facile à utilise... Cliquez pour télécharger Xilisoft Convertisseur Vidéo Ultimate Xilisoft DVD Ripper Ultimate (5.0.64.0304)XILISOFT DVD RIPPER ULTIMATE (5.0.64.0304)Xilisoft DVD Ripper Ultimate est un logiciel excellent pour copier et convertir DVD vers presque ... Cliquez pour télécharger Xilisoft DVD Ripper Ultimate Rigs of Rods (63.3)RIGS OF RODS (63.3)c'est un jeu de multi-simulation camions,autobus voitures, avions, bateaux, hélicoptère avec défo... Cliquez pour télécharger Rigs of Rods
Comparez les prix

HTC Magic
Entre 429€ et 429€
|