Literatura académica sobre el tema "AUTOSAR OS verification"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "AUTOSAR OS verification".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "AUTOSAR OS verification"
Gravier, Erwan, Markus Gros y Anne Geburzi. "Verification of Autosar software architectures". ATZelektronik worldwide 5, n.º 4 (agosto de 2010): 24–27. http://dx.doi.org/10.1007/bf03242277.
Texto completoSafar, Mona, Magdy A. El-Moursy, Mohamed Abdelsalam, Ayman Bakr, Keroles Khalil y Ashraf Salem. "Virtual Verification and Validation of Automotive System". Journal of Circuits, Systems and Computers 28, n.º 04 (31 de marzo de 2019): 1950071. http://dx.doi.org/10.1142/s0218126619500713.
Texto completoEisemann, Ulrich, Dirk Stichling y Joachim Stroop. "Efficient software development and verification in an Autosar tool chain". ATZelektronik worldwide 4, n.º 3 (mayo de 2009): 34–37. http://dx.doi.org/10.1007/bf03242223.
Texto completoGordon, Steven y San Choosang. "Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications". International Journal of Vehicular Technology 2010 (27 de diciembre de 2010): 1–23. http://dx.doi.org/10.1155/2010/238518.
Texto completoPark, Inseok, Eunhwan Kang, Jaesung Chung, Jeongwon Sohn, Myoungho Sunwoo, Kangseok Lee, Wootaik Lee, Jeamyoung Youn y 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, n.º 5 (1 de julio de 2014): 91–101. http://dx.doi.org/10.7467/ksae.2014.22.5.091.
Texto completoGowda, Jagadish Narayan. "ECU Inter‐processor data communication End to End verification in Autosar for achieving Functional Safety Goals". INCOSE International Symposium 29, S1 (diciembre de 2019): 443–53. http://dx.doi.org/10.1002/j.2334-5837.2019.00698.x.
Texto completoQi, Q., X. Liu y Xiang Qian Jiang. "A Surface Texture Information System Integrated with AutoCAD for Next Generation GPS". Key Engineering Materials 381-382 (junio de 2008): 237–40. http://dx.doi.org/10.4028/www.scientific.net/kem.381-382.237.
Texto completoKhalid, Hasnan Bin, Saesar Budi Luhur y Yudhistira Adhi Prima. "A Size-Bed Wheelchair Design Manufacture with Scaled Prototype and Kinematic-Virtual Reality Model Simulation". Advanced Materials Research 488-489 (marzo de 2012): 1207–12. http://dx.doi.org/10.4028/www.scientific.net/amr.488-489.1207.
Texto completoLi, Guo Zhi, Jian Li Gao, Wen Feng Li y Man Ru Chen. "Research and Development of Box/Carton CAD System Based on AutoLISP Language". Applied Mechanics and Materials 200 (octubre de 2012): 621–24. http://dx.doi.org/10.4028/www.scientific.net/amm.200.621.
Texto completoNovotný, Milan, Radek Neugebauer y Milan Šimek. "Static analysis of an office desk construction". Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis 59, n.º 6 (2011): 247–54. http://dx.doi.org/10.11118/actaun201159060247.
Texto completoTesis sobre el tema "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.
Texto completoFormal 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] y 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.
Texto completoPathni, 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.
Texto completoDeicke, 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.
Texto completoThe 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.
Texto completoThe 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.
Texto completoFor 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.
Texto completoLengá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.
Texto completoKuchaří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.
Texto completoHö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.
Texto completoLibros sobre el tema "AUTOSAR OS verification"
Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings. Springer, 2009.
Buscar texto completoCapítulos de libros sobre el tema "AUTOSAR OS verification"
Beringer, Steffen y Heike Wehrheim. "Verification of AUTOSAR Software Architectures with Timed Automata". En Lecture Notes in Computer Science, 189–204. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45943-1_13.
Texto completoSkoglund, Martin, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson y Alex Gerdes. "Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models". En Lecture Notes in Computer Science, 19–26. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10557-4_4.
Texto completoFaucou, Sebastien, Francoise Simonot-Lion y Yvon Trinquet. "Architecture Description Languages for the Automotive Domain". En Behavioral Modeling for Embedded Systems and Technologies, 353–76. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-750-8.ch014.
Texto completoActas de conferencias sobre el tema "AUTOSAR OS verification"
Friese, Max Jonas, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn y Daniel Thoma. "Runtime Verification of AUTOSAR Timing Extensions". En 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.
Texto completoJovicic, Jelena, Mila Kotur, Milan Z. Bjelica y Istvan Papp. "Visualizing Functional Verification in Adaptive AUTOSAR". En 2018 IEEE 8th International Conference on Consumer Electronics - Berlin. IEEE, 2018. http://dx.doi.org/10.1109/icce-berlin.2018.8576232.
Texto completoBahig, Ghada, Amr El-Kadi y Ashraf Salem. "Formal verification of AUTOSAR FlexRay state manager". En 2014 9th International Design & Test Symposium (IDT). IEEE, 2014. http://dx.doi.org/10.1109/idt.2014.7038612.
Texto completoArts, Thomas, John Hughes, Ulf Norell y Hans Svensson. "Testing AUTOSAR software with QuickCheck". En 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 2015. http://dx.doi.org/10.1109/icstw.2015.7107466.
Texto completoFang, Ling, Takashi Kitamura, Thi Bich Ngoc Do y Hitoshi Ohsaki. "Formal Model-Based Test for AUTOSAR Multicore RTOS". En 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2012. http://dx.doi.org/10.1109/icst.2012.105.
Texto completoPeng, Yunhui, Yanhong Huang, Ting Su y Jian Guo. "Modeling and Verification of AUTOSAR OS and EMS Application". En 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2013. http://dx.doi.org/10.1109/tase.2013.13.
Texto completoTrinh, Le Khanh, Yuki Chiba y Toshiaki Aoki. "Formalization and Verification of AUTOSAR OS Standard's Memory Protection". En 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2018. http://dx.doi.org/10.1109/tase.2018.00017.
Texto completoAhmed, Mazen y Mona Safar. "Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution". En 2018 30th International Conference on Microelectronics (ICM). IEEE, 2018. http://dx.doi.org/10.1109/icm.2018.8704088.
Texto completoRichter, Kai. "The AUTOSAR Timing Model Status and Challenges ". En 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.
Texto completoCotard, Sylvain, Sebastien Faucou, Jean-Luc Bechennec, Audrey Queudet y Yvon Trinquet. "A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR". En 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.
Texto completo