scholarly journals Requirement Validation for Embedded Systems in Automotive Industry Through Modeling

IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 8697-8719 ◽  
Author(s):  
Danish Iqbal ◽  
Assad Abbas ◽  
Mazhar Ali ◽  
Muhammad Usman Shahid Khan ◽  
Raheel Nawaz
Keyword(s):  
Embedded Systems ◽  
Automotive Industry ◽  
Requirement Validation

scholarly journals Industrial Examples of Formal Specifications for Test Case Generation

10.29007/z9ph ◽  
2018 ◽  
Author(s):  
Hendrik Roehm ◽  
Rainer Gmehlich ◽  
Thomas Heinz ◽  
Jens Oehlerking ◽  
Matthias Woehrle
Keyword(s):  
Embedded Systems ◽  
Requirements Engineering ◽  
Automotive Industry ◽  
Test Case Generation ◽  
Test Case ◽  
Formal Specifications ◽  
Discrete Events ◽  
The Past ◽  
Formal Representations

While requirements engineering has received considerable attention inacademia over the past years, formalization of requirements for physicallyinfluenced systems is still a difficult task in practice. In this paper, we giveformal representations of some typical requirement classes arising in theautomotive industry. We divide these patterns into three main classes:those mostly referring to properties of continuous signals, those mostlyreferring to discrete events and those referring to similarity to a referencesignal. We discuss these patterns on concrete examples from automotiveembedded systems, where specifications are used for test case generation.

scholarly journals Using S-TaLiRo on Industrial Size Automotive Models

10.29007/kwp3 ◽  
2018 ◽  
Author(s):  
Bardh Hoxha ◽  
Houssam Abbas ◽  
Georgios Fainekos
Keyword(s):  
Embedded Systems ◽  
Automotive Industry ◽  
Industrial Scale ◽  
High Fidelity ◽  
Formal Specifications ◽  
Engine Model ◽  
Model Based

In Model Based Development (MBD) of embedded systems, it is often desirable to verify or falsify certain formal specifications. In some cases it is also desirable to find the range of specification parameters for which the specification does not hold on the system. We illustrate these methods on a challenge problem from the automotive industry on a high-fidelity, industrial scale engine model.

Guiding requirements engineering for software-intensive embedded systems in the automotive industry

2010 ◽  
Vol 29 (1) ◽  
pp. 21-43 ◽  
Author(s):  
Peter Braun ◽  
Manfred Broy ◽  
Frank Houdek ◽  
Matthias Kirchmayr ◽  
Mark Müller ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Requirements Engineering ◽  
Automotive Industry ◽  
Software Intensive

Microstructure of an extruded rapidly solidified Al-8Fe-2Mo alloy

1986 ◽  
Vol 44 ◽  
pp. 548-549
Author(s):  
W. T. Donlon ◽  
J. E. Allison ◽  
S. Shinozaki
Keyword(s):  
Electron Microscopy ◽  
Automotive Industry ◽  
Fuel Economy ◽  
High Strength ◽  
Al Alloys ◽  
Light Weight ◽  
Thin Sections ◽  
Strength And Durability ◽  
Rapidly Solidified ◽  
Whitney Aircraft

Light weight materials which possess high strength and durability are being utilized by the automotive industry to increase fuel economy. Rapidly solidified (RS) Al alloys are currently being extensively studied for this purpose. In this investigation the microstructure of an extruded Al-8Fe-2Mo alloy, produced by Pratt & Whitney Aircraft, Goverment Products Div. was examined in a JE0L 2000FX AEM. Both electropolished thin sections, and extraction replicas were examined to characterize this material. The consolidation procedure for producing this material included a 9:1 extrusion at 340°C followed by a 16:1 extrusion at 400°C, utilizing RS powders which have also been characterized utilizing electron microscopy.

Mexican practical anthropometry of automotive industry workers

2010 ◽  
Author(s):  
Bustillos Enrique de la Vega ◽  
Karla Lucero Duarte ◽  
Octavio Lopez Millan
Keyword(s):  
Automotive Industry
Sign in / Sign up

Export Citation Format

Share Document