Littérature scientifique sur le sujet « AUTOSAR OS verification »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
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 « AUTOSAR OS 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 "AUTOSAR OS verification"
Gravier, Erwan, Markus Gros et Anne Geburzi. « Verification of Autosar software architectures ». ATZelektronik worldwide 5, no 4 (août 2010) : 24–27. http://dx.doi.org/10.1007/bf03242277.
Texte intégralSafar, Mona, Magdy A. El-Moursy, Mohamed Abdelsalam, Ayman Bakr, Keroles Khalil et Ashraf Salem. « Virtual Verification and Validation of Automotive System ». Journal of Circuits, Systems and Computers 28, no 04 (31 mars 2019) : 1950071. http://dx.doi.org/10.1142/s0218126619500713.
Texte intégralEisemann, Ulrich, Dirk Stichling et Joachim Stroop. « Efficient software development and verification in an Autosar tool chain ». ATZelektronik worldwide 4, no 3 (mai 2009) : 34–37. http://dx.doi.org/10.1007/bf03242223.
Texte intégralGordon, Steven, et San Choosang. « Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications ». International Journal of Vehicular Technology 2010 (27 décembre 2010) : 1–23. http://dx.doi.org/10.1155/2010/238518.
Texte intégralPark, Inseok, Eunhwan Kang, Jaesung Chung, Jeongwon Sohn, Myoungho Sunwoo, Kangseok Lee, Wootaik Lee, Jeamyoung Youn et Donghoon Won. « Timing Verification of AUTOSAR-compliant Diesel Engine Management System Using Measurement-based Worst-case Execution Time Analysis ». Transactions of the Korean Society of Automotive Engineers 22, no 5 (1 juillet 2014) : 91–101. http://dx.doi.org/10.7467/ksae.2014.22.5.091.
Texte intégralGowda, Jagadish Narayan. « ECU Inter‐processor data communication End to End verification in Autosar for achieving Functional Safety Goals ». INCOSE International Symposium 29, S1 (décembre 2019) : 443–53. http://dx.doi.org/10.1002/j.2334-5837.2019.00698.x.
Texte intégralQi, Q., X. Liu et Xiang Qian Jiang. « A Surface Texture Information System Integrated with AutoCAD for Next Generation GPS ». Key Engineering Materials 381-382 (juin 2008) : 237–40. http://dx.doi.org/10.4028/www.scientific.net/kem.381-382.237.
Texte intégralKhalid, Hasnan Bin, Saesar Budi Luhur et Yudhistira Adhi Prima. « A Size-Bed Wheelchair Design Manufacture with Scaled Prototype and Kinematic-Virtual Reality Model Simulation ». Advanced Materials Research 488-489 (mars 2012) : 1207–12. http://dx.doi.org/10.4028/www.scientific.net/amr.488-489.1207.
Texte intégralLi, Guo Zhi, Jian Li Gao, Wen Feng Li et Man Ru Chen. « Research and Development of Box/Carton CAD System Based on AutoLISP Language ». Applied Mechanics and Materials 200 (octobre 2012) : 621–24. http://dx.doi.org/10.4028/www.scientific.net/amm.200.621.
Texte intégralNovotný, Milan, Radek Neugebauer et Milan Šimek. « Static analysis of an office desk construction ». Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis 59, no 6 (2011) : 247–54. http://dx.doi.org/10.11118/actaun201159060247.
Texte intégralThèses sur le sujet "AUTOSAR OS verification"
Haur, Imane. « AUTOSAR compliant multi-core RTOS formal modeling and verification ». Electronic Thesis or Diss., Ecole centrale de Nantes, 2022. http://www.theses.fr/2022ECDN0057.
Texte intégralFormal verification is a solution to increase the system’s implementation reliability. In our thesis work, we are interestedin using these methods to verify multi-core RTOS. We propose a model-checking approach using time Petri nets extended with colored transitions and high-level features. We use this formalism to model the Trampoline multi-core OS, compliant with the OSEK/VDX and AUTOSAR standards. We first define this formalism and show its suitability for modeling real-time concurrent systems. We then use this formalism to model the Trampoline multi-core RTOS and verify by model-checkingits conformity with the AUTOSAR standard. From this model, we can verify properties of both the OS and the application, such as the schedulability of a real-time system and the synchronization mechanisms: concurrent access to the data structures of the OS, multicore scheduling, and inter-core interrupt handling. As an illustration, this method allowed the automatic identification of two possible errors of the Trampoline OS in concurrent execution, showing insufficient data protection andfaulty synchronization
Mohammad, Hassan [Verfasser], et Peter [Akademischer Betreuer] Liggesmeyer. « Verification & ; Performance Measurement for Transport Protocol Parallel Routing of an AUTOSAR Gateway System / Hassan Mohammad. Betreuer : Peter Liggesmeyer ». Kaiserslautern : Technische Universität Kaiserslautern, 2016. http://d-nb.info/1105472183/34.
Texte intégralPathni, Charu. « Round-trip engineering concept for hierarchical UML models in AUTOSAR-based safety projects ». Master's thesis, Universitätsbibliothek Chemnitz, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-187153.
Texte intégralDeicke, Markus. « Virtuelle Absicherung von Steuergeräte-Software mit hardwareabhängigen Komponenten ». Doctoral thesis, Universitätsbibliothek Chemnitz, 2018. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-230123.
Texte intégralThe constantly increasing amount of functions in modern automobiles and the growing degree of cross-linking between electronic control units (ECU) require new methods to master the complexity in the validation and verification process. The virtual validation and verification enables the integration of the software on a PC system, which is independent from the target hardware, to guarantee the required software quality in the early development stages. Furthermore, the software reuse in future microcontrollers can be verified. All this is enabled by the AUTOSAR standard which provides consistent interface descriptions to allow the abstraction of hardware and software. However, the standard contains hardware-dependent components, called complex device drivers (CDD). Those CDDs cannot be directly integrated into a platform for virtual verification, because they require a specific hardware which is not generally available on such a platform. Regardless, CDDs are an essential part of the ECU software and therefore need to be considered in an holistic approach for validation and verification. This thesis describes seven different concepts to include CDDs in the virtual verification process. A method to always choose the optimal solution for all use cases of CDDs in ECU software is developed using an evaluation of the suitably for daily use of all concepts. As a result from this method, the two concepts suited for the most frequent use cases are detailed and developed as prototypes in this thesis. The first concept enables the full simulation of a CDD. This is necessary to allow the integration of the functional software itself without the driver. This way all interfaces can be tested even if the CDD is not available. The complete automation of the generation of the simulation makes the process very efficient. With the second concept a CDD can be entirely integrated into a platform for virtual verification, using an hardware abstraction layer to connect the hardware interfaces to the available hardware of the platform. This way, the driver is able to control real hardware components and can be tested completely. A flexible configuration of the abstraction layer allows the application of the concept for a wide variety of CDDs. In this thesis both concepts are tested and evaluated using genuine projects from series development
Deicke, Markus. « Virtuelle Absicherung von Steuergeräte-Software mit hardwareabhängigen Komponenten ». Universitätsverlag Chemnitz, 2016. https://monarch.qucosa.de/id/qucosa%3A20810.
Texte intégralThe constantly increasing amount of functions in modern automobiles and the growing degree of cross-linking between electronic control units (ECU) require new methods to master the complexity in the validation and verification process. The virtual validation and verification enables the integration of the software on a PC system, which is independent from the target hardware, to guarantee the required software quality in the early development stages. Furthermore, the software reuse in future microcontrollers can be verified. All this is enabled by the AUTOSAR standard which provides consistent interface descriptions to allow the abstraction of hardware and software. However, the standard contains hardware-dependent components, called complex device drivers (CDD). Those CDDs cannot be directly integrated into a platform for virtual verification, because they require a specific hardware which is not generally available on such a platform. Regardless, CDDs are an essential part of the ECU software and therefore need to be considered in an holistic approach for validation and verification. This thesis describes seven different concepts to include CDDs in the virtual verification process. A method to always choose the optimal solution for all use cases of CDDs in ECU software is developed using an evaluation of the suitably for daily use of all concepts. As a result from this method, the two concepts suited for the most frequent use cases are detailed and developed as prototypes in this thesis. The first concept enables the full simulation of a CDD. This is necessary to allow the integration of the functional software itself without the driver. This way all interfaces can be tested even if the CDD is not available. The complete automation of the generation of the simulation makes the process very efficient. With the second concept a CDD can be entirely integrated into a platform for virtual verification, using an hardware abstraction layer to connect the hardware interfaces to the available hardware of the platform. This way, the driver is able to control real hardware components and can be tested completely. A flexible configuration of the abstraction layer allows the application of the concept for a wide variety of CDDs. In this thesis both concepts are tested and evaluated using genuine projects from series development.
Kebaili, Mejid. « Réflexions autour de la méthodologie de vérification des circuits multi-horloges : analyse qualitative et automatisation ». Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAT064/document.
Texte intégralFor several years now, the digital IC market has been requiring both more complex systems and reduced production times. In this context, the semiconductor chip maker companies call on external IP providers offering components working on dedicated clock signals. When these IPs communicate between them, the source and destination clocks are not the same, we talk about "Clock Domain Crossing" (CDC).CDC correspond to asynchronous communications and can cause critical failures. Furthermore, due to the complexity and the random nature of CDC issues, they can not be exhaustively checked with methods such as timing analysis or functional simulation. With the increase of CDC in the digital designs, EDA tools providers have developed software solutions dedicated to CDC static verification.Whereas, the designs are subject to continuous change, the verification tools are not able to be up to date. To resolve these practical issues, the CDC industrial verification is based on the specification of constraints and exclusions by the user. This manual flow, which replaces the tools, can mask bugs. Moreover, the human effort required by this approach is incompatible with the time allowed to industrial designs development.Our goal has been to automate the verification submitting solutions based on formal properties.The work consisted in the analysis of the different CDC design and verification approaches through the evaluation of main CDC checker tools. From the results obtained, we have formalized the practical problems and proposed models to obtain automatically exhaustive results. The tests have been performed on a processor-based subsystem (CPUSS) developed at STMicroelectronics.Adopting our models enables a complete checking of CPUSS in an automatic way, which is essential within a competitive industrial environment. Actually, the amount of information to be specified by the user has been reduced by half for each one of the evaluated tools. Otherwise, this work has shown that the development axis of the CDC tools despite the addition of functionalities such as hierarchical flows or fault injection, doesn’t improve the quality of results (QoR). Since a collaboration has been established with the main tool providers some solutions would probably be included into the tools over the coming years
Vargovčík, Pavol. « Inkrementální induktivní pokrytelnost pro alternující konečné automaty ». Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2018. http://www.nusl.cz/ntk/nusl-386013.
Texte intégralLengál, Ondřej. « Automaty v nekonečně stavové formální verifikaci ». Doctoral thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2015. http://www.nusl.cz/ntk/nusl-261279.
Texte intégralKuchařík, David. « Systém pro zabezpečení a střežení objektů a prostor ». Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2008. http://www.nusl.cz/ntk/nusl-235876.
Texte intégralHöttger, Robert Martin. « Model-Based Exploration of Parallelism in Context of Automotive Multi-Processor Systems ». Doctoral thesis, 2021. https://repositorium.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-202107155208.
Texte intégralLivres sur le sujet "AUTOSAR OS verification"
Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings. Springer, 2009.
Trouver le texte intégralChapitres de livres sur le sujet "AUTOSAR OS verification"
Beringer, Steffen, et Heike Wehrheim. « Verification of AUTOSAR Software Architectures with Timed Automata ». Dans Lecture Notes in Computer Science, 189–204. Cham : Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45943-1_13.
Texte intégralSkoglund, Martin, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson et Alex Gerdes. « Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models ». Dans Lecture Notes in Computer Science, 19–26. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10557-4_4.
Texte intégralFaucou, Sebastien, Francoise Simonot-Lion et Yvon Trinquet. « Architecture Description Languages for the Automotive Domain ». Dans Behavioral Modeling for Embedded Systems and Technologies, 353–76. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-750-8.ch014.
Texte intégralActes de conférences sur le sujet "AUTOSAR OS verification"
Friese, Max Jonas, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn et Daniel Thoma. « Runtime Verification of AUTOSAR Timing Extensions ». Dans RTNS 2022 : The 30th International Conference on Real-Time Networks and Systems. New York, NY, USA : ACM, 2022. http://dx.doi.org/10.1145/3534879.3534898.
Texte intégralJovicic, Jelena, Mila Kotur, Milan Z. Bjelica et Istvan Papp. « Visualizing Functional Verification in Adaptive AUTOSAR ». Dans 2018 IEEE 8th International Conference on Consumer Electronics - Berlin. IEEE, 2018. http://dx.doi.org/10.1109/icce-berlin.2018.8576232.
Texte intégralBahig, Ghada, Amr El-Kadi et Ashraf Salem. « Formal verification of AUTOSAR FlexRay state manager ». Dans 2014 9th International Design & Test Symposium (IDT). IEEE, 2014. http://dx.doi.org/10.1109/idt.2014.7038612.
Texte intégralArts, Thomas, John Hughes, Ulf Norell et Hans Svensson. « Testing AUTOSAR software with QuickCheck ». Dans 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 2015. http://dx.doi.org/10.1109/icstw.2015.7107466.
Texte intégralFang, Ling, Takashi Kitamura, Thi Bich Ngoc Do et Hitoshi Ohsaki. « Formal Model-Based Test for AUTOSAR Multicore RTOS ». Dans 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2012. http://dx.doi.org/10.1109/icst.2012.105.
Texte intégralPeng, Yunhui, Yanhong Huang, Ting Su et Jian Guo. « Modeling and Verification of AUTOSAR OS and EMS Application ». Dans 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2013. http://dx.doi.org/10.1109/tase.2013.13.
Texte intégralTrinh, Le Khanh, Yuki Chiba et Toshiaki Aoki. « Formalization and Verification of AUTOSAR OS Standard's Memory Protection ». Dans 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2018. http://dx.doi.org/10.1109/tase.2018.00017.
Texte intégralAhmed, Mazen, et Mona Safar. « Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution ». Dans 2018 30th International Conference on Microelectronics (ICM). IEEE, 2018. http://dx.doi.org/10.1109/icm.2018.8704088.
Texte intégralRichter, Kai. « The AUTOSAR Timing Model ; Status and Challenges ; ». Dans Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006). IEEE, 2006. http://dx.doi.org/10.1109/isola.2006.59.
Texte intégralCotard, Sylvain, Sebastien Faucou, Jean-Luc Bechennec, Audrey Queudet et Yvon Trinquet. « A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR ». Dans 2012 IEEE 14th Int'l Conf. on High Performance Computing and Communication (HPCC) & 2012 IEEE 9th Int'l Conf. on Embedded Software and Systems (ICESS). IEEE, 2012. http://dx.doi.org/10.1109/hpcc.2012.220.
Texte intégral