Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993867150> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1993867150 abstract "Most innovations in the automotive domain are realized by electronics and software. Modern cars have up to 100 Electronic Control Units (ECUs) that implement a variety of control applications in a distributed fashion. The tasks are mapped onto different ECUs, communicating via a heterogeneous network, comprising communication buses like CAN, FlexRay, and Ethernet. For electric vehicles, software functions play an essential role, replacing hydraulic and mechanic control systems. While model-based software development and verification are already used extensively in the automotive domain, their importance significantly increases in electric vehicles as safety-critical functions might no longer rely on mechanical (fall-back) solutions. The need for reducing costs, size, and weight in electric vehicles has also resulted in a considerable interest in topics such as the consolidation of ECUs as well as efficient implementation of control software. In this paper we discuss two broad issues related to model-based software development and verification in electric vehicles. The first is concerned with how to ensure that model-level semantics are preserved in an implementation, which has important implications on the verification and certification of control software. The second issue is related to techniques for reducing the computational and communication demands of distributed automotive control algorithms. For both these topics we provide a broad introduction to the problem followed by a discussion on state-of-the-art techniques." @default.
- W1993867150 created "2016-06-24" @default.
- W1993867150 creator A5010394168 @default.
- W1993867150 creator A5043887536 @default.
- W1993867150 creator A5049989469 @default.
- W1993867150 creator A5052362859 @default.
- W1993867150 creator A5067427828 @default.
- W1993867150 creator A5080174920 @default.
- W1993867150 creator A5081333705 @default.
- W1993867150 date "2013-05-29" @default.
- W1993867150 modified "2023-09-27" @default.
- W1993867150 title "Model-based development and verification of control software for electric vehicles" @default.
- W1993867150 cites W1965553418 @default.
- W1993867150 cites W1992277778 @default.
- W1993867150 cites W2000947342 @default.
- W1993867150 cites W2059338741 @default.
- W1993867150 cites W2083645139 @default.
- W1993867150 cites W2103671225 @default.
- W1993867150 cites W2136873398 @default.
- W1993867150 cites W2141513652 @default.
- W1993867150 cites W2152520525 @default.
- W1993867150 cites W2152861380 @default.
- W1993867150 cites W2167836176 @default.
- W1993867150 cites W2168337142 @default.
- W1993867150 cites W2170529516 @default.
- W1993867150 cites W4236251966 @default.
- W1993867150 doi "https://doi.org/10.1145/2463209.2488853" @default.
- W1993867150 hasPublicationYear "2013" @default.
- W1993867150 type Work @default.
- W1993867150 sameAs 1993867150 @default.
- W1993867150 citedByCount "5" @default.
- W1993867150 countsByYear W19938671502014 @default.
- W1993867150 countsByYear W19938671502015 @default.
- W1993867150 countsByYear W19938671502017 @default.
- W1993867150 crossrefType "proceedings-article" @default.
- W1993867150 hasAuthorship W1993867150A5010394168 @default.
- W1993867150 hasAuthorship W1993867150A5043887536 @default.
- W1993867150 hasAuthorship W1993867150A5049989469 @default.
- W1993867150 hasAuthorship W1993867150A5052362859 @default.
- W1993867150 hasAuthorship W1993867150A5067427828 @default.
- W1993867150 hasAuthorship W1993867150A5080174920 @default.
- W1993867150 hasAuthorship W1993867150A5081333705 @default.
- W1993867150 hasConcept C105339364 @default.
- W1993867150 hasConcept C109905503 @default.
- W1993867150 hasConcept C111919701 @default.
- W1993867150 hasConcept C115903868 @default.
- W1993867150 hasConcept C120314980 @default.
- W1993867150 hasConcept C127413603 @default.
- W1993867150 hasConcept C134306372 @default.
- W1993867150 hasConcept C146978453 @default.
- W1993867150 hasConcept C149635348 @default.
- W1993867150 hasConcept C172173386 @default.
- W1993867150 hasConcept C186846655 @default.
- W1993867150 hasConcept C2777648190 @default.
- W1993867150 hasConcept C2777904410 @default.
- W1993867150 hasConcept C2778520156 @default.
- W1993867150 hasConcept C33923547 @default.
- W1993867150 hasConcept C36503486 @default.
- W1993867150 hasConcept C41008148 @default.
- W1993867150 hasConcept C526921623 @default.
- W1993867150 hasConcept C529173508 @default.
- W1993867150 hasConceptScore W1993867150C105339364 @default.
- W1993867150 hasConceptScore W1993867150C109905503 @default.
- W1993867150 hasConceptScore W1993867150C111919701 @default.
- W1993867150 hasConceptScore W1993867150C115903868 @default.
- W1993867150 hasConceptScore W1993867150C120314980 @default.
- W1993867150 hasConceptScore W1993867150C127413603 @default.
- W1993867150 hasConceptScore W1993867150C134306372 @default.
- W1993867150 hasConceptScore W1993867150C146978453 @default.
- W1993867150 hasConceptScore W1993867150C149635348 @default.
- W1993867150 hasConceptScore W1993867150C172173386 @default.
- W1993867150 hasConceptScore W1993867150C186846655 @default.
- W1993867150 hasConceptScore W1993867150C2777648190 @default.
- W1993867150 hasConceptScore W1993867150C2777904410 @default.
- W1993867150 hasConceptScore W1993867150C2778520156 @default.
- W1993867150 hasConceptScore W1993867150C33923547 @default.
- W1993867150 hasConceptScore W1993867150C36503486 @default.
- W1993867150 hasConceptScore W1993867150C41008148 @default.
- W1993867150 hasConceptScore W1993867150C526921623 @default.
- W1993867150 hasConceptScore W1993867150C529173508 @default.
- W1993867150 hasLocation W19938671501 @default.
- W1993867150 hasOpenAccess W1993867150 @default.
- W1993867150 hasPrimaryLocation W19938671501 @default.
- W1993867150 hasRelatedWork W1988512354 @default.
- W1993867150 hasRelatedWork W1997821272 @default.
- W1993867150 hasRelatedWork W2018555749 @default.
- W1993867150 hasRelatedWork W2056205537 @default.
- W1993867150 hasRelatedWork W2057920975 @default.
- W1993867150 hasRelatedWork W2118026734 @default.
- W1993867150 hasRelatedWork W2146806752 @default.
- W1993867150 hasRelatedWork W2189378794 @default.
- W1993867150 hasRelatedWork W2806543189 @default.
- W1993867150 hasRelatedWork W3141789698 @default.
- W1993867150 isParatext "false" @default.
- W1993867150 isRetracted "false" @default.
- W1993867150 magId "1993867150" @default.
- W1993867150 workType "article" @default.