Journal articles: 'Automotive Embedded Systems'

1

Watzenig, Daniel, and Eric Armengaud. "Automotive Embedded Systems." e & i Elektrotechnik und Informationstechnik 128, no. 6 (June 2011): 189. http://dx.doi.org/10.1007/s00502-011-0011-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Jesty, Peter H., David D. Ward, and Roger S. Rivett. "Safety Analysis of Automotive Embedded Systems." SAE International Journal of Passenger Cars - Electronic and Electrical Systems 1, no. 1 (April 14, 2008): 255–64. http://dx.doi.org/10.4271/2008-01-0662.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Pettersson, Fredrik, Martin Ivarsson, and Peter Öhman. "Automotive use case standard for embedded systems." ACM SIGSOFT Software Engineering Notes 30, no. 4 (July 2005): 1–6. http://dx.doi.org/10.1145/1082983.1083193.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Griessnig, G., I. Kundner, E. Armengaud, S. Torchiaro, and D. Karlsson. "Improving automotive embedded systems engineering at European level." e & i Elektrotechnik und Informationstechnik 128, no. 6 (June 2011): 209–14. http://dx.doi.org/10.1007/s00502-011-0003-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Biteus, Jonas, Mathias Jensen, and Mattias Nyberg. "DISTRIBUTED DIAGNOSIS FOR EMBEDDED SYSTEMS IN AUTOMOTIVE VEHICLES." IFAC Proceedings Volumes 38, no. 1 (2005): 263–68. http://dx.doi.org/10.3182/20050703-6-cz-1902.01846.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Salewski, Falk, and Stefan Kowalewski. "Hardware/Software Design Considerations for Automotive Embedded Systems." IEEE Transactions on Industrial Informatics 4, no. 3 (August 2008): 156–63. http://dx.doi.org/10.1109/tii.2008.2002919.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Di Natale, Marco, Arkadeb Ghosal, Paolo Giusto, Alberto Sangiovanni-Vincentelli, Haibo Zeng, and Sanjit Seshia. "Guest Editorial Special Issue on Automotive Embedded Systems." IEEE Embedded Systems Letters 2, no. 2 (June 2010): 21–22. http://dx.doi.org/10.1109/les.2010.2051138.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Aleti, Aldeida. "Designing automotive embedded systems with adaptive genetic algorithms." Automated Software Engineering 22, no. 2 (April 23, 2014): 199–240. http://dx.doi.org/10.1007/s10515-014-0148-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Cuenot, Philippe, Patrick Frey, Rolf Johansson, Henrik Lönn, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, and Matthias Weber. "Engineering support for automotive embedded systems beyond Autosar." ATZautotechnology 9, no. 2 (March 2009): 46–50. http://dx.doi.org/10.1007/bf03247113.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Skruch, Pawel, and Gabriel Buchala. "Model-Based Real-Time Testing of Embedded Automotive Systems." SAE International Journal of Passenger Cars - Electronic and Electrical Systems 7, no. 2 (April 1, 2014): 337–44. http://dx.doi.org/10.4271/2014-01-0188.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Chen, D., R. Johansson, H. Lönn, H. Blom, M. Walker, Y. Papadopoulos, S. Torchiaro, F. Tagliabo, and A. Sandberg. "Integrated safety and architecture modeling for automotive embedded systems*." e & i Elektrotechnik und Informationstechnik 128, no. 6 (June 2011): 196–202. http://dx.doi.org/10.1007/s00502-011-0007-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Armengaud, E., A. Steininger, and M. Horauer. "Towards a Systematic Test for Embedded Automotive Communication Systems." IEEE Transactions on Industrial Informatics 4, no. 3 (August 2008): 146–55. http://dx.doi.org/10.1109/tii.2008.2002704.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

N.T, Vighnesh, Rachana Anil, Rohith Kumar D, Sanjana Sharvana, Rajeshwari Hegde, and B. S. Nagabhushana. "Application of Inverse Perspective Mapping for Advanced Driver Assistance Systems in Automotive Embedded Systems." International Journal of Reconfigurable and Embedded Systems (IJRES) 6, no. 3 (May 28, 2018): 150. http://dx.doi.org/10.11591/ijres.v6.i3.pp150-159.

Full text

Abstract:

<span style="font-size: 9.0pt; font-family: 'Times New Roman','serif'; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA; mso-bidi-font-weight: bold;">In the recent times vehicle manufactures and automotive suppliers are progressing towards building vision based subsystems for provisioning driver assistance while targeting the automotive safety critical needs. While the acquired images constitute the fundamental input for any vision based system, transforms on images become essential to derive and gain insight into certain specific features. These derived features are used and reused at multiple places for varied automotive applications. This situation warrants a scalable and flexible image processing platform for a class of automotive applications. An attempt is made in this Research work to propose architecture that, specially, includes a layer of image transformations and to implement a prototype image processing platform. Inverse Perspective Mapping (IPM), a widely used class of transforms is emphasized in the present architecture alongside other nominal transforms. Lane departure warning system is implemented on this platform for the purpose of illustration and to analyze the effectiveness of the proposed architecture</span>

APA, Harvard, Vancouver, ISO, and other styles

14

Garg, Mohit, and Richard Lai. "A Method for Measuring the Constraint Complexity of Components in Automotive Embedded Software Systems." International Journal of Software Engineering and Knowledge Engineering 29, no. 01 (January 2019): 1–21. http://dx.doi.org/10.1142/s0218194019500013.

Full text

Abstract:

The rapid growth of software-based functionalities has made automotive Electronic Control Units (ECUs) significantly complex. Factors affecting the software complexity of components embedded in an ECU depend not only on their interface and interaction properties, but also on the structural constraints characterized by a component’s functional semantics and timing constraints described by AUTomotive Open System ARchitecture (AUTOSAR) languages. Traditional constraint complexity measures are not adequate for the components in embedded software systems as they do not yet sufficiently provide a measure of the complexity due to timing constraints which are important for quantifying the dynamic behavior of components at run-time. This paper presents a method for measuring the constraint complexity of components in automotive embedded software systems at the specification level. It first enables system designers to define non-deterministic constraints on the event chains associated with components using the AUTOSAR-based Modeling and Analysis of Real-Time and Embedded systems (MARTE)-UML and Timing Augmented Description Language (TADL). Then, system analysts use Unified Modeling Language (UML)-compliant Object Constraint Language (OCL) and its Real-time extension (RT-OCL) to specify the structural and timing constraints on events and event chains and estimate the constraint complexity of components using a measure we have developed. A preliminary version of the method was presented in M. Garg and R. Lai, Measuring the constraint complexity of automotive embedded software systems, in Proc. Int. Conf. Data and Software Engineering, 2014, pp. 1–6. To demonstrate the usefulness of our method, we have applied it to an automotive Anti-lock Brake System (ABS).

APA, Harvard, Vancouver, ISO, and other styles

15

Lee, Kangseok, Inseok Park, Myoungho SunWoo, and Wootaik Lee. "AUTOSAR-ready Light Software Architecture for Automotive Embedded Control Systems." Transactions of the Korean Society of Automotive Engineers 21, no. 1 (January 1, 2013): 68–77. http://dx.doi.org/10.7467/ksae.2013.21.1.068.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Pham, Trung-Dung, Van-Tien Nguyen, and Truong-Son Nguyen. "Development of a Many-core Architecture for Automotive Embedded Systems." Journal of Automation and Control Engineering 4, no. 2 (2016): 147–52. http://dx.doi.org/10.12720/joace.4.2.147-152.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Iqbal, Danish, Assad Abbas, Mazhar Ali, Muhammad Usman Shahid Khan, and Raheel Nawaz. "Requirement Validation for Embedded Systems in Automotive Industry Through Modeling." IEEE Access 8 (2020): 8697–719. http://dx.doi.org/10.1109/access.2019.2963774.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Kukkala, Vipin Kumar, Sooryaa Vignesh Thiruloga, and Sudeep Pasricha. "INDRA: Intrusion Detection Using Recurrent Autoencoders in Automotive Embedded Systems." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39, no. 11 (November 2020): 3698–710. http://dx.doi.org/10.1109/tcad.2020.3012749.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Chakraborty, Samarjit, and S. Ramesh. "Guest Editorial Special Section on Automotive Embedded Systems and Software." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 34, no. 11 (November 2015): 1701–3. http://dx.doi.org/10.1109/tcad.2015.2488378.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Thüm, Thomas, Sandro Schulze, Mario Pukall, Gunter Saake, and Sebastian Günther. "Secure and Customizable Data Management for Automotive Systems: A Feasibility Study." ISRN Software Engineering 2012 (March 18, 2012): 1–7. http://dx.doi.org/10.5402/2012/424230.

Full text

Abstract:

Custom tailor-made database management systems (DBMS) are an essential asset, especially for embedded systems. The continuously increasing amount of data in automotive systems and the growing network of embedded devices can profit from DBMS. Restrictions in terms of processors, memory, and storage require customizable DBMS that contain only the needed functionality. We present AutoDaMa, a customizable DBMS designed for automotive systems. With AutoDaMa, it is possible to generate tailor-made DBMS for different scenarios, for example, by restricting the storage size of the DBMS or adding security-related features such as asymmetric and symmetric encryption. We demonstrate the feasibility of our approach through applying different tailor-made DBMS versions derived from AutoDaMa in an automotive testing environment. Our experience is that AutoDaMa can dramatically reduce the development effort and can increase reliability using efficient reuse mechanisms.

APA, Harvard, Vancouver, ISO, and other styles

21

Zeller, Marc, and Christian Prehofer. "A Multi-Layered Control Approach for Self-Adaptation in Automotive Embedded Systems." Advances in Software Engineering 2012 (October 4, 2012): 1–15. http://dx.doi.org/10.1155/2012/971430.

Full text

Abstract:

We present an approach for self-adaptation in automotive embedded systems using a hierarchical, multi-layered control approach. We model automotive systems as a set of constraints and define a hierarchy of control loops based on different criteria. Adaptations are performed at first locally on a lower layer of the architecture. If this fails due to the restricted scope of the control cycle, the next higher layer is in charge of finding a suitable adaptation. We compare different options regarding responsibility split in multi-layered control in a self-healing scenario with a setup adopted from automotive in-vehicle networks. We show that a multi-layer control approach has clear performance benefits over a central control, even though all layers work on the same set of constraints. Furthermore, we show that a responsibility split with respect to network topology is preferable over a functional split.

APA, Harvard, Vancouver, ISO, and other styles

22

Baunach, Marcel, Renata Martins Gomes, Maja Malenko, Fabian Mauroner, Leandro Batista Ribeiro, and Tobias Scheipel. "Smart mobility of the future – a challenge for embedded automotive systems." e & i Elektrotechnik und Informationstechnik 135, no. 4-5 (June 27, 2018): 304–8. http://dx.doi.org/10.1007/s00502-018-0623-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Larses, Ola. "3.1.3 Applying quantitative methods for architecture design of embedded automotive systems." INCOSE International Symposium 15, no. 1 (July 2005): 398–408. http://dx.doi.org/10.1002/j.2334-5837.2005.tb00678.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

ANGUITA, DAVIDE, LUCA CARLINO, ALESSANDRO GHIO, and SANDRO RIDELLA. "A FPGA CORE GENERATOR FOR EMBEDDED CLASSIFICATION SYSTEMS." Journal of Circuits, Systems and Computers 20, no. 02 (April 2011): 263–82. http://dx.doi.org/10.1142/s0218126611007244.

Full text

Abstract:

We describe in this work a Core Generator for Pattern Recognition tasks. This tool is able to generate, according to user requirements, the hardware description of a digital architecture, which implements a Support Vector Machine, one of the current state-of-the-art algorithms for Pattern Recognition. The output of the Core Generator consists of a high-level language hardware core description, suitable to be mapped on a reconfigurable device, like a Field Programmable Gate Array (FPGA). As an example of the use of our tool, we compare different solutions, by targeting several reconfigurable devices, and implement the recognition part of a machine vision system for automotive applications.

APA, Harvard, Vancouver, ISO, and other styles

25

Yin, Xiao Feng, Jing Xing Tan, Xiu Ting Wu, and Zhi Jun Gong. "A Performance Modeling Language for Automotive Embedded Control Systems Based on UML." Applied Mechanics and Materials 236-237 (November 2012): 344–49. http://dx.doi.org/10.4028/www.scientific.net/amm.236-237.344.

Full text

Abstract:

To improve the timing related performance of the embedded software of automotive control system, a performance modeling language has been developed based on UML (Unified Modeling Language) using meta-modeling technique. The proposed language consists of three kinds of meta-models used to define the high-level modeling paradigms for software structure, target platform and runtime system respectively. The modeling environment configured by the proposed language and software modules of functional model importation, components allocation, task forming and timing analysis can reuse the existing functional models, add timing requirement as well as resource constraints, and fulfill formal timing analysis at an early design stage. As results, the reliability of the automotive embedded control software can be improved and the development cycle and cost can also be reduced.

APA, Harvard, Vancouver, ISO, and other styles

26

Syschikov, Alexey, Yuriy Sheynin, Boris Sedov, and Vera Ivanova. "Domain-Specific Programming Environment for Heterogeneous Multicore Embedded Systems." International Journal of Embedded and Real-Time Communication Systems 5, no. 4 (October 2014): 1–23. http://dx.doi.org/10.4018/ijertcs.2014100101.

Full text

Abstract:

Nowadays embedded systems are used in a broad range of domains such as avionics, space, automotive, mobile, domestic appliances etc. Sophisticated software determines the quality of embedded systems and requires high-qualified experts for software development. Software becomes the main assert of embedded systems that is valuable to retain in changing computing platforms in embedded systems evolution. Computing platforms for embedded systems became multicore processors and SoC, they can change in the embedded system lifetime that could be long (dozen of years for an automobile and airplane). It requires software porting to new platforms as a regular process. Many tools and approaches allow developing of software for domain area experts, but mainly for general-purpose computing systems. In this paper the authors present the complex technology and tools that allows involving domain experts in software development for embedded systems. The proposed technology has various aspects and abilities that can be used to build verifiable and portable software for a wide range of embedded platforms.

APA, Harvard, Vancouver, ISO, and other styles

27

Zhang, Hong Kun, and Wen Jun Li. "The Application of ISO WD 26262 for Automotive Embedded System." Advanced Materials Research 317-319 (August 2011): 1577–80. http://dx.doi.org/10.4028/www.scientific.net/amr.317-319.1577.

Full text

Abstract:

Safety is one of the key issues of future automotive development. With the trend of increasing functionality and complexity in automotive embedded system, there are increasing risks of functional failures. It is necessary to perform the functional safety process throughout the safety lifecycle of these systems. The appearance of the new functional safety standard ISO WD 26262 also makes the consideration of functional safety as part of the design and implementation process for these systems. This paper introduces the new standard ISO WD 26262 and analyses its features. The safety life cycle according to the new standard, activities necessary for the achievement of functional safety during the development phase are shown. An example application according to ISO WD 26262 is given and the process and methods of functional safety analysis in this example are proposed.

APA, Harvard, Vancouver, ISO, and other styles

28

Seepold, Ralf, Natividad Martínez Madrid, Jesús Sáez Gómez-Escalonilla, and Alvaro Reina Nieves. "An Embedded Software Platform for Distributed Automotive Environment Management." EURASIP Journal on Embedded Systems 2009 (2009): 1–10. http://dx.doi.org/10.1155/2009/856962.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Volpi, Emilio, Luca Fanucci, Adolfo Giambastiani, Alessandro Rocchi, Francesco D'Ascoli, Marco Tonarelli, Massimiliano Melani, and Corrado Marino. "A Mixed-Signal Embedded Platform for Automotive Sensor Conditioning." EURASIP Journal on Embedded Systems 2010, no. 1 (2010): 945646. http://dx.doi.org/10.1155/2010/945646.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Bello, Lucia Lo, Riccardo Mariani, Saad Mubeen, and Sergio Saponara. "Recent Advances and Trends in On-Board Embedded and Networked Automotive Systems." IEEE Transactions on Industrial Informatics 15, no. 2 (February 2019): 1038–51. http://dx.doi.org/10.1109/tii.2018.2879544.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Lefarth, U., U. Baum, T. Beck, K. Werther, and T. Zurawka. "An integrated approach to rapid product development for embedded automotive control systems." Control Engineering Practice 6, no. 4 (April 1998): 529–40. http://dx.doi.org/10.1016/s0967-0661(98)00048-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Shoukry, Yasser, M. Watheq El-Kharashi, and Sherif Hammad. "MPC-On-Chip: An Embedded GPC Coprocessor for Automotive Active Suspension Systems." IEEE Embedded Systems Letters 2, no. 2 (June 2010): 31–34. http://dx.doi.org/10.1109/les.2010.2051794.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Braun, Peter, Manfred Broy, Frank Houdek, Matthias Kirchmayr, Mark Müller, Birgit Penzenstadler, Klaus Pohl, and Thorsten Weyer. "Guiding requirements engineering for software-intensive embedded systems in the automotive industry." Computer Science - Research and Development 29, no. 1 (October 20, 2010): 21–43. http://dx.doi.org/10.1007/s00450-010-0136-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Wang, Hao, Dian Ren Chen, and Ze Yu Han. "Embedded Systems Based on Simple GPS Auto Navigation System." Advanced Materials Research 1030-1032 (September 2014): 1480–83. http://dx.doi.org/10.4028/www.scientific.net/amr.1030-1032.1480.

Full text

Abstract:

GPS (Global Positioning System) technology is the GPS car navigation technology with the rapid development of embedded technology, the automotive industry and the gradual rise of the market based on various types of GPS navigation products are more technically larger gap, a variety of GPS good and bad, regardless of the quality of the product. This paper analyzes the current status of the development of domestic and foreign car navigation systems, GPS car navigation system for the discussion in order to build a $ 3C2440 embedded development board as the core hardware system, built with WinCE platform for car navigation software for the system, using EVC (Embedded Visual C++) and eSuperMap software tools designed to be able to search the electronic navigation maps for route intelligent navigation software system.

APA, Harvard, Vancouver, ISO, and other styles

35

Dobaj, Jürgen, Damjan Ekert, Jakub Stolfa, Svatopluk Stolfa, Georg Macher, and Richard Messnarz. "Cybersecurity Threat Analysis, Risk Assessment and Design Patterns for Automotive Networked Embedded Systems: A Case Study." JUCS - Journal of Universal Computer Science 27, no. 8 (August 28, 2021): 830–49. http://dx.doi.org/10.3897/jucs.72367.

Full text

Abstract:

Cybersecurity has become a crucial challenge in the automotive sector. At the current stage, the framework described by the ISO/SAE 21434 is insufficient to derive concrete methods for the design of secure automotive networked embedded systems on the supplier level. This article describes a case study with actionable steps for designing secure systems and systematically eliciting traceable cybersecurity requirements to address this gap. The case study is aligned with the ISO/SAE 21434 standard and can provide the basis for integrating cybersecurity engineering into company-specific processes and practice specifications.

APA, Harvard, Vancouver, ISO, and other styles

36

Shoukry, Yasser, M. Watheq El-Kharashi, Mohamed El-Shafey, and Sherif Hammad. "Towards Real-Time Networked Embedded Generalized Predictive Control for Automotive Active Suspension Systems." IFAC Proceedings Volumes 43, no. 7 (July 2010): 348–53. http://dx.doi.org/10.3182/20100712-3-de-2013.00052.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Becker, Matthias, Dakshina Dasari, Saad Mubeen, Moris Behnam, and Thomas Nolte. "End-to-end timing analysis of cause-effect chains in automotive embedded systems." Journal of Systems Architecture 80 (October 2017): 104–13. http://dx.doi.org/10.1016/j.sysarc.2017.09.004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Biehl, Matthias, Chen DeJiu, and Martin Törngren. "Integrating safety analysis into the model-based development toolchain of automotive embedded systems." ACM SIGPLAN Notices 45, no. 4 (April 13, 2010): 125–32. http://dx.doi.org/10.1145/1755951.1755907.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Ross, Jordan A., Alexandr Murashkin, Jia Hui Liang, Michał Antkiewicz, and Krzysztof Czarnecki. "Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems." Software & Systems Modeling 18, no. 1 (April 10, 2017): 739–67. http://dx.doi.org/10.1007/s10270-017-0592-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Sreedhar, Thanthry, and S. Remya. "Techniques for Reprogramming the Boot in Automotive Embedded Controllers." SAE International Journal of Passenger Cars - Electronic and Electrical Systems 1, no. 1 (April 14, 2008): 144–49. http://dx.doi.org/10.4271/2008-01-0384.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

SANJABI, MERCEDEH, SOMAYEH MAABI, ZAHRA ESMAEILI, ALI JAHANIAN, and SIRVAN KHALIGHI. "A LANDMARK-BASED NAVIGATION SYSTEM FOR HIGH SPEED CARS IN THE ROADS WITH BRANCHES." International Journal of Information Acquisition 06, no. 03 (September 2009): 193–202. http://dx.doi.org/10.1142/s0219878909001928.

Full text

Abstract:

Landmark-based car navigation is a widely used technique for automotive and robot navigation. Wireless landmarks have some key features such as robustness and simple detection that make them suitable for automotive navigation. In this paper, a light-weight embedded algorithm for high speed car navigation in the roads with branches is presented which can be efficiently used in real-time automotive systems. We implemented the proposed algorithm on a real-time MIPS-based embedded system and analyzed its accuracy and efficiency in some real road maps, especially for high speed movements in real roads. Experimental results show that the proposed algorithm can be used for high speeds (up to about 360 km/h) with a very small error rate. Additionally, the experimental results show that the power consumption of the proposed system is suitable for built-in car applications.

APA, Harvard, Vancouver, ISO, and other styles

42

Todorov, Vassil, Safouan Taha, Frederic Boulanger, and Armando Hernandez. "Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root." Modeling and Analysis of Information Systems 26, no. 4 (December 27, 2019): 520–33. http://dx.doi.org/10.18255/1818-1015-2019-4-520-533.

Full text

Abstract:

For many years, automotive embedded systems have been validated only by testing. In the near future, Advanced Driver Assistance Systems (ADAS) will take a greater part in the car’s software design and development. Furthermore, their increasing critical level may lead authorities to require a certification for those systems. We think that bringing formal proof in their development can help establishing safety properties and get an efficient certification process. Other industries (e.g. aerospace, railway, nuclear) that produce critical systems requiring certification also took the path of formal verification techniques. One of these techniques is deductive proof. It can give a higher level of confidence in proving critical safety properties and even avoid unit testing.In this paper, we chose a production use case: a function calculating a square root by linear interpolation. We use deductive proof to prove its correctness and show the limitations we encountered with the off-the-shelf tools. We propose approaches to overcome some limitations of these tools and succeed with the proof. These approaches can be applied to similar problems, which are frequent in the automotive embedded software.

APA, Harvard, Vancouver, ISO, and other styles

43

Kukkala, Vipin Kumar, Sooryaa Vignesh Thiruloga, and Sudeep Pasricha. "LATTE: L STM Self- Att ention based Anomaly Detection in E mbedded Automotive Platforms." ACM Transactions on Embedded Computing Systems 20, no. 5s (October 31, 2021): 1–23. http://dx.doi.org/10.1145/3476998.

Full text

Abstract:

Modern vehicles can be thought of as complex distributed embedded systems that run a variety of automotive applications with real-time constraints. Recent advances in the automotive industry towards greater autonomy are driving vehicles to be increasingly connected with various external systems (e.g., roadside beacons, other vehicles), which makes emerging vehicles highly vulnerable to cyber-attacks. Additionally, the increased complexity of automotive applications and the in-vehicle networks results in poor attack visibility, which makes detecting such attacks particularly challenging in automotive systems. In this work, we present a novel anomaly detection framework called LATTE to detect cyber-attacks in Controller Area Network (CAN) based networks within automotive platforms. Our proposed LATTE framework uses a stacked Long Short Term Memory (LSTM) predictor network with novel attention mechanisms to learn the normal operating behavior at design time. Subsequently, a novel detection scheme (also trained at design time) is used to detect various cyber-attacks (as anomalies) at runtime. We evaluate our proposed LATTE framework under different automotive attack scenarios and present a detailed comparison with the best-known prior works in this area, to demonstrate the potential of our approach.

APA, Harvard, Vancouver, ISO, and other styles

44

Short, Michael, and Michael J. Pont. "Assessment of high-integrity embedded automotive control systems using hardware in the loop simulation." Journal of Systems and Software 81, no. 7 (July 2008): 1163–83. http://dx.doi.org/10.1016/j.jss.2007.08.026.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Boutekkouk, Fateh. "Agent-based methodology for design and simulation of automotive distributed embedded systems communication protocols." International Journal of Systems, Control and Communications 6, no. 3 (2015): 254. http://dx.doi.org/10.1504/ijscc.2015.068913.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Bhat, Anand, Soheil Samii, and Ragunathan Rajkumar. "Practical task allocation for software fault-tolerance and its implementation in embedded automotive systems." Real-Time Systems 55, no. 4 (September 6, 2019): 889–924. http://dx.doi.org/10.1007/s11241-019-09339-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Ashjaei, Mohammad, Lucia Lo Bello, Masoud Daneshtalab, Gaetano Patti, Sergio Saponara, and Saad Mubeen. "Time-Sensitive Networking in automotive embedded systems: State of the art and research opportunities." Journal of Systems Architecture 117 (August 2021): 102137. http://dx.doi.org/10.1016/j.sysarc.2021.102137.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Ab Rahman, Ahmad Faiz, Hazlina Selamat, Ahmad Jais Alimin, Mohd Taufiq Muslim, Muhammad Mazizan Msduki, and Nurulaqilla Khamis. "Automotive Real-Time Data Acquisition Using Wi-Fi Connected Embedded System." ELEKTRIKA- Journal of Electrical Engineering 18, no. 3-2 (December 24, 2019): 7–12. http://dx.doi.org/10.11113/elektrika.v18n3-2.189.

Full text

Abstract:

The advancement in embedded systems, which includes the mass deployment of internet-connected electronics, allows the concept of Internet of Things (IoT), to become a reality. This paper discusses one example of how an internet-connected embedded system is utilized in an automotive system. An Electronic Control Unit (ECU), which functions as a control unit in a fuel injection system, are equipped with Wi-Fi capability and installed on 110cc motorcycle. The ECU is connected to multiple sensors that is used by the ECU as part of control system, as well as giving raw data in real time to the server by using Wi-Fi as the communication medium. The server will accumulate data transmitted from ECU by using MQTT protocol, chosen due to its minimal data profile. The data can be visualized through web portal, or opened by any other web-enabled devices. The data collected may also be used later for any other purposes, such as On-Board Diagnostics (OBD) system, etc.

APA, Harvard, Vancouver, ISO, and other styles

49

Firth, R. S., and D. Fitzgerald. "Group Embedded Figures Test: Normative Data for Male Automotive Mechanical Apprentice Tradesmen." Perceptual and Motor Skills 60, no. 3 (June 1985): 803–6. http://dx.doi.org/10.2466/pms.1985.60.3.803.

Full text

Abstract:

The Group Embedded Figures Test was administered to 274 male students enrolled in a part-time automotive mechanical apprenticeship course. Distribution characteristics and the resultant norms are compared to earlier normative data reported in the literature and the test manual. The present sample was similar to the preliminary normative group in field-dependence/independence. A number of questions are raised regarding theoretical assumptions underlying current use of the test.

APA, Harvard, Vancouver, ISO, and other styles

50

Nguyen, Thang, and Stuart Wooters. "FPGA-Based Development for Sophisticated Automotive Embedded Safety Critical System." SAE International Journal of Passenger Cars - Electronic and Electrical Systems 7, no. 1 (April 1, 2014): 125–32. http://dx.doi.org/10.4271/2014-01-0240.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'Automotive Embedded Systems'

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