Добірка наукової літератури з теми "AUTOSAR OS verification"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "AUTOSAR OS verification".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "AUTOSAR OS verification"
Gravier, Erwan, Markus Gros, and Anne Geburzi. "Verification of Autosar software architectures." ATZelektronik worldwide 5, no. 4 (August 2010): 24–27. http://dx.doi.org/10.1007/bf03242277.
Повний текст джерелаSafar, Mona, Magdy A. El-Moursy, Mohamed Abdelsalam, Ayman Bakr, Keroles Khalil, and Ashraf Salem. "Virtual Verification and Validation of Automotive System." Journal of Circuits, Systems and Computers 28, no. 04 (March 31, 2019): 1950071. http://dx.doi.org/10.1142/s0218126619500713.
Повний текст джерелаEisemann, Ulrich, Dirk Stichling, and Joachim Stroop. "Efficient software development and verification in an Autosar tool chain." ATZelektronik worldwide 4, no. 3 (May 2009): 34–37. http://dx.doi.org/10.1007/bf03242223.
Повний текст джерелаGordon, Steven, and San Choosang. "Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications." International Journal of Vehicular Technology 2010 (December 27, 2010): 1–23. http://dx.doi.org/10.1155/2010/238518.
Повний текст джерелаPark, Inseok, Eunhwan Kang, Jaesung Chung, Jeongwon Sohn, Myoungho Sunwoo, Kangseok Lee, Wootaik Lee, Jeamyoung Youn, and 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 (July 1, 2014): 91–101. http://dx.doi.org/10.7467/ksae.2014.22.5.091.
Повний текст джерелаGowda, Jagadish Narayan. "ECU Inter‐processor data communication End to End verification in Autosar for achieving Functional Safety Goals." INCOSE International Symposium 29, S1 (December 2019): 443–53. http://dx.doi.org/10.1002/j.2334-5837.2019.00698.x.
Повний текст джерелаQi, Q., X. Liu, and Xiang Qian Jiang. "A Surface Texture Information System Integrated with AutoCAD for Next Generation GPS." Key Engineering Materials 381-382 (June 2008): 237–40. http://dx.doi.org/10.4028/www.scientific.net/kem.381-382.237.
Повний текст джерелаKhalid, Hasnan Bin, Saesar Budi Luhur, and Yudhistira Adhi Prima. "A Size-Bed Wheelchair Design Manufacture with Scaled Prototype and Kinematic-Virtual Reality Model Simulation." Advanced Materials Research 488-489 (March 2012): 1207–12. http://dx.doi.org/10.4028/www.scientific.net/amr.488-489.1207.
Повний текст джерелаLi, Guo Zhi, Jian Li Gao, Wen Feng Li, and Man Ru Chen. "Research and Development of Box/Carton CAD System Based on AutoLISP Language." Applied Mechanics and Materials 200 (October 2012): 621–24. http://dx.doi.org/10.4028/www.scientific.net/amm.200.621.
Повний текст джерелаNovotný, Milan, Radek Neugebauer, and 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.
Повний текст джерелаДисертації з теми "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.
Повний текст джерелаFormal 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], and 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.
Повний текст джерелаPathni, 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.
Повний текст джерелаDeicke, 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.
Повний текст джерелаThe 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.
Повний текст джерелаThe 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.
Повний текст джерелаFor 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.
Повний текст джерелаLengá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.
Повний текст джерелаKuchaří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.
Повний текст джерелаHö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.
Повний текст джерелаКниги з теми "AUTOSAR OS verification"
Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings. Springer, 2009.
Знайти повний текст джерелаЧастини книг з теми "AUTOSAR OS verification"
Beringer, Steffen, and Heike Wehrheim. "Verification of AUTOSAR Software Architectures with Timed Automata." In Lecture Notes in Computer Science, 189–204. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45943-1_13.
Повний текст джерелаSkoglund, Martin, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson, and Alex Gerdes. "Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models." In Lecture Notes in Computer Science, 19–26. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10557-4_4.
Повний текст джерелаFaucou, Sebastien, Francoise Simonot-Lion, and Yvon Trinquet. "Architecture Description Languages for the Automotive Domain." In Behavioral Modeling for Embedded Systems and Technologies, 353–76. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-750-8.ch014.
Повний текст джерелаТези доповідей конференцій з теми "AUTOSAR OS verification"
Friese, Max Jonas, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, and Daniel Thoma. "Runtime Verification of AUTOSAR Timing Extensions." In 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.
Повний текст джерелаJovicic, Jelena, Mila Kotur, Milan Z. Bjelica, and Istvan Papp. "Visualizing Functional Verification in Adaptive AUTOSAR." In 2018 IEEE 8th International Conference on Consumer Electronics - Berlin. IEEE, 2018. http://dx.doi.org/10.1109/icce-berlin.2018.8576232.
Повний текст джерелаBahig, Ghada, Amr El-Kadi, and Ashraf Salem. "Formal verification of AUTOSAR FlexRay state manager." In 2014 9th International Design & Test Symposium (IDT). IEEE, 2014. http://dx.doi.org/10.1109/idt.2014.7038612.
Повний текст джерелаArts, Thomas, John Hughes, Ulf Norell, and Hans Svensson. "Testing AUTOSAR software with QuickCheck." In 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 2015. http://dx.doi.org/10.1109/icstw.2015.7107466.
Повний текст джерелаFang, Ling, Takashi Kitamura, Thi Bich Ngoc Do, and Hitoshi Ohsaki. "Formal Model-Based Test for AUTOSAR Multicore RTOS." In 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2012. http://dx.doi.org/10.1109/icst.2012.105.
Повний текст джерелаPeng, Yunhui, Yanhong Huang, Ting Su, and Jian Guo. "Modeling and Verification of AUTOSAR OS and EMS Application." In 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2013. http://dx.doi.org/10.1109/tase.2013.13.
Повний текст джерелаTrinh, Le Khanh, Yuki Chiba, and Toshiaki Aoki. "Formalization and Verification of AUTOSAR OS Standard's Memory Protection." In 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2018. http://dx.doi.org/10.1109/tase.2018.00017.
Повний текст джерелаAhmed, Mazen, and Mona Safar. "Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution." In 2018 30th International Conference on Microelectronics (ICM). IEEE, 2018. http://dx.doi.org/10.1109/icm.2018.8704088.
Повний текст джерелаRichter, Kai. "The AUTOSAR Timing Model Status and Challenges ." In 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.
Повний текст джерелаCotard, Sylvain, Sebastien Faucou, Jean-Luc Bechennec, Audrey Queudet, and Yvon Trinquet. "A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR." In 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.
Повний текст джерела