Matches in SemOpenAlex for { <https://semopenalex.org/work/W1482912459> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1482912459 endingPage "7" @default.
- W1482912459 startingPage "7" @default.
- W1482912459 abstract "Electronic Control Units (ECUs) are in almost every non-trivial physical system you use today —automotive, telecommunication, avionics, you name it. Software design for ECUs that gives life to such systems is growing exponentially, with ECU development costs even dominating development costs for the total system in some domains. For example, today’s cars contain 60–100 ECUs, whose development costs are 12–35% of the total cost. ECU designs constitute an excellent challenge for formal methods. They often realize safety critical functions, need to deliver their response under hard real-time constraints, are most often hybrid in nature, and are increasingly realized in a distributed fashion. This talk reports on results on verifying industrial ECU designs both in avionics and automotive and discusses challenges in extending the power of the currently available verification technology." @default.
- W1482912459 created "2016-06-24" @default.
- W1482912459 creator A5053665575 @default.
- W1482912459 date "1998-01-01" @default.
- W1482912459 modified "2023-09-27" @default.
- W1482912459 title "Verifying Electronic Control Units — today and tomorrow" @default.
- W1482912459 doi "https://doi.org/10.1007/978-0-387-35358-6_4" @default.
- W1482912459 hasPublicationYear "1998" @default.
- W1482912459 type Work @default.
- W1482912459 sameAs 1482912459 @default.
- W1482912459 citedByCount "0" @default.
- W1482912459 crossrefType "book-chapter" @default.
- W1482912459 hasAuthorship W1482912459A5053665575 @default.
- W1482912459 hasBestOaLocation W14829124591 @default.
- W1482912459 hasConcept C109905503 @default.
- W1482912459 hasConcept C111919701 @default.
- W1482912459 hasConcept C127413603 @default.
- W1482912459 hasConcept C146978453 @default.
- W1482912459 hasConcept C149635348 @default.
- W1482912459 hasConcept C154945302 @default.
- W1482912459 hasConcept C15792166 @default.
- W1482912459 hasConcept C174683762 @default.
- W1482912459 hasConcept C2775924081 @default.
- W1482912459 hasConcept C2777904410 @default.
- W1482912459 hasConcept C2778520156 @default.
- W1482912459 hasConcept C41008148 @default.
- W1482912459 hasConcept C526921623 @default.
- W1482912459 hasConcept C529173508 @default.
- W1482912459 hasConceptScore W1482912459C109905503 @default.
- W1482912459 hasConceptScore W1482912459C111919701 @default.
- W1482912459 hasConceptScore W1482912459C127413603 @default.
- W1482912459 hasConceptScore W1482912459C146978453 @default.
- W1482912459 hasConceptScore W1482912459C149635348 @default.
- W1482912459 hasConceptScore W1482912459C154945302 @default.
- W1482912459 hasConceptScore W1482912459C15792166 @default.
- W1482912459 hasConceptScore W1482912459C174683762 @default.
- W1482912459 hasConceptScore W1482912459C2775924081 @default.
- W1482912459 hasConceptScore W1482912459C2777904410 @default.
- W1482912459 hasConceptScore W1482912459C2778520156 @default.
- W1482912459 hasConceptScore W1482912459C41008148 @default.
- W1482912459 hasConceptScore W1482912459C526921623 @default.
- W1482912459 hasConceptScore W1482912459C529173508 @default.
- W1482912459 hasLocation W14829124591 @default.
- W1482912459 hasOpenAccess W1482912459 @default.
- W1482912459 hasPrimaryLocation W14829124591 @default.
- W1482912459 hasRelatedWork W1128063896 @default.
- W1482912459 hasRelatedWork W142322251 @default.
- W1482912459 hasRelatedWork W1540755220 @default.
- W1482912459 hasRelatedWork W1997821272 @default.
- W1482912459 hasRelatedWork W2052512356 @default.
- W1482912459 hasRelatedWork W2057920975 @default.
- W1482912459 hasRelatedWork W2156727689 @default.
- W1482912459 hasRelatedWork W248545497 @default.
- W1482912459 hasRelatedWork W3083467123 @default.
- W1482912459 hasRelatedWork W2103169601 @default.
- W1482912459 isParatext "false" @default.
- W1482912459 isRetracted "false" @default.
- W1482912459 magId "1482912459" @default.
- W1482912459 workType "book-chapter" @default.