Academic literature on the topic 'AUTOSAR OS verification'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'AUTOSAR OS verification.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "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.
Full textSafar, 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.
Full textEisemann, 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.
Full textGordon, 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.
Full textPark, 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.
Full textGowda, 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.
Full textQi, 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.
Full textKhalid, 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.
Full textLi, 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.
Full textNovotný, 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.
Full textDissertations / Theses on the topic "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.
Full textFormal 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.
Full textPathni, 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.
Full textDeicke, 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.
Full textThe 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.
Full textThe 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.
Full textFor 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.
Full textLengá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.
Full textKuchaří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.
Full textHö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.
Full textBooks on the topic "AUTOSAR OS verification"
Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings. Springer, 2009.
Find full textBook chapters on the topic "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.
Full textSkoglund, 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.
Full textFaucou, 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.
Full textConference papers on the topic "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.
Full textJovicic, 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.
Full textBahig, 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.
Full textArts, 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.
Full textFang, 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.
Full textPeng, 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.
Full textTrinh, 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.
Full textAhmed, 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.
Full textRichter, 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.
Full textCotard, 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.
Full text