modelisation_et_analyse_de_systemes_embarques_pres.jpeg

25/04/2013
Publication Monographies
OAI : oai:www.see.asso.fr:1786:4111
DOI : You do not have permission to access embedded form.

Résumé

modelisation_et_analyse_de_systemes_embarques_pres.jpeg

Métriques

1719
231
324.55 Ko
 application/pdf
bitcache://2ab057591e7bbc5791a2d508747ce0907a08acbe

Licence

Creative Commons Aucune (Tous droits réservés)
<resource  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
                xmlns="http://datacite.org/schema/kernel-4"
                xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4/metadata.xsd">
        <identifier identifierType="DOI">10.23723/1786/4111</identifier><creators><creator><creatorName>Fabrice Kordon</creatorName></creator><creator><creatorName>Jérôme Hugues</creatorName></creator><creator><creatorName>Agusti Canals</creatorName></creator><creator><creatorName>Alain Dohet</creatorName></creator></creators><titles>
            <title>modelisation_et_analyse_de_systemes_embarques_pres.jpeg</title></titles>
        <publisher>SEE</publisher>
        <publicationYear>2013</publicationYear>
        <resourceType resourceTypeGeneral="Text">Text</resourceType><dates>
	    <date dateType="Created">Thu 25 Apr 2013</date>
	    <date dateType="Updated">Mon 25 Jul 2016</date>
            <date dateType="Submitted">Sat 24 Feb 2018</date>
	</dates>
        <alternateIdentifiers>
	    <alternateIdentifier alternateIdentifierType="bitstream">2ab057591e7bbc5791a2d508747ce0907a08acbe</alternateIdentifier>
	</alternateIdentifiers>
        <formats>
	    <format>application/pdf</format>
	</formats>
	<version>7552</version>
        <descriptions>
            <description descriptionType="Abstract"></description>
        </descriptions>
    </resource>
.

Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine, énergie, industrie, etc. Ainsi, si l’on parle de plus en plus de systèmes embarqués, il s’agit avant tout d’un ensemble complet et intégré (matériel + logiciel). Le point central de leur développement est leur interaction avec leur environnement et les conséquences associées en termes de sécurité et de fiabilité. Cet ouvrage dresse un état de l’art du développement des systèmes embarqués. Il se concentre particulièrement sur leur modélisation et leur analyse. Il s’agit d’opérations cruciales qui détermineront la fiabilité du futur système. L’apparition récente des techniques basées sur l’ingénierie des modèles pourrait révolutionner le développement de ces systèmes en assurant une continuité entre le niveau conceptuel et l’implémentation de la partie logicielle. L’ouvrage expose trois approches parmi les plus utilisées : SysML (aspects ingénierie système), UML/MARTE et AADL (conception/analyse). Les auteurs • Fabrice Kordon est professeur à l’université Pierre et Marie Curie et responsable d’une équipe de recherche au LIP6. Ses activités de recherches portent sur l’usage des méthodes formelles dans le développement de systèmes complexes • Jérôme Hugues est maître de conférences au département de mathématiques, informatique et automatique de l’ISAE. Ses activités de recherche portent sur la conception de logiciels embarqués. • Agusti Canals est directeur adjoint de la qualité et de l’audit technique de CS. Il est expert en génie logiciel certifié par l’OMG : « UML Professional » et « SysML Model Builder ». • Alain Dohet est responsable du pôle systèmes de systèmes à la DGA au ministère de la Défense. Son domaine d’activité couvre l’ingénierie système et la sûreté de fonctionnement des systèmes informatiques embarqués. Collection SEE - 99 e • 320 pages • 16 x 24 • relié • 2013 • ISBN : 978-2-7462-3900-5 Préface - Dominique POTIER 1. Introduction générale Fabrice KORDON, Jérôme HUGUES, Agusti CANALS et Alain DOHET I. PROLÉGOMÈNES 2. Eléments pour la conception de systèmes embarqués Fabrice KORDON, Jérôme HUGUES, Agusti CANALS et Alain DOHET 3. Etude de cas : le pacemaker Fabrice KORDON, Jérôme HUGUES, Agusti CANALS et Alain DOHET II. SYSML 4. Présentation des concepts de SysML - Jean-Michel BRUEL et Pascal ROQUES 5. Modélisation de l’étude de cas avec SysML Loïc FEJOZ , Philippe LEBLANC et Agusti CANALS 6. Analyse des exigences Ludovic APVRILLE et Pierre DE SAQUI -SANNES III - MARTE 7. Présentation des concepts de MARTE - Sébastien GÉRARD et François TERRIER 8. Modélisation de l’étude de cas avec MARTE Jérôme DELATOUR et Joël CHAMPEAU 9. Analyse à partir du modèle Frédéric BONIOL , Philippe DHAUSSY , Luka LE ROUX et Jean-Charles ROGER 10. Déploiement et génération de code à partir du modèle Chokri MRAIDHA , Ansgar RADERMACHER et Sébastien GÉRARD IV - AADL 11. Présentation des concepts de AADL - Jérôme HUGUES et Xavier RENAULT 12. Modélisation de l’étude de cas avec AADL - Etienne BORDE 13. Analyse à partir du modèle - Thomas ROBERT et Jérôme HUGUES 14. Génération de code à partir du modèle - Laurent PAUTET et Bechir ZALILA Bibliographies Modélisation et analyse de systèmes embarqués Sommaire 14,ruedeProvigny94236Cachancedex,France•tél.:+33(0)147406700•fax:+33(0)147406702•e-mail:info@lavoisier.fr sous la direction de Fabrice KORDON, Jérôme HUGUES, Agusti CANALS et Alain DOHET www.lavoisier.fr/livre/h3900html Frais de port Si paiement à la commande (France métropolitaine, Suisse, UE*) : Offerts pour toute commande supérieure à 60 7 pour toute commande inférieure à 60 Si paiement différé : port en sus. * Pour tout autre pays, envoi express ou par avion, nous consulter : info@lavoisier.fr à retourner complété avec votre règlement sous enveloppe dûment affranchie à : Lavoisier - 14, rue de Provigny 94236 Cachan cedex ou à faxer au : 01 47 40 67 02BON DE COMMANDE Titre de l’ouvrage ISBN Prix TTC Qté Total Frais de port Total TTC Une facture acquittée sera jointe au colis. N° DE CLIENT NOM/PRÉNOM.....................................................................................................................FONCTION................................................................................. ORGANISME ........................................................................................................................TVA INTRACOMMUNAUTAIRE ................................................... SECTEUR D'ACTIVITÉ ..........................................................................................................SERVICE ................................................................................... ADRESSE DE FACTURATION.................................................................................................................................................................................................. ............................................................................................................................................................................................................................................... ADRESSE DE LIVRAISON (SI DIFFÉRENTE)........................................................................................................................................................................... E-MAIL ...................................................................................................................................................... TÉL. Je joins mon règlement à la commande et je paye par : Chèque bancaire payable en France à l’ordre de LAVOISIER S.A.S. Carte bancaire (Visa, Mastercard) n° Date d’expiration : Cryptogramme : Suivre ma commande : +33 (0) 1 47 40 67 00 Ces renseignements pourront figurer sur un fichier informatique. Conformément à l'Art. 27 de la loi Informatique & Libertés du 6 janvier 1978, vous bénéficiez d’un droit d’accès et de rectification aux données vous concernant 978-2-7462-3900-5Modélisation et analyse de systèmes embarqués 99 e