Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014923483> ?p ?o ?g. }
- W2014923483 endingPage "338" @default.
- W2014923483 startingPage "307" @default.
- W2014923483 abstract "This article presents a complete scheme for the integration and the development of multi-periodic critical embedded systems. A system is formally specified as a modular and hierarchical assembly of several locally mono-periodic synchronous functions into a globally multi-periodic synchronous system. To support this, we introduce a real-time software architecture description language, named Prelude, which is built upon the synchronous languages and which provides a high level of abstraction for describing the functional and the real-time architecture of a multi-periodic control system. A program is translated into a set of real-time tasks that can be executed on a monoprocessor real-time platform with an on-line priority-based scheduler such as Deadline-Monotonic or Earliest-Deadline-First. The compilation is formally proved correct, meaning that the generated code respects the real-time semantics of the original program (respect of periods, deadlines, release dates and precedences) as well as its functional semantics (respect of variable consumption)." @default.
- W2014923483 created "2016-06-24" @default.
- W2014923483 creator A5033669292 @default.
- W2014923483 creator A5039283397 @default.
- W2014923483 creator A5063161809 @default.
- W2014923483 creator A5079441396 @default.
- W2014923483 creator A5081391554 @default.
- W2014923483 date "2011-05-05" @default.
- W2014923483 modified "2023-10-14" @default.
- W2014923483 title "Multi-task Implementation of Multi-periodic Synchronous Programs" @default.
- W2014923483 cites W1517761527 @default.
- W2014923483 cites W1524693929 @default.
- W2014923483 cites W1530632793 @default.
- W2014923483 cites W1574904442 @default.
- W2014923483 cites W1965516968 @default.
- W2014923483 cites W2007242038 @default.
- W2014923483 cites W2011479059 @default.
- W2014923483 cites W2055295051 @default.
- W2014923483 cites W2100471460 @default.
- W2014923483 cites W2104680817 @default.
- W2014923483 cites W2109488193 @default.
- W2014923483 cites W2115803389 @default.
- W2014923483 cites W2118824103 @default.
- W2014923483 cites W2123767675 @default.
- W2014923483 cites W2125415493 @default.
- W2014923483 cites W2127335869 @default.
- W2014923483 cites W2149377475 @default.
- W2014923483 cites W4206455946 @default.
- W2014923483 cites W4214706592 @default.
- W2014923483 cites W4242692807 @default.
- W2014923483 cites W1816188975 @default.
- W2014923483 cites W2138432817 @default.
- W2014923483 doi "https://doi.org/10.1007/s10626-011-0107-x" @default.
- W2014923483 hasPublicationYear "2011" @default.
- W2014923483 type Work @default.
- W2014923483 sameAs 2014923483 @default.
- W2014923483 citedByCount "66" @default.
- W2014923483 countsByYear W20149234832012 @default.
- W2014923483 countsByYear W20149234832013 @default.
- W2014923483 countsByYear W20149234832014 @default.
- W2014923483 countsByYear W20149234832015 @default.
- W2014923483 countsByYear W20149234832016 @default.
- W2014923483 countsByYear W20149234832017 @default.
- W2014923483 countsByYear W20149234832018 @default.
- W2014923483 countsByYear W20149234832019 @default.
- W2014923483 countsByYear W20149234832020 @default.
- W2014923483 countsByYear W20149234832021 @default.
- W2014923483 countsByYear W20149234832022 @default.
- W2014923483 countsByYear W20149234832023 @default.
- W2014923483 crossrefType "journal-article" @default.
- W2014923483 hasAuthorship W2014923483A5033669292 @default.
- W2014923483 hasAuthorship W2014923483A5039283397 @default.
- W2014923483 hasAuthorship W2014923483A5063161809 @default.
- W2014923483 hasAuthorship W2014923483A5079441396 @default.
- W2014923483 hasAuthorship W2014923483A5081391554 @default.
- W2014923483 hasBestOaLocation W20149234832 @default.
- W2014923483 hasConcept C101468663 @default.
- W2014923483 hasConcept C111472728 @default.
- W2014923483 hasConcept C120314980 @default.
- W2014923483 hasConcept C124304363 @default.
- W2014923483 hasConcept C134306372 @default.
- W2014923483 hasConcept C138885662 @default.
- W2014923483 hasConcept C149635348 @default.
- W2014923483 hasConcept C162324750 @default.
- W2014923483 hasConcept C177264268 @default.
- W2014923483 hasConcept C182365436 @default.
- W2014923483 hasConcept C184337299 @default.
- W2014923483 hasConcept C187736073 @default.
- W2014923483 hasConcept C199360897 @default.
- W2014923483 hasConcept C2780451532 @default.
- W2014923483 hasConcept C28472234 @default.
- W2014923483 hasConcept C33923547 @default.
- W2014923483 hasConcept C41008148 @default.
- W2014923483 hasConceptScore W2014923483C101468663 @default.
- W2014923483 hasConceptScore W2014923483C111472728 @default.
- W2014923483 hasConceptScore W2014923483C120314980 @default.
- W2014923483 hasConceptScore W2014923483C124304363 @default.
- W2014923483 hasConceptScore W2014923483C134306372 @default.
- W2014923483 hasConceptScore W2014923483C138885662 @default.
- W2014923483 hasConceptScore W2014923483C149635348 @default.
- W2014923483 hasConceptScore W2014923483C162324750 @default.
- W2014923483 hasConceptScore W2014923483C177264268 @default.
- W2014923483 hasConceptScore W2014923483C182365436 @default.
- W2014923483 hasConceptScore W2014923483C184337299 @default.
- W2014923483 hasConceptScore W2014923483C187736073 @default.
- W2014923483 hasConceptScore W2014923483C199360897 @default.
- W2014923483 hasConceptScore W2014923483C2780451532 @default.
- W2014923483 hasConceptScore W2014923483C28472234 @default.
- W2014923483 hasConceptScore W2014923483C33923547 @default.
- W2014923483 hasConceptScore W2014923483C41008148 @default.
- W2014923483 hasIssue "3" @default.
- W2014923483 hasLocation W20149234831 @default.
- W2014923483 hasLocation W20149234832 @default.
- W2014923483 hasLocation W20149234833 @default.
- W2014923483 hasLocation W20149234834 @default.
- W2014923483 hasLocation W20149234835 @default.
- W2014923483 hasLocation W20149234836 @default.
- W2014923483 hasOpenAccess W2014923483 @default.