. Ensuite, pour la vérification des propriétés 5 et 6, nous avons d'abord intégré dans le modèle SystemC de l'architecture le modèle du nouveau calculateur (et sa liaison à l'aide du bus CAN à l'ECU1 et l'ECU2)

J. Boland, Using Matlab and Simulink in a SystemC verification Environment. 2 nd North American SystemC User's Group, 2004.

C. Warwick, SystemC calls matlab, 2003.

T. Grötker, System Design with SystemC, p.131, 2002.

D. Silva, The development of the Diagnosis Fault System in Electronic Architectures for Commercial Vehicles. International Truck and bus meeting and exposition, 2000.

P. Paulin, Trends In Embedded Systems Technology, Hardware/Software Co-Design, 1996.
DOI : 10.1007/978-94-009-0187-2_13
URL : https://hal.archives-ouvertes.fr/hal-01466207

T. A. Henzinger and J. Sifakis, The Embedded Systems Design Challenge, FM, vol.2006, pp.1-15, 2006.
DOI : 10.1007/11813040_1

T. A. Henzinger and J. Sifakis, The Discipline of Embedded Systems Design, Computer, vol.40, issue.10, pp.32-40, 2007.
DOI : 10.1109/MC.2007.364

L. Breslau and S. Shenker, Best-effort versus reservations: A simple comparative analysis, ACM Transactions on Networking, 1998.

L. Szirmay-kalos and G. Márton, Worst-Case Versus Average Case Complexity of Ray- Shooting. Computing,1Vol 61, pp.103-131, 1998.

X. Crégut and M. , Aide à la conception des systèmes critiques. Équipe ACADIE, IRIT- ENSEEIHT, 2010.

R. Wilhelm, The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, 2008.
DOI : 10.1145/1347375.1347389

N. Halbwachs, Synchronous Programming of Reactive Systems, 1993.

H. Kopetz and G. Bauer, The time-triggered architecture, Proceedings of the IEEE, pp.112-126, 2003.

P. R. Panda, SystemC, Proceedings of the 14th international symposium on Systems synthesis , ISSS '01, pp.75-80, 2001.
DOI : 10.1145/500001.500018

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 2004.

P. H. Feiler, B. Lewis, and S. Vestal, An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering, Proceedings of the RTAS Workshop on Model-driven Embedded Systems, pp.1-10, 2003.
DOI : 10.1007/0-387-24590-1_1

Y. Sorel, Massively parallel computing systems with real time constraints: the "Algorithm Architecture Adequation" methodology, Proceedings of the First International Conference on Massively Parallel Computing Systems (MPCS) The Challenges of General-Purpose and Special-Purpose Computing, 1994.
DOI : 10.1109/MPCS.1994.367018

A. Dias, C. Lavarenne, M. Akil, and Y. Sorel, Adéquation Algorithme Architecture appliquée aux circuits reconfigurables, Actes des Quatrièmes Journées AAA en Traitement du Signal et des Images, 1998.

A. L. Sangiovanni-vincentelli, Defining Platform-Based Design, EEDesign, 2002.

H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications, 1997.

M. Shawky, Architecture exploration and validation methodology for RTP V1: Consideration of functional and extra-functional criteria, 2010.

J. Laprie, Guide de la sûreté de fonctionnement, Edition Cépaduès, 1996.

C. Norme, Technique d'analyse de la fiabilité des systèmes ?Procédure d'analyse des modes de défaillance et de leurs effets (AMDE), 1985.

A. Desroches, D. Baudrin, and M. Dadoun, Analyse Préliminaire des risques-principes et pratiques, 2009.

J. Monin, Understanding Formal Methods, 2003.
DOI : 10.1007/978-1-4471-0043-0

M. Edmund, Model Checking, 1999.

L. Console and O. Dressler, Model-based diagnosis in the real world: lessons learned and challenges remaining, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99). Stockholm, pp.1393-1400, 1999.

W. Hamscher, Readings in model-based diagnosis, 1992.

J. N. Chatain, Diagnostic par système experts, Hermes Sciences Publications, pp.978-2866013769, 1993.

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987.
DOI : 10.1016/0004-3702(87)90062-2

M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, Diagnosis and fault tolerant control, 2003.

J. J. Gerlter, Fault Detection and diagnosis in engineering Systems, pp.978-0824794279, 1998.

R. J. Patton, P. M. Frank, and R. N. Clark, Issues of fault diagnosis for dynamics systems, 2000.
DOI : 10.1007/978-1-4471-3644-6

V. Puig, J. Quevedo, T. Escobet, and B. Pulido, on the integration of fault detection and isolation in model based fault diagnosis, Proceedings of DX'05, pp.227-232, 2005.

M. Cordier, A comparative analysis of AI and control theory approaches to modelbased diagnosis, 14 th European Conference on Artificial Intelligence, 2000.

X. Pucel and L. , Travé-Massuyès, A unified point of view on diagnosability, 2008.

F. Nouioua and P. Dague, Diagnosticabilité des systèmes à évènements discrets, 2009.

F. Lin, Diagnosability of discrete event systems and its applications, Discrete Event Dynamic Systems, pp.197-212, 1994.
DOI : 10.1007/BF01441211

M. O. Cordier, L. Travé-massuyès, and X. Pucel, Comparing diagnosability in continuous and discrete-event systems, Proceedings of the 17th International Workshop on Principles of Diagnosis, DX'06, pp.55-60, 2006.

M. Nyberg, Criterions for detectability and strong detectability of faults in linear systems, International Journal of Control, vol.75, issue.7, pp.490-501, 2002.
DOI : 10.1016/S0005-1098(98)00043-0

M. M. Polycarpou, A. T. Vemuri, and A. R. Ciric, Nonlinear fault diagnosis of differential/algebraic system, Proceedings of IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, pp.510-515, 1997.

O. Dressler and P. Struss, A toolbox integrating model-based diagnosability analysis and automated generation of diagnostics, Proceedings of the 14th International Workshop on Principles of Diagnosis, p.3, 2003.

M. Sampath, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

S. Jiang, Z. Hiang, V. Chandra, and R. Kumar, A polynomial Algorithm for Testing Diagnosability of Discrete Event Systems, IEEE Transactions on Automatic Control, issue.8, pp.461318-1321, 2001.

T. Yoo and S. Lafortune, Polynomial-Time Verification of Diagnosability of Partially- Observed Discrete-Event Systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002.

O. Contant, S. Lafortune, and D. Teneketzis, Diagnosability of Discrete Event Systems with modular structure. Discrete Event Dynamic Systems, pp.9-37, 2006.

Y. Pencolé, Diagnosability analysis of distributed discrete event systems, Proceedings of the16th European Conference on Artificial Intelligence (ECAI-04), pp.43-47, 2004.

A. Schumann and Y. Pencolé, Scalable Diagnosability Checking of Event-Driven Systems, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pp.575-580, 2007.

S. Tripakis, Fault Diagnosis for Timed Automata, Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.205-224, 2002.
DOI : 10.1007/3-540-45739-9_14

Y. L. Wen and M. Jeng, Diagnosability of Petri nets, IEEE International Conference on Systems, Man and Cybernetics, vol.5, pp.10-13, 2004.

S. Haar, A. Benveniste, E. Fabre, and C. Jard, Partial order diagnosability of discrete event systems using petri net unfoldings, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475), pp.9-12, 2003.
DOI : 10.1109/CDC.2003.1271732
URL : https://hal.archives-ouvertes.fr/inria-00638329

S. Haar, Diagnosability of Asynchronous Discrete Event Systems in Partial Order Semantics, Research Report INRIA, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070750

J. Esparza, S. Römer, and W. Vogler, An improvement of McMillan's Unfolding Algorithm. Formal Methods in System Design, pp.285-310, 2002.

A. Cimatti, C. Pecheur, and R. Cavada, Formal Verification of Diagnosability via Symbolic Model Checking, Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03), pp.363-369, 2003.

L. Console, C. Picardi, and M. Ribaudo, Diagnosing and diagnosability analysis using pepa, Proceedings of the 14th European Conference on Artificial Intelligence, pp.131-135, 2000.

J. Rintanen and A. Grasien, Diagnosability Testing with Satisfiability Algorithms, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pp.532-537, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00110586

G. K. Fourlas, K. J. Kyriakopoulos, and N. J. Krikelis, Diagnosability of hybrid systems, Proceedings of the 10th IEEE Mediteranean Conference on Control and Automation (MED2002), 2002.

M. Khlif and M. Shawky, Enhancing Diagnosis Ability For Embedded Electronic Systems Using Co-Modeling, International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, 2007.
DOI : 10.1007/978-1-4020-8737-0_26
URL : https://hal.archives-ouvertes.fr/hal-00336997

M. Khlif and M. Shawky, Observability Checking to Enhance Diagnosis of Real Time Electronic Systems. DS-RT 2008. The 12-th IEEE International Symposium on Distributed Simulation and Real Time Applications, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00337021

M. Bombana and F. Bruschi, Systemc-vhdl co-simulation and synthesis in the hw domain, DATE '03: Proceedings of the conference on Design, Automation and Test in Europe, 2003.

F. Czerner and J. Zellmann, Modeling Cycle-Accurate Hardware with Matlab/Simulink using SystemC. 6 th European SystemC Users Group Meeting (ESCUG), 2002.

P. and K. Hanna, Modélisation et simulation de modèles HW/SW pour améliorer la diagnosticabilité des systèmes électroniques embarqués, 2009.

O. Tahan, Modélisation et simulation hétérogène pour système embarqué Rapport de stage de master de recherche, 2009.

M. Khlif, O. Tahan, and M. Shawky, CO-SImulation Trace Analysis (COSITA) tool for vehicle electronic architecture diagnosability analysis, 2010 IEEE Intelligent Vehicles Symposium, 2010.
DOI : 10.1109/IVS.2010.5548045
URL : https://hal.archives-ouvertes.fr/hal-00528695

G. Castelli, The Seemingly Unlimited Market for Microcontroller-based Embedded Systems, IEEE Micro, pp.6-8, 1995.

D. Paret, Multiplexed Networks for Embedded Systems: CAN, LIN, FlexRay, Safe-by-Wire, 2007.
DOI : 10.1002/9780470511770

D. Paret, Le bus CAN description : de la théorie à la pratique. Dunod, 2009.

. Bosch, CAN specification version 2.0, 1991.

H. Shraim, Smart Distance Keeping: Modeling and Perspectives for Embedded Diagnosis, 2010 International Conference on Intelligent Systems, Modelling and Simulation, pp.27-29, 2010.
DOI : 10.1109/ISMS.2010.54
URL : https://hal.archives-ouvertes.fr/inria-00540819

X. Claeys, Chauffeur Assistant Functions Report restricted to RENAULT TRUCKS, European Contract number IST-1999-10048, 2003.

M. Khlif and M. Shawky, Co-modelling and Simulation with Multilevel of Granularity for Real Time Electronic Systems Supervision, Tenth International Conference on Computer Modeling and Simulation (uksim 2008), 2008.
DOI : 10.1109/UKSIM.2008.76
URL : https://hal.archives-ouvertes.fr/hal-00337010

O. Tahan, Simulation et parsing de modèles HW/SW Pour améliorer l'Observabilité. Université de Technolgie de Compiègne, rapport de projet de fin d'études (sous l'encadrement de Mohamed Shawky), pp.39-40, 2008.

M. Khlif and M. Shawky, Bilan sur l'analyse de l'observabilité du diagnostic embarqué, Livrable D2.3.1. Projet Diafore. Rapport de Contrat ADEME, 2008.

M. Khlif and M. Shawky, Plateforme d'émulation d'ECU. Livrable D2.3.1. Projet Diafore, 2009.

M. Khlif and M. Shawky, Démonstrateur de l'outil d'analyse. Livrable D2.3.1. Projet Diafore, 2009.

M. Khlif and M. Shawky, Survey of state-of-the-practice and state-of-the-art in safety and diagnosability, 2009.

M. Khlif and M. Shawky, Safety-Diagnosability requirements specification V2. Delivrable D_SP1_R5.3_M2, Projet CESAR. Janvier, issue.1, 2010.

@. Obsan, analyse de la disponibilité temporelle et l'observabilité. ? Log2vcd, pour convertir les fichiers du format log au format vcd, ? SIMECO, pour la comparaison de deux fichiers traces au format vcd

«. Cliquer and . Tools, Options?_Projects and Solutions _VC++ directories » -Dans Show directories for : Library files, cliquer l'icone New et ajouter la librairie de Matlab (Figure 62) Figure 62. Fenêtre " Library files