Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514680377> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1514680377 endingPage "464" @default.
- W1514680377 startingPage "460" @default.
- W1514680377 abstract "Times is a modelling and schedulability analysis tool for embedded real-time systems, developed at Uppsala University in 2001. It is appropriate for systems that can be described as a set of preemptive or non-preemptive tasks which are triggered periodically or sporadically by time or external events. It provides a graphical interface for editing and simulation, and an engine for schedulability analysis. The main features of Times are: A graphical editor for timed automata extended with tasks [], which allows the user to model a system and the abstract behaviour of its environment In addition the user may specify a set of preemptive or non-preemtive tasks with parameters such as (relative) deadline, execution time, priority, etc. A simulator, in which the user can validate the dynamic behaviour of the system and see how the tasks execute according to the task parameters and a given scheduling policy. The simulator shows a graphical representation of the generated trace showing the time points when the tasks are released, invoked, suspended, resumed, and completed. A verifier for schedulability analysis, which is used to check if all reachable states of the complete system are schedulable that is, all task instances meet their deadlines. A symbolic algorithm has been developed based on the DBM techniques and implemented based on the verifier of the Uppaal tool []. A code generator for automatic synthesis of C-code on LegoOS platform from the model. If the automata model is schedulable according to the schedulability analyser the execution of the generated code will meet all the timing constraints specified in the model and the tasks." @default.
- W1514680377 created "2016-06-24" @default.
- W1514680377 creator A5025712620 @default.
- W1514680377 creator A5033479686 @default.
- W1514680377 creator A5073142503 @default.
- W1514680377 creator A5079870005 @default.
- W1514680377 creator A5084929849 @default.
- W1514680377 date "2002-01-01" @default.
- W1514680377 modified "2023-09-23" @default.
- W1514680377 title "TIMES b— A Tool for Modelling and Implementation of Embedded Systems" @default.
- W1514680377 cites W1482831602 @default.
- W1514680377 cites W2000947342 @default.
- W1514680377 doi "https://doi.org/10.1007/3-540-46002-0_32" @default.
- W1514680377 hasPublicationYear "2002" @default.
- W1514680377 type Work @default.
- W1514680377 sameAs 1514680377 @default.
- W1514680377 citedByCount "104" @default.
- W1514680377 countsByYear W15146803772012 @default.
- W1514680377 countsByYear W15146803772013 @default.
- W1514680377 countsByYear W15146803772014 @default.
- W1514680377 countsByYear W15146803772015 @default.
- W1514680377 countsByYear W15146803772016 @default.
- W1514680377 countsByYear W15146803772017 @default.
- W1514680377 countsByYear W15146803772018 @default.
- W1514680377 countsByYear W15146803772019 @default.
- W1514680377 countsByYear W15146803772020 @default.
- W1514680377 countsByYear W15146803772022 @default.
- W1514680377 crossrefType "book-chapter" @default.
- W1514680377 hasAuthorship W1514680377A5025712620 @default.
- W1514680377 hasAuthorship W1514680377A5033479686 @default.
- W1514680377 hasAuthorship W1514680377A5073142503 @default.
- W1514680377 hasAuthorship W1514680377A5079870005 @default.
- W1514680377 hasAuthorship W1514680377A5084929849 @default.
- W1514680377 hasBestOaLocation W15146803771 @default.
- W1514680377 hasConcept C112505250 @default.
- W1514680377 hasConcept C120314980 @default.
- W1514680377 hasConcept C149635348 @default.
- W1514680377 hasConcept C162324750 @default.
- W1514680377 hasConcept C177264268 @default.
- W1514680377 hasConcept C185592680 @default.
- W1514680377 hasConcept C187736073 @default.
- W1514680377 hasConcept C199360897 @default.
- W1514680377 hasConcept C206729178 @default.
- W1514680377 hasConcept C21547014 @default.
- W1514680377 hasConcept C26834552 @default.
- W1514680377 hasConcept C2780451532 @default.
- W1514680377 hasConcept C28472234 @default.
- W1514680377 hasConcept C37789001 @default.
- W1514680377 hasConcept C41008148 @default.
- W1514680377 hasConcept C43617362 @default.
- W1514680377 hasConcept C80444323 @default.
- W1514680377 hasConceptScore W1514680377C112505250 @default.
- W1514680377 hasConceptScore W1514680377C120314980 @default.
- W1514680377 hasConceptScore W1514680377C149635348 @default.
- W1514680377 hasConceptScore W1514680377C162324750 @default.
- W1514680377 hasConceptScore W1514680377C177264268 @default.
- W1514680377 hasConceptScore W1514680377C185592680 @default.
- W1514680377 hasConceptScore W1514680377C187736073 @default.
- W1514680377 hasConceptScore W1514680377C199360897 @default.
- W1514680377 hasConceptScore W1514680377C206729178 @default.
- W1514680377 hasConceptScore W1514680377C21547014 @default.
- W1514680377 hasConceptScore W1514680377C26834552 @default.
- W1514680377 hasConceptScore W1514680377C2780451532 @default.
- W1514680377 hasConceptScore W1514680377C28472234 @default.
- W1514680377 hasConceptScore W1514680377C37789001 @default.
- W1514680377 hasConceptScore W1514680377C41008148 @default.
- W1514680377 hasConceptScore W1514680377C43617362 @default.
- W1514680377 hasConceptScore W1514680377C80444323 @default.
- W1514680377 hasLocation W15146803771 @default.
- W1514680377 hasOpenAccess W1514680377 @default.
- W1514680377 hasPrimaryLocation W15146803771 @default.
- W1514680377 hasRelatedWork W1882733036 @default.
- W1514680377 hasRelatedWork W1992741870 @default.
- W1514680377 hasRelatedWork W2018091517 @default.
- W1514680377 hasRelatedWork W2117579617 @default.
- W1514680377 hasRelatedWork W2160425906 @default.
- W1514680377 hasRelatedWork W2164434772 @default.
- W1514680377 hasRelatedWork W2187264920 @default.
- W1514680377 hasRelatedWork W2347271788 @default.
- W1514680377 hasRelatedWork W2362081600 @default.
- W1514680377 hasRelatedWork W2546696010 @default.
- W1514680377 isParatext "false" @default.
- W1514680377 isRetracted "false" @default.
- W1514680377 magId "1514680377" @default.
- W1514680377 workType "book-chapter" @default.