Relevant bibliographies by topics / AUTOSAR OS verification

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers

Academic literature on the topic 'AUTOSAR OS verification'

Author: Grafiati
Published: 14 March 2023
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

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"

1

Gravier, Erwan, Markus Gros, and Anne Geburzi. "Verification of Autosar software architectures." ATZelektronik worldwide 5, no. 4 (2010): 24–27. http://dx.doi.org/10.1007/bf03242277.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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 (2019): 1950071. http://dx.doi.org/10.1142/s0218126619500713.

Full text
Abstract:
An integrated framework for Virtual Verification and Validation (VVV) for a complete automotive system is proposed. The framework can simulate/emulate the system on three levels: System on Chip (SoC), Electronic control unit (ECU) and system level. The framework emulates the real system including hardware (HW) and software (SW). It enhances the automotive V-cycle and allows co-development of the automotive system SW and HW. The procedure for debugging AUTOSAR application on the virtual platform (VP) is shown. SW and HW profiling is feasible with the presented methodology. Verification and vali
APA, Harvard, Vancouver, ISO, and other styles
3

Eisemann, Ulrich, Dirk Stichling, and Joachim Stroop. "Efficient software development and verification in an Autosar tool chain." ATZelektronik worldwide 4, no. 3 (2009): 34–37. http://dx.doi.org/10.1007/bf03242223.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
The FlexRay Transport Protocol (FrTp) is designed to support reliable and efficient communication between various computers embedded in vehicles. It uses a standardised FlexRay communication bus and introduces a go-back-N style retransmission algorithm. A formal modelling language, Coloured Petri nets (CPN), has been applied to verify the protocol design. Separate CPN models of the FrTp service and protocol are developed and with state space analysis-used to prove for selected configurations that FrTp is deadlock-free and conforms to the service specification when transferring a single-protoco
APA, Harvard, Vancouver, ISO, and other styles
5

Kim, Hyeongrae, Junho Kwak, and Jeonghun Cho. "AUTOSAR-Compatible Level-4 Virtual ECU for the Verification of the Target Binary for Cloud-Native Development." Electronics 13, no. 18 (2024): 3704. http://dx.doi.org/10.3390/electronics13183704.

Full text
Abstract:
The rapid evolution of automotive software necessitates efficient and accurate development and verification processes. This study proposes a virtual electronic control unit (vECU) that allows for precise software testing without the need for hardware, thereby reducing developmental costs and enabling cloud-native development. The software was configured and built on a Hyundai Autoever AUTomotive Open System Architecture (AUTOSAR) classic platform, Mobilgene, and Renode was used for high-fidelity emulations. Custom peripherals in C# were implemented for the FlexTimer, system clock generator, an
APA, Harvard, Vancouver, ISO, and other styles
6

Park, Inseok, Eunhwan Kang, Jaesung Chung, et al. "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 (2014): 91–101. http://dx.doi.org/10.7467/ksae.2014.22.5.091.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Gowda, Jagadish Narayan. "ECU Inter‐processor data communication End to End verification in Autosar for achieving Functional Safety Goals." INCOSE International Symposium 29, S1 (2019): 443–53. http://dx.doi.org/10.1002/j.2334-5837.2019.00698.x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
To meet the requirements of next generation Geometrical Product Specification and Verification (GPS), a surface texture information system integrated with AutoCAD is developed. The information system mainly consists of three parts: a surface texture database containing large amount of surface texture specification information, inference algorithms and interfaces with AutoCAD, so that unambiguous, explicit and complete specification for design, manufacture and verification of surface texture can be provided in AutoCAD for function assurance.
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
This paper presents the design verification of a novel concept wheelchair using SimMechanics toolboxes. A wheelchair-sized bed concept (patent pending) with 3 modes of ability (sitting-lying-standing) is proposed. Design begins by deciding the actuator and the component integrated in reality. The 3D wheelchair model was done in AutoCAD 3D and in Vrealm builder to connect with simulink. All components like joint, frame, actuator, gear box and any other part of wheelchair was register in SimMechanics. To verify the kinematics model, a joystick input was connected to the model for visual movement
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
Abstract:
By using AutoLISP language based on Autocad, the development process of the tray /carton CAD system should focus on software workflow and overall development program. The system uses nodes descript by a relatively polar coordinate, parametric design, the combination of box/carton-type library with box/carton components library, splicing design methods, etc. With the program designed by AutoLISP language, paper box/carton structure parametric drawing can be achieved according to the mathematical model. The system has the input data legality verification, error handling function, output expansio
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "AUTOSAR OS verification"

1

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 text
Abstract:
La vérification formelle est une solution pour augmenter la fiabilité de l’implémentation du système. Dans notre travail de thèse, nous nous intéressons à l’utilisation de ces méthodes pour la vérification des systèmes d’exploitation multi-coeurs temps réel. Nous proposons une approche de model-checking utilisant les réseaux de Petri temporels, étendus avec des transitions colorées et des fonctionnalités de haut niveau. Nous utilisons ce formalisme pour modéliser le système d’exploitation multi-coeur Trampoline, conforme aux standards OSEK/VDX etAUTOSAR. Nous définissons dans un premier temps
APA, Harvard, Vancouver, ISO, and other styles
2

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 text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
Abstract:
Product development process begins at a very abstract level of understanding the requirements. The data needs to be passed on the next phase of development. This happens after every stage for further development and finally a product is made. This thesis deals with the data exchange process of software development process in specific. The problem lies in handling of data in terms of redundancy and versions of the data to be handled. Also, once data passed on to next stage, the ability to exchange it in reveres order is not existent in evident forms. The results found during this thesis discuss
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
Der stetig steigende Funktionsumfang im Automobil und die zunehmende Vernetzung von Steuergeräten erfordern neue Methoden zur Beherrschung der Komplexität in der Validierung und Verifikation. Die virtuelle Absicherung ermöglicht die Integration der Software in einem PC-System, unabhängig von der Ziel-Hardware, zur frühzeitigen Gewährleistung der Softwarequalität im Entwicklungsprozess. Ebenso kann die Wiederverwendbarkeit vorhandener Komponenten in zukünftigen Mikrocontrollern sichergestellt werden. Die Grundlage dafür liefert der AUTOSAR-Standard durch einheitliche Schnittstellenbeschreibunge
APA, Harvard, Vancouver, ISO, and other styles
5

Deicke, Markus. "Virtuelle Absicherung von Steuergeräte-Software mit hardwareabhängigen Komponenten." Universitätsverlag Chemnitz, 2016. https://monarch.qucosa.de/id/qucosa%3A20810.

Full text
Abstract:
Der stetig steigende Funktionsumfang im Automobil und die zunehmende Vernetzung von Steuergeräten erfordern neue Methoden zur Beherrschung der Komplexität in der Validierung und Verifikation. Die virtuelle Absicherung ermöglicht die Integration der Software in einem PC-System, unabhängig von der Ziel-Hardware, zur frühzeitigen Gewährleistung der Softwarequalität im Entwicklungsprozess. Ebenso kann die Wiederverwendbarkeit vorhandener Komponenten in zukünftigen Mikrocontrollern sichergestellt werden. Die Grundlage dafür liefert der AUTOSAR-Standard durch einheitliche Schnittstellenbeschreibunge
APA, Harvard, Vancouver, ISO, and other styles
6

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 text
Abstract:
Depuis plusieurs années, le marché des circuits intégrés numériques requiert des systèmes de plus en plus complexes dans un temps toujours plus réduit. Afin de répondre à ses deux exigences, les industriels de la conception font appel à des fournisseurs externes proposant des circuits fonctionnant sur des signaux d'horloge dédiés. Lorsque ces derniers communiquent entre eux, les horloges d'émission et de réception ne sont pas les mêmes, on parle de « Clock Domain Crossing » (CDC).Les CDC correspondent à des communications asynchrones et peuvent provoquer des dysfonctionnements critiques. Par a
APA, Harvard, Vancouver, ISO, and other styles
7

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 text
Abstract:
In this work, we propose a specialization of the inductive incremental coverability algorithm that solves alternating finite automata emptiness problem. We experiment with various design decisions, analyze them and prove their correctness. Even though the problem itself is PSpace-complete, we are focusing on making the decision of emptiness computationally feasible for some practical classes of applications. We have obtained interesting comparative results against state-of-the-art algorithms, especially in comparison with antichain-based algorithms.
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro verifikaci programů které manipulují s haldou (konkrétně programů s dynamickými datovými strukturami), jenž je založen na stromových automatech. V práci je navrženo několik rozšíření tohoto přístupu, jako například jeho plná automatizace či jeho rozšíření o podporu uspořádaných dat. V práci jsou popsány nové rozhodovací procedury pro dvě logiky, které jsou často používány ve
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
This project deals with given safeguard possibilities, both mechanical and electronic. A row house with garden was chosen for being secured. Subsequently, were elaborated two`s proposals of securing and guarding of this object. First, was based on camera`s system and second on common system ESS. Later on they were evaluated and the most considerable benefits were emphasized. A system based on control panel with connected detectors was selected upon specification. Subsequently was created a model of the chosen system, at which the required behaviour was simulated and verified. An outline of an
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
Abstract:
This dissertation entitled ’Model-Based Exploration of Parallelism in the Context of Automotive Multi-Core Systems’ deals with the analytical investigation of different temporal relationships for automotive multi-processor systems subject to critical, embedded, real-time, distributed, and heterogeneous domain requirements. Vehicle innovation increasingly demands high-performance platforms in terms of, e.g., highly assisted or autonomous driving such that established software development processes must be examined, revised, and advanced. The goal is not to develop application software itself, b
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "AUTOSAR OS verification"

1

Beringer, Steffen, and Heike Wehrheim. "Verification of AUTOSAR Software Architectures with Timed Automata." In Lecture Notes in Computer Science. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45943-1_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cimatti, Alessandro, Luca Cristoforetti, Alberto Griggio, et al. "EVA: a Tool for the Compositional Verification of AUTOSAR Models." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30820-8_1.

Full text
Abstract:
AbstractWe present , a framework for the integration of modern verification tools in the context of AUTOSAR, a widely-used open standard for the development of automotive software systems. Our framework enables the automatic end-to-end verification of system-level properties using a compositional approach. It combines software model checking techniques for the verification of software components at the code level with a contract-based analysis for verifying their correct composition. In this paper, we present the tool through its application on a representative automotive case study, discussin
APA, Harvard, Vancouver, ISO, and other styles
3

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. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10557-4_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Faucou, Sebastien, Francoise Simonot-Lion, and Yvon Trinquet. "Architecture Description Languages for the Automotive Domain." In Behavioral Modeling for Embedded Systems and Technologies. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-750-8.ch014.

Full text
Abstract:
The embedded electronic architecture of a modern vehicle is a distributed system composed of several tenths of nodes. The development of these systems relies on a cooperative process involving several partners (carmakers and several suppliers). In such highly competitive domain, three main factors have to be taken into account: the design and production costs, the performance, comfort, and quality of driving, and several stringent safety requirements. In order to fulfill these requirements in such a context, it is vital for the different stakeholders to master the effects of the different sour
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "AUTOSAR OS verification"

1

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. ACM, 2022. http://dx.doi.org/10.1145/3534879.3534898.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kaestner, Daniel, Stephan Wilhelm, Christoph Mallon, Stefana Schank, Christian Ferdinand, and Laurent Mauborgne. "Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software." In WCX SAE World Congress Experience. SAE International, 2023. http://dx.doi.org/10.4271/2023-01-0591.

Full text
Abstract:
<div class="section abstract"><div class="htmlview paragraph">Preventing systematic software failures is of paramount importance for any highly automatic vehicle control system, in particular for safety-critical AUTOSAR software. Among the most critical software defects are runtime errors like buffer overflows or data races. They may cause erroneous or erratic behavior, induce system failures, and constitute security vulnerabilities. Sound static analysis can be used to report all such defects in the code, or to prove their absence. It can also determine dependencies between softwa
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'AUTOSAR OS verification' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography