Matches in SemOpenAlex for { <https://semopenalex.org/work/W2148437178> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2148437178 abstract "This practice paper examines Toyota's electronic throttle controller (ETC) problem. ETC for passenger cars is a safety-critical, embedded control system and it must meet very high reliability and safety requirements. ETC systems continue to increase in complexity, making formal specification and verification processes an essential component of the development of safer systems. There are two ways to represent the real-time system. Firstly, we can describe the system's structure and function by detailing its electrical, mechanical, and other components. Secondly, the real-time system's behavior as it responds to actions and events can be described. Then we can compare the system's specification to the safety assertion to show that the system meets the safety properties. This paper describes two research threads. In the first, we present the specification of Toyota's electronic throttle control (ETC) system including the timing constraints. The second thread, which will be explored in a longer version of this paper, evaluates the use of conventional design versus electronic engine control by applying classical control theory.1" @default.
- W2148437178 created "2016-06-24" @default.
- W2148437178 creator A5001205166 @default.
- W2148437178 creator A5045928705 @default.
- W2148437178 date "2011-04-01" @default.
- W2148437178 modified "2023-09-25" @default.
- W2148437178 title "On formal verification of Toyota's electronic throttle controller" @default.
- W2148437178 cites W1518292187 @default.
- W2148437178 cites W1993906925 @default.
- W2148437178 cites W2056359803 @default.
- W2148437178 cites W2101508170 @default.
- W2148437178 cites W2108481891 @default.
- W2148437178 cites W2116120110 @default.
- W2148437178 cites W2130808014 @default.
- W2148437178 cites W2155891457 @default.
- W2148437178 doi "https://doi.org/10.1109/syscon.2011.5929080" @default.
- W2148437178 hasPublicationYear "2011" @default.
- W2148437178 type Work @default.
- W2148437178 sameAs 2148437178 @default.
- W2148437178 citedByCount "1" @default.
- W2148437178 countsByYear W21484371782013 @default.
- W2148437178 crossrefType "proceedings-article" @default.
- W2148437178 hasAuthorship W2148437178A5001205166 @default.
- W2148437178 hasAuthorship W2148437178A5045928705 @default.
- W2148437178 hasConcept C111498074 @default.
- W2148437178 hasConcept C111919701 @default.
- W2148437178 hasConcept C11413529 @default.
- W2148437178 hasConcept C119599485 @default.
- W2148437178 hasConcept C121332964 @default.
- W2148437178 hasConcept C127413603 @default.
- W2148437178 hasConcept C133731056 @default.
- W2148437178 hasConcept C138101251 @default.
- W2148437178 hasConcept C149635348 @default.
- W2148437178 hasConcept C163258240 @default.
- W2148437178 hasConcept C168167062 @default.
- W2148437178 hasConcept C171146098 @default.
- W2148437178 hasConcept C17500928 @default.
- W2148437178 hasConcept C203479927 @default.
- W2148437178 hasConcept C41008148 @default.
- W2148437178 hasConcept C43214815 @default.
- W2148437178 hasConcept C62520636 @default.
- W2148437178 hasConcept C6557445 @default.
- W2148437178 hasConcept C72971556 @default.
- W2148437178 hasConcept C86803240 @default.
- W2148437178 hasConcept C97355855 @default.
- W2148437178 hasConceptScore W2148437178C111498074 @default.
- W2148437178 hasConceptScore W2148437178C111919701 @default.
- W2148437178 hasConceptScore W2148437178C11413529 @default.
- W2148437178 hasConceptScore W2148437178C119599485 @default.
- W2148437178 hasConceptScore W2148437178C121332964 @default.
- W2148437178 hasConceptScore W2148437178C127413603 @default.
- W2148437178 hasConceptScore W2148437178C133731056 @default.
- W2148437178 hasConceptScore W2148437178C138101251 @default.
- W2148437178 hasConceptScore W2148437178C149635348 @default.
- W2148437178 hasConceptScore W2148437178C163258240 @default.
- W2148437178 hasConceptScore W2148437178C168167062 @default.
- W2148437178 hasConceptScore W2148437178C171146098 @default.
- W2148437178 hasConceptScore W2148437178C17500928 @default.
- W2148437178 hasConceptScore W2148437178C203479927 @default.
- W2148437178 hasConceptScore W2148437178C41008148 @default.
- W2148437178 hasConceptScore W2148437178C43214815 @default.
- W2148437178 hasConceptScore W2148437178C62520636 @default.
- W2148437178 hasConceptScore W2148437178C6557445 @default.
- W2148437178 hasConceptScore W2148437178C72971556 @default.
- W2148437178 hasConceptScore W2148437178C86803240 @default.
- W2148437178 hasConceptScore W2148437178C97355855 @default.
- W2148437178 hasLocation W21484371781 @default.
- W2148437178 hasOpenAccess W2148437178 @default.
- W2148437178 hasPrimaryLocation W21484371781 @default.
- W2148437178 hasRelatedWork W1501219555 @default.
- W2148437178 hasRelatedWork W1543467173 @default.
- W2148437178 hasRelatedWork W1559815638 @default.
- W2148437178 hasRelatedWork W1860845259 @default.
- W2148437178 hasRelatedWork W1918202387 @default.
- W2148437178 hasRelatedWork W1996143850 @default.
- W2148437178 hasRelatedWork W2071394038 @default.
- W2148437178 hasRelatedWork W2075665799 @default.
- W2148437178 hasRelatedWork W2107441165 @default.
- W2148437178 hasRelatedWork W2108641743 @default.
- W2148437178 hasRelatedWork W2129581053 @default.
- W2148437178 hasRelatedWork W2165707109 @default.
- W2148437178 hasRelatedWork W2402318188 @default.
- W2148437178 hasRelatedWork W2511296772 @default.
- W2148437178 hasRelatedWork W2539653729 @default.
- W2148437178 hasRelatedWork W2546232062 @default.
- W2148437178 hasRelatedWork W2623934667 @default.
- W2148437178 hasRelatedWork W2981319226 @default.
- W2148437178 hasRelatedWork W3162065329 @default.
- W2148437178 hasRelatedWork W55069687 @default.
- W2148437178 isParatext "false" @default.
- W2148437178 isRetracted "false" @default.
- W2148437178 magId "2148437178" @default.
- W2148437178 workType "article" @default.