Matches in SemOpenAlex for { <https://semopenalex.org/work/W2043877029> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2043877029 abstract "Embedded systems are often operating under hard real-time constraints, for example in automotive applications. For such systems, robustness and reliability are crucial, which calls for rigorous system design and methodologies for validation. In this paper we advocate a design methodology for robust, real-time systems, based on Timber; a pure reactive system model that allows for formal reasoning about various system properties. We outline how system specifications in Timber can be compiled into efficient standalone executables for general light-weight microcontroller platforms. Methods for resource analysis and implications to system dimensioning and validation are further discussed" @default.
- W2043877029 created "2016-06-24" @default.
- W2043877029 creator A5009216509 @default.
- W2043877029 creator A5021679960 @default.
- W2043877029 creator A5034254905 @default.
- W2043877029 creator A5087568988 @default.
- W2043877029 date "2006-05-01" @default.
- W2043877029 modified "2023-10-16" @default.
- W2043877029 title "Robust Real-Time Applications in Timber" @default.
- W2043877029 cites W127093494 @default.
- W2043877029 cites W1509002 @default.
- W2043877029 cites W1864548572 @default.
- W2043877029 cites W2007872446 @default.
- W2043877029 cites W2008349102 @default.
- W2043877029 cites W2113115746 @default.
- W2043877029 cites W2125555950 @default.
- W2043877029 cites W2126720785 @default.
- W2043877029 cites W2130133810 @default.
- W2043877029 cites W2138632628 @default.
- W2043877029 cites W2146166870 @default.
- W2043877029 cites W2156500361 @default.
- W2043877029 cites W2185109968 @default.
- W2043877029 cites W2293247284 @default.
- W2043877029 cites W2891143053 @default.
- W2043877029 cites W3025561520 @default.
- W2043877029 doi "https://doi.org/10.1109/eit.2006.252112" @default.
- W2043877029 hasPublicationYear "2006" @default.
- W2043877029 type Work @default.
- W2043877029 sameAs 2043877029 @default.
- W2043877029 citedByCount "10" @default.
- W2043877029 countsByYear W20438770292013 @default.
- W2043877029 crossrefType "proceedings-article" @default.
- W2043877029 hasAuthorship W2043877029A5009216509 @default.
- W2043877029 hasAuthorship W2043877029A5021679960 @default.
- W2043877029 hasAuthorship W2043877029A5034254905 @default.
- W2043877029 hasAuthorship W2043877029A5087568988 @default.
- W2043877029 hasBestOaLocation W20438770292 @default.
- W2043877029 hasConcept C104317684 @default.
- W2043877029 hasConcept C111919701 @default.
- W2043877029 hasConcept C115903868 @default.
- W2043877029 hasConcept C121332964 @default.
- W2043877029 hasConcept C127413603 @default.
- W2043877029 hasConcept C146978453 @default.
- W2043877029 hasConcept C149635348 @default.
- W2043877029 hasConcept C160145156 @default.
- W2043877029 hasConcept C163258240 @default.
- W2043877029 hasConcept C173018170 @default.
- W2043877029 hasConcept C185592680 @default.
- W2043877029 hasConcept C200601418 @default.
- W2043877029 hasConcept C28472234 @default.
- W2043877029 hasConcept C31352089 @default.
- W2043877029 hasConcept C41008148 @default.
- W2043877029 hasConcept C43214815 @default.
- W2043877029 hasConcept C526921623 @default.
- W2043877029 hasConcept C55493867 @default.
- W2043877029 hasConcept C62520636 @default.
- W2043877029 hasConcept C63479239 @default.
- W2043877029 hasConcept C79403827 @default.
- W2043877029 hasConcept C89714869 @default.
- W2043877029 hasConceptScore W2043877029C104317684 @default.
- W2043877029 hasConceptScore W2043877029C111919701 @default.
- W2043877029 hasConceptScore W2043877029C115903868 @default.
- W2043877029 hasConceptScore W2043877029C121332964 @default.
- W2043877029 hasConceptScore W2043877029C127413603 @default.
- W2043877029 hasConceptScore W2043877029C146978453 @default.
- W2043877029 hasConceptScore W2043877029C149635348 @default.
- W2043877029 hasConceptScore W2043877029C160145156 @default.
- W2043877029 hasConceptScore W2043877029C163258240 @default.
- W2043877029 hasConceptScore W2043877029C173018170 @default.
- W2043877029 hasConceptScore W2043877029C185592680 @default.
- W2043877029 hasConceptScore W2043877029C200601418 @default.
- W2043877029 hasConceptScore W2043877029C28472234 @default.
- W2043877029 hasConceptScore W2043877029C31352089 @default.
- W2043877029 hasConceptScore W2043877029C41008148 @default.
- W2043877029 hasConceptScore W2043877029C43214815 @default.
- W2043877029 hasConceptScore W2043877029C526921623 @default.
- W2043877029 hasConceptScore W2043877029C55493867 @default.
- W2043877029 hasConceptScore W2043877029C62520636 @default.
- W2043877029 hasConceptScore W2043877029C63479239 @default.
- W2043877029 hasConceptScore W2043877029C79403827 @default.
- W2043877029 hasConceptScore W2043877029C89714869 @default.
- W2043877029 hasLocation W20438770291 @default.
- W2043877029 hasLocation W20438770292 @default.
- W2043877029 hasOpenAccess W2043877029 @default.
- W2043877029 hasPrimaryLocation W20438770291 @default.
- W2043877029 hasRelatedWork W1519398290 @default.
- W2043877029 hasRelatedWork W1749978345 @default.
- W2043877029 hasRelatedWork W2015197026 @default.
- W2043877029 hasRelatedWork W2043941084 @default.
- W2043877029 hasRelatedWork W2056851291 @default.
- W2043877029 hasRelatedWork W2082877702 @default.
- W2043877029 hasRelatedWork W2363207358 @default.
- W2043877029 hasRelatedWork W2363789696 @default.
- W2043877029 hasRelatedWork W2392951454 @default.
- W2043877029 hasRelatedWork W2971144011 @default.
- W2043877029 isParatext "false" @default.
- W2043877029 isRetracted "false" @default.
- W2043877029 magId "2043877029" @default.
- W2043877029 workType "article" @default.