Personnaliser

OK
Uml-B Specification For Proven Embedded Systems Design Format Relié

Uml-B Specification for Proven Embedded Systems Design -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

220,23 €

Produit Neuf

  • Ou 55,06 € /mois

    • En savoir plus
    • Livraison à 0,01 €
    • Livré entre le 16 et le 28 mai
    Voir les modes de livraison

    rarewaves-uk

    PRO Vendeur favori

    4,8/5 sur + de 1 000 ventes

    Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.

    Publicité
     
    Vous avez choisi le retrait chez le vendeur à
    • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
    • Récupérez le produit directement chez le vendeur
    • Rakuten vous rembourse en cas de problème
    Terminer ma commande

    Gratuit et sans engagement

    Félicitations !

    Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

    En savoir plus

    TROUVER UN MAGASIN

      Retour

      Horaires

          Note :


          Avis sur Uml - B Specification For Proven Embedded Systems Design Format Relié  - Livre Littérature Générale

          Note : 0 0 avis sur Uml - B Specification For Proven Embedded Systems Design Format Relié  - Livre Littérature Générale

          Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


          Présentation Uml - B Specification For Proven Embedded Systems Design Format Relié

           - Livre Littérature Générale

          Livre Littérature Générale - 01/12/1899 - Relié - Langue : Anglais

          . .

        • Editeur : Springer Us, New York, N.Y.
        • Langue : Anglais
        • Parution : 01/12/1899
        • Format : Moyen, de 350g à 1kg
        • Nombre de pages : 300
        • Expédition : 699
        • Dimensions : 24.1 x 16.0 x 2.0
        • ISBN : 1402028660



          • Résumé :
          This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to support IP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of.