Articles liés à Establishing Sufficient Temporal Independence Efficiently....
Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach - Couverture souple
Résultats de recherche pour Establishing Sufficient Temporal Independence Efficiently....
Image d'archives
Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783954048014
Acheter neuf
EUR 41,81
Expédition à EUR 6,94
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783954048014
Acheter neuf
EUR 49,68
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach
impression à la demandeVendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The design of safety-critical systems is governed by safety standards, which impose requirements on the design, test, and verification processes, as well as the architecture of an embedded system. Particularly, for the safety evaluation applicable standards demand to regard a system as a whole, rather than its individual components. To offer a way to reduce certification effort, the safety evaluation may be carried out individually whenever the considered components are sufficiently independent of each other. In this context, sufficient independence mandates that failures may not cascade from one component to another. This thesis presents an approach to prevent such cascading failures with respect to real-time properties, i.e. to establish sufficient temporal independence. Particularly, the focus is on methods that avoid static allocation of resources according to the worst-case but permit any application behavior that does not threaten real-time constraints. The approach taken in this thesis is by means of runtime monitoring of real-time properties. In this context several lightweight mechanisms for enforcement of state-of-the-art timing models are presented, and analyses are provided to determine configurations for such monitors that allow a maximum degree of runtime flexibility without voiding the independence requirements. 206 pp. Englisch. N° de réf. du vendeur 9783954048014
Acheter neuf
EUR 41,40
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The design of safety-critical systems is governed by safety standards, which impose requirements on the design, test, and verification processes, as well as the architecture of an embedded system. Particularly, for the safety evaluation applicable standards demand to regard a system as a whole, rather than its individual components. To offer a way to reduce certification effort, the safety evaluation may be carried out individually whenever the considered components are sufficiently independent of each other. In this context, sufficient independence mandates that failures may not cascade from one component to another.This thesis presents an approach to prevent such cascading failures with respect to real-time properties, i.e. to establish sufficient temporal independence. Particularly, the focus is on methods that avoid static allocation of resources according to the worst-case but permit any application behavior that does not threaten real-time constraints.The approach taken in this thesis is by means of runtime monitoring of real-time properties. In this context several lightweight mechanisms for enforcement of state-of-the-art timing models are presented, and analyses are provided to determine configurations for such monitors that allow a maximum degree of runtime flexibility without voiding the independence requirements. N° de réf. du vendeur 9783954048014
Acheter neuf
EUR 41,40
Expédition à EUR 35
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Establishing Sufficient Temporal Independence Efficiently
Edité par
Jentzsch-Cuvillier, Annette, 2014
ISBN 10 : 3954048019
ISBN 13 : 9783954048014
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnThe design of safety-critical systems is governed by safety standards, which impose requirements on the design, test, and verification processes, as well as the architecture of an embedded system. Particularly, for the safety eval. N° de réf. du vendeur 78522813
Acheter neuf
EUR 41,40
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach
Edité par
Cuvillier, Cuvillier Sep 2014, 2014
ISBN 10 : 3954048019
ISBN 13 : 9783954048014
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The design of safety-critical systems is governed by safety standards, which impose requirements on the design, test, and verification processes, as well as the architecture of an embedded system. Particularly, for the safety evaluation applicable standards demand to regard a system as a whole, rather than its individual components. To offer a way to reduce certification effort, the safety evaluation may be carried out individually whenever the considered components are sufficiently independent of each other. In this context, sufficient independence mandates that failures may not cascade from one component to another.This thesis presents an approach to prevent such cascading failures with respect to real-time properties, i.e. to establish sufficient temporal independence. Particularly, the focus is on methods that avoid static allocation of resources according to the worst-case but permit any application behavior that does not threaten real-time constraints.The approach taken in this thesis is by means of runtime monitoring of real-time properties. In this context several lightweight mechanisms for enforcement of state-of-the-art timing models are presented, and analyses are provided to determine configurations for such monitors that allow a maximum degree of runtime flexibility without voiding the independence requirements.Cuvillier Verlag, Nonnenstieg 8, 37075 Göttingen 206 pp. Englisch. N° de réf. du vendeur 9783954048014
Acheter neuf
EUR 41,40
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach
impression à la demandeVendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Establishing Sufficient Temporal Independence Efficiently. A Monitoring Approach | Moritz Neukirchner | Taschenbuch | 206 S. | Englisch | 2014 | Cuvillier | EAN 9783954048014 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu Print on Demand. N° de réf. du vendeur 104317799
Acheter neuf
EUR 41,40
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)