Model-Based Development of Automotive Embedded Systems

Törngren, Martin; Chen, DeJiu; Malvius, Diana; Axelsson, Jakob

doi:10.1201/9780849380273-10

Cited by 3 publications

(4 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Synthesis based on models help to improve efficiency of development by automating certain design steps, thereby removing certain sources of faults, see e.g. Törngren et al (2008).…”

Section: How Is Complexity Dealt With In Cps Engineeringmentioning

confidence: 99%

“…Efforts in this area stem from a variety of directions including product-life cycle management (mechanical engineering) and application life-cycle management (software engineering), see e.g. Törngren et al (2008), towards CPS life-cycle management. Correct composition and usage of different types of models can be supported by the use of contracts and explicit dependency models, (see e.g.…”

Section: How Is Complexity Dealt With In Cps Engineeringmentioning

confidence: 99%

See 1 more Smart Citation

Complexity Challenges in Development of Cyber-Physical Systems

Törngren

Sellgren

2018

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

In embarking towards Cyber-Physical Systems (CPS) with unprecedented capabilities it becomes essential to improve our understanding of CPS complexity and how we can deal with it. We investigate facets of CPS complexity and the limitations of Collaborating Information Processing Systems (CIPS) in dealing with those facets. By CIPS we refer to teams of humans and computer-aided engineering systems that are used to develop CPS. Furthermore, we specifically analyze characteristic differences among software and physical parts within CPS. The analysis indicates that it will no longer be possible to rely only on architectures and skilled people, or process and model/tool centered approaches. The tight integration of heterogeneous physical, cyber, CPS components, aspects and systems, results in a situation with interfaces and interrelations everywhere, each requiring explicit consideration. The role of modelbased and computer aided engineering will become even more essential, and design methodologies will need to deeply consider interwoven systems and software aspects, including the hidden costs of software.

show abstract

“…Synthesis based on models help to improve efficiency of development by automating certain design steps, thereby removing certain sources of faults, see e.g. Törngren et al (2008).…”

Section: How Is Complexity Dealt With In Cps Engineeringmentioning

confidence: 99%

Section: How Is Complexity Dealt With In Cps Engineeringmentioning

confidence: 99%

Complexity Challenges in Development of Cyber-Physical Systems

Törngren

Sellgren

2018

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…In increasingly competitive markets, the fabrication and evaluation of prototypes using these tools offer notable advantages to accelerate product development and reduce costs (Berselli et al, 2020;Lawson et al, 2015). Therefore, model-based development, including computer-aided engineering (CAE) that employs computational models to evaluate the performance of mechanical components, is widely applied in product development processes (Törngren and Larses, 2004). Alternatively, technologies such as virtual reality (VR) are continuously expanding to evaluate the ergonomics and sensory aspects in virtual environments (Lawson et al, 2015), which can further accelerate the development of industrial products in terms of comfort and usability.…”

Section: Introductionmentioning

confidence: 99%

Mechano-neurophysiological model of fingertip to simulate tactile response during Braille reading under multiple frictional conditions

HAMASAKI,

NAKAHIRA,

YAMADA

2024

JBSE

View full text Add to dashboard Cite

The evaluation of tactile sensitivity involving frictional behavior via computational models can further accelerate the development of industrial products in terms of usability. This study aimed to confirm the capability of a previously proposed mechano-neurophysiological model, representing the basic mechanical (i.e., finger skin deformation) and neurophysiological (i.e., neural activities of slowly adapting type-1 (SA1) afferents) functions in the tactile sensation process, for simulating tactile responses during Braille reading under multiple frictional conditions. A previous psychophysical experiment on tactile recognition during Braille reading reported that the misread rate was significantly higher at frictional coefficient (μ) = 2.62 than at μ = 0.56, whereas no significant differences were observed between the misread rates at μ = 0.25 and 0.77. The Braille reading experiment was simulated using the mechano-neurophysiological model to achieve the present aim. The simulation results revealed marginal differences in the SA1 responses between μ = 0.25 and 0.77, and the correlation coefficients between the SA1 responses and Braille patterns were 0.98 at μ = 0.25 and 0.96 at μ = 0.77, suggesting a limited influence of friction on Braille recognition. However, the SA1 responses varied considerably between μ = 0.56 and 2.62, and the correlation coefficients were 0.97 at μ = 0.56 and 0.49 at μ = 2.62, implying a relatively strong influence of friction. The simulation results supported the above-mentioned findings of the previous psychophysical experiment, thereby demonstrating that the mechano-neurophysiological model qualitatively determined the tendency of influence of friction on Braille recognition.

show abstract

“…Among such factors which effect the complexity are an increasing number of components and interactions between them as well as inter-disciplinary communication. Model-based development (MBD) -i.e., the use of computerized models [4] supports activities or tools performing activities such as architecture specification, analysis, V&V, testing and synthesis -is a means to manage this complexity and develop embedded systems in a way that increases safety and quality.…”

Section: Introductionmentioning

confidence: 99%

A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL

Kang

2019

Preprint

View full text Add to dashboard Cite

Development of quality assured software-intensive systems, such as automotive embedded systems, is an increasing challenge as the complexity of these systems significantly increases. EAST-ADL is an architecture description language developed to specify automotive embedded system architectures at multiple abstraction levels in the development of safety-critical automotive products. In this paper, we propose an architecture-based verification technique which enhances the model-based development process supported by EAST-ADL by adapting modelchecking to EAST-ADL specifications. We employ UPPAAL as a verification tool to ensure that predicted function behaviors of the models in EAST-ADL satisfy functional and real-time requirements. The criteria for this architecture-based verification is presented and the transformation rules which comply with this criteria are derived. This enables us to extract the relevant information from EAST-ADL specifications and to generate analyzable UPPAAL models. The formal semantics of EAST-ADL is defined which is essential to automate the verification of EAST-ADL specifications. Our approach is demonstrated by verifying the safety of the steering truck system units.

show abstract

Model-Based Development of Automotive Embedded Systems

Cited by 3 publications

References 0 publications

Complexity Challenges in Development of Cyber-Physical Systems

Complexity Challenges in Development of Cyber-Physical Systems

Mechano-neurophysiological model of fingertip to simulate tactile response during Braille reading under multiple frictional conditions

A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL

Contact Info

Product

Resources

About