Using Timber in a multi-body design environment to develop reliable embedded software

Eriksson, Johan (author): Luleå tekniska universitet,EISLAB,Luleå University of Technology

Larsson, Tobias (author): Luleå tekniska universitet,Innovation och Design,Luleå University of Technology,Product Development Research Lab

Lindgren, Per (author): Luleå tekniska universitet,EISLAB,Luleå University of Technology

(creator_code:org_t)

Warrendale, Pa. Society of Automotive Engineers, Incorporated, 2008
2008
English.
In: Intelligent vehicle iniative (IVI) technology controls and navigation systems, 2008. - Warrendale, Pa. : Society of Automotive Engineers, Incorporated. - 9780768020359 - 768020352 - 0768020352

Related links:: http://www.digitalca...; show more...; https://ltu.diva-por... (primary) (Raw object); http://bth.diva-port...; http://papers.sae.or...; https://bth.diva-por... (primary) (Raw object); https://urn.kb.se/re...; https://urn.kb.se/re...; https://doi.org/10.4...; https://urn.kb.se/re...; show less...

Abstract Subject headings

A major challenge for the automotive industry is to reduce the development time while meeting quality assessments for their products. This calls for new design methodologies and tools that scale with the increasing amount and complexity of embedded systems in today's vehicles.In this paper we undertake an approach to embedded software design based on executable models expressed in the high-level modelling paradigm of Timber. In this paper we extend previous work on Timber with a multi-paradigm design environment, aiming to bridge the gap between engineering disciplines by multi-body co-simulation of vehicle dynamics, embedded electronics, and embedded executable models. Its feasibility is demonstrated on a case study of a typical automotive application (traction control), and its potential advantages are discussed, as highlighted below:shorter time to market through concurrent, co-operative distributed engineering, andreduced cost through adequate system design and dimensioning, andimproved efficiency of the design process through migration and reuse of executable software components, andreduced need for hardware testing, by specification verification on the executable model early in the design process, andimproved quality, by opening up for formal methods for verification.

TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
TEKNIK OCH TEKNOLOGIER -- Annan teknik -- Övrig annan teknik (hsv//swe)
ENGINEERING AND TECHNOLOGY -- Other Engineering and Technologies -- Other Engineering and Technologies not elsewhere specified (hsv//eng)
TEKNIK OCH TEKNOLOGIER -- Maskinteknik -- Farkostteknik (hsv//swe)
ENGINEERING AND TECHNOLOGY -- Mechanical Engineering -- Vehicle Engineering (hsv//eng)

By the author/editor: Eriksson, Johan; Nybacka, Mikael; Larsson, Tobias; Lindgren, Per

About the subject

ENGINEERING AND TECHNOLOGY: ENGINEERING AND ...; and Electrical Engin ...; and Embedded Systems

ENGINEERING AND TECHNOLOGY: ENGINEERING AND ...; and Other Engineerin ...; and Other Engineerin ...

ENGINEERING AND TECHNOLOGY: ENGINEERING AND ...; and Mechanical Engin ...; and Vehicle Engineer ...

By the university: Luleå University of Technology; Royal Institute of Technology; Blekinge Institute of Technology

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.