Log in

Relevant bibliographies by topics / AUTOSAR OS verification / Journal articles

To see the other types of publications on this topic, follow the link: AUTOSAR OS verification.

Journal articles 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 top 22 journal articles for your research 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

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

11

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.

Full text

Abstract:

The objective of the paper is a static analysis of a desk construction and the determination of its probable mechanical behaviour using Finite Element Method. The construction was modelled and numerically analysed in Autocad Inventor 2011 and the stability of the entire desk was calculated with the size and placement of the loading force based on the standards and cited literature. Possible locations and directions of the deformation were analysed and a solution for its prevention was proposed and the stability of the desk as well as the extreme position of the stand were calculated. The verif

APA, Harvard, Vancouver, ISO, and other styles

12

Rego Maia, Rafaella, Patricia Froes Meyer, Rodrigo Marcel Valentim Da Silva, et al. "EFFECTS OF TECAR THERAPY ASSOCIATED WITH MANUAL THERAPY ON GLUTEAL SKIN FLACCIDITY." International Journal of Advanced Research 9, no. 02 (2021): 902–10. http://dx.doi.org/10.21474/ijar01/12533.

Full text

Abstract:

Background: A new technology called Tecar therapy, widely used in the orthopaedic area, has been studied in aesthetics in order to treat skin flaccidity. The equipment allows the association of radiofrequency with manual therapy. This study is an experimental research that aims to analyse the effects of the Tecar therapy associated with manual therapy on skin flaccidity of the gluteal region. Methods:Volunteers were individuals aged between 21 and 54, who presented skin flaccidity in the gluteal region. The sessions/applicationsoccurred once a week, totalling four applications with the TR THER

APA, Harvard, Vancouver, ISO, and other styles

13

Chau, K. W., and S. L. Ng. "A ROBUST INTEGRATED COMPUTER-AIDED DESIGN PACKAGE FOR URBAN DRAINAGE NETWORKS." Water Science and Technology 30, no. 1 (1994): 117–20. http://dx.doi.org/10.2166/wst.1994.0012.

Full text

Abstract:

This paper presents the development and verification of a computer aided design and drafting package for medium sized municipal storm water drainage systems (DRAINAGE). The numerical model, which is designed for use on microcomputers, is written in PASCAL Language and is compiled by PC software TURBO PASCAL version 6.0. The computer package for flow prediction and drainage design applies the Colebrook White Equation and the Rational Method to route pipe flows through tree-type drainage networks, automatically adjusting drainage pipe diameters to fulfil flow requirements and backwater effects.

APA, Harvard, Vancouver, ISO, and other styles

14

Zhang, Hongfei. "A Novel Underground Culvert Detection and Positioning System Projected along the Public Vertical Line." Journal of Combinatorial Mathematics and Combinatorial Computing 119, no. 1 (2024): 233–44. http://dx.doi.org/10.61091/jcmcc119-23.

Full text

Abstract:

The limitations of existing procedures make it difficult to locate and identify old subterranean culverts in urban infrastructure management. In order to effectively manage urban infrastructure, subterranean pipe culverts must be accurately located and detected. In this research, we investigate the method of computing the shortest distance from the point to the ellipse and propose a pipeline collision detection method based on the projection of the direction of the common perpendicular. In the positioning accuracy test, we simulate the detection of straight and curved paths and obtain satisfac

APA, Harvard, Vancouver, ISO, and other styles

15

Pleşu, Gheorghe. "The Computer-Assisted Design Method of Staggered-Tooth Milling Cutter for Manufacturing of the Complex Helical Surfaces." Advanced Materials Research 1036 (October 2014): 388–93. http://dx.doi.org/10.4028/www.scientific.net/amr.1036.388.

Full text

Abstract:

The complex helical surfaces specific for the rotors of the helical compressors and of the screw pumps imply the production of a series of tools providing a high productivity. The staggered-tooth milling cutter achieve these conditions but their design gives rise to difficult problems. In order to optimize their parameters and to facilitate their design, a package of programs has been created to select the constructive parameters of the tool, to calculate the profiles of the plates, the angles of the surface of section, the dimensions of the elements of attachment. In order to include all thes

APA, Harvard, Vancouver, ISO, and other styles

16

Midiawati, Eka, Elfi Amir, and Gilang Trio Putra. "Design Of Helicopter Entry Point At Perum LPPNPI Kendari Branch." International Journal of Progressive Sciences and Technologies 40, no. 1 (2023): 318. http://dx.doi.org/10.52155/ijpsat.v40.1.5580.

Full text

Abstract:

This research aims to design a helicopter entry point design that matches the needs of users at Kendari Airport. The method that will be used in this research is the Research and Development method, to be precise Research and Development Level 1. The population used in this research are ATC personnel at Perum LPPNPI Kendari Branch, expert teaching staff in the ATC field, and experts in Procedures for Air Navigation Services and Aircraft Operations (PANS-OPS). Data collection techniques used are documentation studies and interviews. The data processing technique used is the data analysis techni

APA, Harvard, Vancouver, ISO, and other styles

17

Карпюк, Л. В., and Н. О. Давіденко. "Computer practice in engineering graphics." ВІСНИК СХІДНОУКРАЇНСЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ імені Володимира Даля, no. 4(260) (March 10, 2020): 29–33. http://dx.doi.org/10.33216/1998-7927-2020-260-4-29-33.

Full text

Abstract:

The article discusses the problems of teaching students engineering and computer graphics in a single course based on a computer-aided design (CAD) system. Examples of training tasks for acquiring knowledge, skills and abilities in the environment of the drawing and graphic editor of the AutoCAD system are given. They are necessary when performing drawings on engineering graphics, as well as the graphic part of course projects for students of mechanical specialties. Examples of exercises for self-study of the material are considered for a deeper study of the drawing-graphic module structure of

APA, Harvard, Vancouver, ISO, and other styles

18

Cordeiro, Cícera Josevânia Daniel, Thiago Mielle Brito Ferreira Oliveira, Carmen Luce Durate Da Silva, Adriana Rodrigues Machado, and Maria Inês Rodrigues Machado. "Evaluation of vitamin C content and analysis by infrared spectroscopy of the pulp of araçá Psidium brownianum Mart. Ex DC." Brazilian Journal of Development 9, no. 12 (2023): 31633–42. http://dx.doi.org/10.34117/bjdv9n12-071.

Full text

Abstract:

Araçá, belonging to the Myrtaceae family, is a small, round fruit with soft pulp. Araçá species have shown an important potential with characteristics of nutritional interest, such as richness in vitamins and antioxidants. Therefore, the objective of this study was to determine the vitamin C content and perform infrared analysis of the pulp of the araçá species Psidium brownianum Mart. ex DC, found in the National Forest of Araripe, Ceará, Brazil. The analysis of ascorbic acid content was performed by electrochemical technique using a Potentiostat/Galvanostat, Metrohn Autolab, model PGSTAT 101

APA, Harvard, Vancouver, ISO, and other styles

19

Mohd Safie, Aimi Nadira, Khairul Nizam Abdul Maulud, Othman Jaafar, et al. "Auditing Road Maintenance Work Using Unmanned Aerial Vehicle." Jurnal Kejuruteraan si1, no. 5 (2018): 23–27. http://dx.doi.org/10.17576/jkukm-2018-si1(5)-04.

Full text

Abstract:

Road maintenance works performed by contractors require validation upon completion. Conventional methods are typically chosen to validate the works. Geographic Information System (GIS) is applied in this study to produce accurate data such that waste from road maintenance costs can be minimised. In this study, Unmanned Aerial Vehicle (UAV) was used to observe the images of two roads, namely Jalan Gelanggang and Jalan Temuan, both of which are under maintenance at the Universiti Kebangsaan Malaysia. The objectives of this study are; to determine the ability of UAV technology in supervision and

APA, Harvard, Vancouver, ISO, and other styles

20

Zhang, Miaomiao, Yu Teng, Hui Kong, et al. "Automatic modelling and verification of Autosar architectures." Journal of Systems and Software, March 2023, 111675. http://dx.doi.org/10.1016/j.jss.2023.111675.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Bodei, Chiara, Marco De Vincenzi, and Ilaria Matteucci. "Formal analysis of an AUTOSAR-based basic software module." International Journal on Software Tools for Technology Transfer, August 5, 2024. http://dx.doi.org/10.1007/s10009-024-00759-w.

Full text

Abstract:

AbstractThe widespread use of advanced driver assistance systems in modern vehicles, together with their integration with the Internet and other road nodes, has made vehicle more vulnerable to cyber-attacks. To address these risks, the automotive industry is increasingly focusing on the development of security solutions: formal methods and software verification techniques, which have been successfully applied to a number of safety-critical systems, could be a promising approach in the automotive area. In this work, we concentrate on in-vehicle communications, provided by many Electronic Contro

APA, Harvard, Vancouver, ISO, and other styles

22

Haur, Imane, Jean-Luc Béchennec, and Olivier H. Roux. "Formal verification process of the compliance of a multicore AUTOSAR OS." Software Quality Journal, May 25, 2023. http://dx.doi.org/10.1007/s11219-023-09626-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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!