Littérature scientifique sur le sujet « Embedded software design and verification »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Embedded software design and verification ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Embedded software design and verification"
Geng, Bo, et Qing Hua Cao. « Design and Realization of Simulation Environment of Embedded Software and Hardware Intergration Based on GEF ». Advanced Materials Research 756-759 (septembre 2013) : 2226–30. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.2226.
Texte intégralDasgupta, Pallab, Mandayam K. Srivas et Rajdeep Mukherjee. « Formal Hardware/Software Co-Verification of Embedded Power Controllers ». IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 33, no 12 (décembre 2014) : 2025–29. http://dx.doi.org/10.1109/tcad.2014.2354297.
Texte intégralChen, Ce, Shao Cai Zhao, Yong Hu et Guo Kai He. « Design and Realization of Universal Integrated Testing Platform for Equipment-Embedded Software ». Applied Mechanics and Materials 635-637 (septembre 2014) : 1175–78. http://dx.doi.org/10.4028/www.scientific.net/amm.635-637.1175.
Texte intégralChen, Xi, Harry Hsieh, Felice Balarin et Yosinori Watanabe. « Formal Verification for Embedded System Designs ». Design Automation for Embedded Systems 8, no 2/3 (juin 2003) : 139–53. http://dx.doi.org/10.1023/b:daem.0000003959.60964.4d.
Texte intégralChen, Xi, Harry Hsieh et Felice Balarin. « Verification Approach of Metropolis Design Framework for Embedded Systems ». International Journal of Parallel Programming 34, no 1 (25 janvier 2006) : 3–27. http://dx.doi.org/10.1007/s10766-005-0002-x.
Texte intégralPark, Sa-Choun, Gi-Hwon Kwon et Soon-Hoi Ha. « Automatic Verification of the Control Flow Model for Effective Embedded Software Design ». KIPS Transactions:PartA 12A, no 7 (1 décembre 2005) : 563–70. http://dx.doi.org/10.3745/kipsta.2005.12a.7.563.
Texte intégralDong, Zhijiang, Yujian Fu et Yue Fu. « Runtime Verification on Robotics Systems ». International Journal of Robotics Applications and Technologies 3, no 1 (janvier 2015) : 23–40. http://dx.doi.org/10.4018/ijrat.2015010102.
Texte intégralCunning, Steve J., Stephan Schulz et Jerzy W. Rozenblit. « An Embedded System's Design Verification Using Object-Oriented Simulation ». SIMULATION 72, no 4 (avril 1999) : 238–49. http://dx.doi.org/10.1177/003754979907200403.
Texte intégralCheddadi, Youssef, Fatima Errahimi et Najia Es-sbai. « Design and verification of photovoltaic MPPT algorithm as an automotive-based embedded software ». Solar Energy 171 (septembre 2018) : 414–25. http://dx.doi.org/10.1016/j.solener.2018.06.085.
Texte intégralJúnior, José, Alisson Brito et Tiago Nascimento. « Verification of Embedded System Designs through Hardware-Software Co-Simulation ». International Journal of Information and Electronics Engineering 5, no 1 (2015) : 68–73. http://dx.doi.org/10.7763/ijiee.2015.v5.504.
Texte intégralThèses sur le sujet "Embedded software design and verification"
Todorov, Vassil. « Automotive embedded software design using formal methods ». Electronic Thesis or Diss., université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG026.
Texte intégralThe growing share of driver assistance functions, their criticality, as well as the prospect of certification of these functions, make their verification and validation necessary with a level of requirement that testing alone cannot ensure. For several years now, other industries such as aeronautics and railways have been subject to equivalent contexts. To respond to certain constraints, they have locally implemented formal methods. We are interested in the motivations and criteria that led to the use of formal methods in these industries in order to transpose them to automotive scenarios and identify the potential scope of application.In this thesis, we present our case studies and propose methodologies for the use of formal methods by non-expert engineers. Inductive model checking for a model-driven development process, abstract interpretation to demonstrate the absence of run-time errors in the code and deductive proof for critical library functions.Finally, we propose new algorithms to solve the problems identified during our experiments. These are, firstly, an invariant generator and a method using the semantics of data to process properties involving long-running timers in an efficient way, and secondly, an efficient algorithm to measure the coverage of the model by the properties using mutation techniques
Härberg, Martin, et Roberto Chiarito. « Design, Measurement and Verification of Scania’s Platform Software Architecture for Safety Related Embedded Systems ». Thesis, KTH, Maskinkonstruktion (Inst.), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-185515.
Texte intégralPlattformsarkitekturen för programvaran i de säkerhetsrelaterade inbyggda system som Scania utvecklar har blivit alltmer komplex. Hög komplexitet medför ökad risk för att fel uppstår i programvaran samt att den tid som programvaruutvecklare spenderar med att förstå och debugga (avlusa) källkoden ökar. Detta leder till ökade underhållskostnader, vilket enligt [24] kan utgöra mellan 60 % och 75 % av den totala kostnaden för programvaruutveckling. Syftet med detta examensarbete är att undersöka hur en del av Scanias nuvarande arkitekturdesign kan vidareutvecklas för att minska komplexiteten, utan att kompromissa med någon grundläggande funktionalitet och prestanda. Ett annat mål är att erbjuda en lösning som uppfyller de säkerhetskrav för programvaran som ISO 26262 ställer, vilket Scania förbereder sig för att kunna uppfylla i framtiden. Ett mätverktyg har utvecklats för att kunna jämföra vår programvaruarkitekturlösning med Scanias nuvarande lösning. Detta verktyg mäter kvalitetsmåtten coupling (koppling) och cohesion (samhörighet), vilka tillsammans med andra programvarumått ger en uppskattning av komplexiteten för arkitekturen. Verifieringen av programvaruarkitekturen med avseende på kraven från ISO 26262 har utförts med hjälp av kontraktteori. Examensarbetet har resulterat i alternativa arkitekturlösningar för trycksensorernas drivrutiner samt realtidsdatabasen i en av Scanias styrenheter, där lösningarna både uppfyller kraven från ISO 26262 bättre och har lägre komplexitetän Scanias nuvarande lösning. Detta har uppnåtts genom en omstrukturering av programvaruarkitekturen samt genom att undvika att återanvända gemensamma programvarufunktioner. Huvudslutsatsen som kan dras från examensarbetet är att det finns stor potential för Scania att kunna reducera programvaruarkitekturens komplexitet, samt uppfylla kraven från ISO 26262.
Ahmad, Noor Azurati Binti. « The impact of software architecture on the cost of design, implementation and verification of reliable embedded systems ». Thesis, University of Leicester, 2013. http://hdl.handle.net/2381/28166.
Texte intégralMačišák, Martin. « Využití metody „model based design“ pro návrh embedded aplikace ». Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2021. http://www.nusl.cz/ntk/nusl-442458.
Texte intégralKureksiz, Funda. « A Real Time Test Setup Design And Realization For Performance Verification Of Controller Designs For Unmanned Air Vehichles ». Master's thesis, METU, 2008. http://etd.lib.metu.edu.tr/upload/2/12609393/index.pdf.
Texte intégralTraub, Johannes [Verfasser]. « Formal Verification of Concurrent Embedded Software / Johannes Traub ». Kiel : Universitätsbibliothek Kiel, 2016. http://d-nb.info/1105472175/34.
Texte intégralSwart, Riaan. « A language to support verification of embedded software ». Thesis, Stellenbosch : Stellenbosch University, 2004. http://hdl.handle.net/10019.1/49823.
Texte intégralENGLISH ABSTRACT: Embedded computer systems form part of larger systems such as aircraft or chemical processing facilities. Although testing and debugging of such systems are difficult, reliability is often essential. Development of embedded software can be simplified by an environment that limits opportunities for making errors and provides facilities for detection of errors. We implemented a language and compiler that can serve as basis for such an experimental environment. Both are designed to make verification of implementations feasible. Correctness and safety were given highest priority, but without sacrificing efficiency wherever possible. The language is concurrent and includes measures for protecting the address spaces of concurrently running processes. This eliminates the need for expensive run-time memory protection and will benefit resource-strapped embedded systems. The target hardware is assumed to provide no special support for concurrency. The language is designed to be small, simple and intuitive, and to promote compile-time detection of errors. Facilities for abstraction, such as modules and abstract data types support implementation and testing of bigger systems. We have opted for model checking as verification technique, so our implementation language is similar in design to a modelling language for a widely used model checker. Because of this, the implementation code can be used as input for a model checker. However, since the compiler can still contain errors, there might be discrepancies between the implementation code written in our language and the executable code produced by the compiler. Therefore we are attempting to make verification of executable code feasible. To achieve this, our compiler generates code in a special format, comprising a transition system of uninterruptible actions. The actions limit the scheduling points present in processes and reduce the different interleavings of process code possible in a concurrent system. Requirements that conventional hardware places on this form of code are discussed, as well as how the format influences efficiency and responsiveness.
AFRIKAANSE OPSOMMING: Ingebedde rekenaarstelsels maak deel uit van groter stelsels soos vliegtuie of chemiese prosesseerfasiliteite. Hoewel toetsing en ontfouting van sulke stelsels moeilik is, is betroubaarheid dikwels onontbeerlik. Ontwikkeling van ingebedde sagteware kan makliker gemaak word met 'n ontwikkelingsomgewing wat geleenthede vir foutmaak beperk en fasiliteite vir foutbespeuring verskaf. Ons het 'n programmeertaal en vertaler geïmplementeer wat as basis kan dien vir so 'n eksperimentele omgewing. Beide is ontwerp om verifikasie van implementasies haalbaar te maak. Korrektheid en veiligheid het die hoogste prioriteit geniet, maar sonder om effektiwiteit prys te gee, waar moontlik. Die taal is gelyklopend en bevat maatreëls om die adresruimtes van gelyklopende prosesse te beskerm. Dit maak duur looptyd-geheuebeskerming onnodig, tot voordeel van ingebedde stelsels met 'n tekort aan hulpbronne. Daar word aangeneem dat die teikenhardeware geen spesiale ondersteuning vir gelyklopendheid bevat nie. Die programmeertaal is ontwerp om klein, eenvoudig en intuïtief te wees, en om vertaaltyd-opsporing van foute te bevorder. Fasiliteite vir abstraksie, byvoorbeeld modules en abstrakte datatipes, ondersteun implementering en toetsing van groter stelsels. Ons het modeltoetsing as verifikasietegniek gekies, dus is die ontwerp van ons programmeertaal soortgelyk aan dié van 'n modelleertaal vir 'n modeltoetser wat algemeen gebruik word. As gevolg hiervan kan die implementasiekode as toevoer vir 'n modeltoetser gebruik word. Omdat die vertaler egter steeds foute kan bevat, mag daar teenstrydighede bestaan tussen die implementasie geskryf in ons implementasietaal, en die uitvoerbare masjienkode wat deur die vertaler gelewer word. Daarom poog ons om verifikasie van die uitvoerbare masjienkode haalbaar te maak. Om hierdie doelwit te bereik, is ons vertaler ontwerp om 'n spesiale formaat masjienkode te genereer bestaande uit 'n oorgangstelsel wat ononderbreekbare (atomiese) aksies bevat. Die aksies beperk die skeduleerpunte in prosesse en verminder sodoende die aantal interpaginasies van proseskode wat moontlik is in 'n gelyklopende stelsel. Die vereistes wat konvensionele hardeware aan dié spesifieke formaat kode stel, word bespreek, asook hoe die formaat effektiwiteit en reageerbaarheid van die stelsel beïnvloed.
Traub, Johannes Frederik Jesper [Verfasser]. « Formal Verification of Concurrent Embedded Software / Johannes Traub ». Kiel : Universitätsbibliothek Kiel, 2016. http://nbn-resolving.de/urn:nbn:de:gbv:8-diss-186183.
Texte intégralYan, Weiwei. « Software-hardware Cooperative Embedded Verification System Fusing Fingerprint Verification and Shared-key Authentication ». Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-66677.
Texte intégralGrobler, Leon D. « A kernel to support computer-aided verification of embedded software ». Thesis, Stellenbosch : University of Stellenbosch, 2006. http://hdl.handle.net/10019.1/2479.
Texte intégralFormal methods, such as model checking, have the potential to improve the reliablility of software. Abstract models of systems are subjected to formal analysis, often showing subtle defects not discovered by traditional testing.
Livres sur le sujet "Embedded software design and verification"
Samar, Abdi, Gerstlauer Andreas 1970-, Schirner Gunar et SpringerLink (Online service), dir. Embedded System Design : Modeling, Synthesis and Verification. Boston, MA : Springer-Verlag US, 2009.
Trouver le texte intégralCo-verification of hardware and software for ARM SoC design. Burlington, MA : Elsevier Newnes, 2005.
Trouver le texte intégralThoen, Filip. Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems. Boston, MA : Springer US, 2000.
Trouver le texte intégralSchirner, Gunar. Embedded Systems : Design, Analysis and Verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013.
Trouver le texte intégralLettnin, Djones, et Markus Winterholer, dir. Embedded Software Verification and Debugging. New York, NY : Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4614-2266-2.
Texte intégralBeningo, Jacob. Embedded Software Design. Berkeley, CA : Apress, 2022. http://dx.doi.org/10.1007/978-1-4842-8279-3.
Texte intégralRichard, Zurawski, dir. Embedded systems handbook : Embedded systems design and verification. 2e éd. Boca Raton, FL : Taylor & Francis Group, 2009.
Trouver le texte intégralSchirner, Gunar, Marcelo Götz, Achim Rettberg, Mauro C. Zanella et Franz J. Rammig, dir. Embedded Systems : Design, Analysis and Verification. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38853-8.
Texte intégralHsiung, Pao-Ann. Reconfigurable system design and verification. Boca Raton, Fla : CRC Press, 2009.
Trouver le texte intégralSridar, T. Designing embedded communications software. San Francisco, CA : CMP Books, 2003.
Trouver le texte intégralChapitres de livres sur le sujet "Embedded software design and verification"
Beningo, Jacob. « Testing, Verification, and Test-Driven Development ». Dans Embedded Software Design, 197–218. Berkeley, CA : Apress, 2022. http://dx.doi.org/10.1007/978-1-4842-8279-3_8.
Texte intégralBalarin, Felice, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Claudio Passerone et al. « Verification ». Dans Hardware-Software Co-Design of Embedded Systems, 199–246. Boston, MA : Springer US, 1997. http://dx.doi.org/10.1007/978-1-4615-6127-9_5.
Texte intégralSherwood, George B. « Embedded Functions for Test Design Automation ». Dans Hardware and Software : Verification and Testing, 221–24. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-70389-3_16.
Texte intégralZhan, Jinyu, Nan Sang et Guangze Xiong. « Formal Co-verification for SoC Design with Colored Petri Net ». Dans Embedded Software and Systems, 188–95. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11535409_26.
Texte intégralMorshed, Bashir I. « Prototyping and Verification of ES ». Dans Embedded Systems – A Hardware-Software Co-Design Approach, 167–75. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-66808-2_5.
Texte intégralChandrasekaran, Prakash, Christopher L. Conway, Joseph M. Joy et Sriram K. Rajamani. « Verifiable Design of Asynchronous Software ». Dans Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, 115–16. Dordrecht : Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-6254-4_9.
Texte intégralHsiung, Pao-Ann, et Shang-Wei Lin. « Formal Design and Verification of Real-Time Embedded Software ». Dans Programming Languages and Systems, 382–97. Berlin, Heidelberg : Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30477-7_26.
Texte intégralShukla, Sandeep K., Syed M. Suhaib, Deepak A. Mathaikutty et Jean-Pierre Talpin. « On the Polychronous Approach to Embedded Software Design ». Dans Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, 261–73. Dordrecht : Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-6254-4_20.
Texte intégralAdler, Rasmus, Ina Schaefer, Tobias Schuele et Eric Vecchié. « From Model-Based Design to Formal Verification of Adaptive Embedded Systems ». Dans Formal Methods and Software Engineering, 76–95. Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-76650-6_6.
Texte intégralBerry, Gérard. « SCADE : Synchronous Design and Validation of Embedded Control Software ». Dans Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, 19–33. Dordrecht : Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-6254-4_2.
Texte intégralActes de conférences sur le sujet "Embedded software design and verification"
Behrend, Jörg, D. Lettnin, P. Heckeler, J. Ruf, T. Kropf et W. Rosenstiel. « Scalable hybrid verification for embedded software ». Dans 2011 Design, Automation & Test in Europe. IEEE, 2011. http://dx.doi.org/10.1109/date.2011.5763039.
Texte intégralChao Wang, Malay Ganai, Shuvendu Lahiri et Daniel Kroening. « Embedded software verification : Challenges and solutions ». Dans 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 2008. http://dx.doi.org/10.1109/iccad.2008.4681536.
Texte intégralChao Wang, Zijiang Yang, F. Ivancic et A. Gupta. « Disjunctive Image Computation for Embedded Software Verification ». Dans 2006 Design, Automation and Test in Europe. IEEE, 2006. http://dx.doi.org/10.1109/date.2006.244049.
Texte intégralLettnin, Djones, Pradeep K. Nalla, Jurgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schonknecht et Stephan Reitemeyer. « Verification of Temporal Properties in Automotive Embedded Software ». Dans 2008 Design, Automation and Test in Europe. IEEE, 2008. http://dx.doi.org/10.1109/date.2008.4484680.
Texte intégralDi Guglielmo, Giuseppe, Luigi Di Guglielmo, Franco Fummi et Graziano Pravadelli. « Interactive presentation abstract : Assertion-based verification in embedded-software design ». Dans 2011 IEEE International High Level Design Validation and Test Workshop (HLDVT). IEEE, 2011. http://dx.doi.org/10.1109/hldvt.2011.6114169.
Texte intégralShedeed, Mohamed, Ghada Bahig, M. Watheq Elkharashi et Michael Chen. « Functional design and verification of automotive embedded software : An integrated system verification flow ». Dans 2013 18th International Conference on Digital Signal Processing (DSP). IEEE, 2013. http://dx.doi.org/10.1109/siecpc.2013.6550793.
Texte intégralA, Jay, Paul Urban et Pat Canny. « Verification and Testing of Embedded Software with Model Based Design ». Dans AIAA Scitech 2019 Forum. Reston, Virginia : American Institute of Aeronautics and Astronautics, 2019. http://dx.doi.org/10.2514/6.2019-1479.
Texte intégralDi Guglielmo, Giuseppe, Luigi Di Guglielmo, Franco Fummi et Graziano Pravadelli. « On the use of assertions for embedded-software dynamic verification ». Dans 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). IEEE, 2012. http://dx.doi.org/10.1109/ddecs.2012.6219083.
Texte intégralSchwarz, Michael, Carlos Villarraga, Dominik Stoffel et Wolfgang Kunz. « Cycle-accurate software modeling for RTL verification of embedded systems ». Dans 2017 IEEE 20th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). IEEE, 2017. http://dx.doi.org/10.1109/ddecs.2017.7934571.
Texte intégralAckermann, Christopher, Arnab Ray, Rance Cleaveland, Charles Shelton et Chris Martin. « Integrating Functional and Non-Functional Design Verification for Embedded Software Systems ». Dans SAE World Congress & Exhibition. 400 Commonwealth Drive, Warrendale, PA, United States : SAE International, 2009. http://dx.doi.org/10.4271/2009-01-0152.
Texte intégralRapports d'organisations sur le sujet "Embedded software design and verification"
Santos, Eugene, et Jr. Verification and Validation of Embedded Knowledge-Based Software Systems. Fort Belvoir, VA : Defense Technical Information Center, janvier 1999. http://dx.doi.org/10.21236/ada419001.
Texte intégralBouali, Amar, Bernard Dion et Kosuke Konishi. Using Formal Verification in Real-Time Embedded Software Development. Warrendale, PA : SAE International, mai 2005. http://dx.doi.org/10.4271/2005-08-0319.
Texte intégralVarma, Amit, et Jungil Seo. Verification of LRFD Bridge Design and Analysis Software for INDOT. West Lafayette, Indiana : Purdue University, 2011. http://dx.doi.org/10.5703/1288284314279.
Texte intégralKent Norris. Independent Verification and Validation Of SAPHIRE 8 Software Design and Interface Design Project Number : N6423 U.S. Nuclear Regulatory Commission. Office of Scientific and Technical Information (OSTI), octobre 2009. http://dx.doi.org/10.2172/968677.
Texte intégralKent Norris. Independent Verification and Validation Of SAPHIRE 8 Software Design and Interface Design Project Number : N6423 U.S. Nuclear Regulatory Commission. Office of Scientific and Technical Information (OSTI), mars 2010. http://dx.doi.org/10.2172/974773.
Texte intégralApostolatos, A., R. Rossi et C. Soriano. D7.2 Finalization of "deterministic" verification and validation tests. Scipedia, 2021. http://dx.doi.org/10.23967/exaqute.2021.2.006.
Texte intégralDash, Z. V., B. A. Robinson et G. A. Zyvoloski. Software requirements, design, and verification and validation for the FEHM application - a finite-element heat- and mass-transfer code. Office of Scientific and Technical Information (OSTI), juillet 1997. http://dx.doi.org/10.2172/567506.
Texte intégralMurphy, Joe J., Michael A. Duprey, Robert F. Chew, Paul P. Biemer, Kathleen Mullan Harris et Carolyn Tucker Halpern. Interactive Visualization to Facilitate Monitoring Longitudinal Survey Data and Paradata. RTI Press, mai 2019. http://dx.doi.org/10.3768/rtipress.2019.op.0061.1905.
Texte intégralWu, Yingjie, Selim Gunay et Khalid Mosalam. Hybrid Simulations for the Seismic Evaluation of Resilient Highway Bridge Systems. Pacific Earthquake Engineering Research Center, University of California, Berkeley, CA, novembre 2020. http://dx.doi.org/10.55461/ytgv8834.
Texte intégral