Formal Verification of Concurrent Embedded Software

media/pim/49_metadata-image-22461536.jpeg

ajouter
feuilleter
Formal Verification of Concurrent Embedded Software
5,99€
  • Pagination : 156
  • EAN : 9783741221163
  • Protection numérique : Digital watermarking

ebook

Achat immédiat, sans abonnement.

Le saviez vous ?

Lisez votre e-book sur ordinateur, tablette et mobile grâce aux applications :

Télécharger
sur Google Play
   
Télécharger
sur App Store
Télécharger
sur Ordinateur
Vivlio et Cultura
partenaires pour vos
lectures numériques
Tout est synchronisé
grâce à votre compte
Cultura
Une aide en ligne pour
vous accompagner

Coups de cœur Cultura

Tous les passeurs de culture peuvent partager leurs découvertes !
Tu as aimé ce produit ? Partage dès maintenant ton coup de coeur :

loader
loader
loader
loader
loader
loader
loader
loader

description

descriptif du fournisseur
Automotive software is mainly concerned with safety critical systems and the functional correctness of the software is very important. Thus static software analysis, being able to detect runtime errors in software, has become a standard in the automotive domain. The most critical runtime error is one which only occurs sporadically and is therefore very difficult to detect and reproduce. The introduction of multicore hardware enables an execution of the software in real parallel. A reason for such an error is e.g., a race condition. Hence, the risk of critical race conditions increases. This thesis introduces the MEMICS software verification approach. In order to produce precise results, MEMICS works based on the formal verification technique, bounded model checking. The internal model is able to represent an entire automotive control unit, including the hardware configuration as well as real-time operating systems like AUTOSAR and OSEK. The proof engine used to check the model is a newly developed interval constraint solver with an embedded memory model. MEMICS is able to detect common runtime errors, like e.g., a division by zero, as well as concurrent ones, like e.g., a critical race condition.
 
Formal Verification of Concurrent Embedded Software

Formal Verification of Concurrent Embedded Software

On vous recommande avec votre achat
Formal Verification of Concurrent Embedded Software

Formal Verification of Concurrent Embedded Software

5,99€
+
voir mon panier

Découvrez aussi

Ebook Informatique Ebook Sciences & Techniques Ebook et liseuses

Ebook Sciences & Techniques

Ebook Scolaire • Ebook Dictionnaires • Droit, Economie, Entreprise & Emploi • Ebook Informatique • Ebook sur les Sciences • Ebook Médecine • Ebook Paramédical • Ebook Psychologie, psychanalyse • Ebook Post Bac Concours

Ebook et liseuses

Meilleures ventes : Ebook • Meilleures ventes : Ebook • Nouveautés : Ebook • Précommandes : Ebook • Ebook littérature • Ebook Voyage • Ebook arts, culture & société • Ebook Sciences & Techniques • Ebook imaginaire • Ebook Gratuits ...

... Ebook en VO • Livre Audio • Ebook à 0,99€ • Ebook à 1,99€ • Ebook à 9,99€ • Liseuse • Ebook Romance • Ebook érotique • Ebook intégrales • Ebook Jeunes adultes • Ebook Polars et romans policiers • Ebook jeunesse & ados • Ebook Thrillers • BD Ebook ...

... Manga ebook • Comics ebook • Ebook Maison & famille • Vivlio Studio • Les 100 ebooks de l'année 2023 • Ebook Bien-Être & spiritualité • Ebook Passions & Loisirs • Meilleurs ebooks 2025

Produits similaires

Guide pratique de la sonorisation - 3e éd. - Concert, spectacle, conférence • Sartre à la plage - L'existentialisme dans un transat • Tout-en-un DEAP - IFAP - Diplôme État Auxiliaire puériculture Programme complet - 2025-2026 ...

... Lévi-Strauss à la plage - Un anthropologue dans un transat • Pascal à la plage - La sincérité dans un transat • Kant à la plage - La raison pure dans un transat • Dictionnaire de science économique - 7e éd. • Marketing digital Pour les Nuls ...

... IFSI Tout le semestre 3 en QCM et QROC - Diplôme infirmier - 2e édition • AFGSU 2 - Métiers de la santé - 5e édition • WWW • Intelligence Artificielle pour les Nuls - Un Guide Accessible pour Comprendre l'IA au Quotidien

retour haut de page
retour haut de page
Réservez en ligne &
retirez en magasin sous 2h
Livraison gratuite en
magasin dès le lendemain
Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire
Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Veuillez saisir une adresse e-mail valide.
Par exemple : [email protected]

Félicitations, votre inscription a bien été prise en compte !

Vous pouvez à tout moment vous désinscrire via le lien de désabonnement présent dans la newsletter.
En savoir plus sur notre politique de protection des données personnelles, cliquez ici

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.