FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913371334> ?p ?o ?g. }

• W2913371334 abstract "Scheduling are playing a key role in many real-time systems. The goal of this paper is to apply PAR and its transformation rules to formal specification and verification of real-time scheduling. We formally described three constraints for uniprocessor systems and five constraints for multiprocessor systems. Furthermore, an EDF (Earliest Deadline First) program, written in Apla abstract modelling language, could be automatically transformed to an executable program. Finally, correctness of the EDF program was formally verified by using new strategies of developing loop invariant in PAR and Dijkstra’s Weakest-Precondition theory. Formal specification of schedule constraints for real-time systems highlights PAR’s powerful descriptive ability. Development and verification an EDF scheduling algorithm embody the efficiency and reliability role of PAR Method and PAR Platform." @default.
• W2913371334 created "2019-02-21" @default.
• W2913371334 creator A5015943195 @default.
• W2913371334 creator A5017708790 @default.
• W2913371334 creator A5046281605 @default.
• W2913371334 creator A5054211420 @default.
• W2913371334 creator A5080344490 @default.
• W2913371334 date "2019-01-01" @default.
• W2913371334 modified "2023-09-23" @default.
• W2913371334 title "Formal Specification and Verification for Real-Time Scheduling Based on PAR" @default.
• W2913371334 cites W1522093186 @default.
• W2913371334 cites W1709396178 @default.
• W2913371334 cites W175317719 @default.
• W2913371334 cites W2013517061 @default.
• W2913371334 cites W2016517940 @default.
• W2913371334 cites W2020239492 @default.
• W2913371334 cites W2056468772 @default.
• W2913371334 cites W2057118835 @default.
• W2913371334 cites W2060536932 @default.
• W2913371334 cites W2069084725 @default.
• W2913371334 cites W2069919327 @default.
• W2913371334 cites W2075526315 @default.
• W2913371334 cites W2077099824 @default.
• W2913371334 cites W2093832730 @default.
• W2913371334 cites W2109488193 @default.
• W2913371334 cites W2110186189 @default.
• W2913371334 cites W2312618861 @default.
• W2913371334 cites W2412379106 @default.
• W2913371334 cites W2483235725 @default.
• W2913371334 cites W2525305541 @default.
• W2913371334 cites W2610014485 @default.
• W2913371334 cites W346741227 @default.
• W2913371334 cites W4254354208 @default.
• W2913371334 cites W4296471858 @default.
• W2913371334 doi "https://doi.org/10.1007/978-3-030-13651-2_7" @default.
• W2913371334 hasPublicationYear "2019" @default.
• W2913371334 type Work @default.
• W2913371334 sameAs 2913371334 @default.
• W2913371334 citedByCount "1" @default.
• W2913371334 countsByYear W29133713342021 @default.
• W2913371334 crossrefType "book-chapter" @default.
• W2913371334 hasAuthorship W2913371334A5015943195 @default.
• W2913371334 hasAuthorship W2913371334A5017708790 @default.
• W2913371334 hasAuthorship W2913371334A5046281605 @default.
• W2913371334 hasAuthorship W2913371334A5054211420 @default.
• W2913371334 hasAuthorship W2913371334A5080344490 @default.
• W2913371334 hasConcept C110251889 @default.
• W2913371334 hasConcept C111498074 @default.
• W2913371334 hasConcept C111919701 @default.
• W2913371334 hasConcept C116253237 @default.
• W2913371334 hasConcept C149635348 @default.
• W2913371334 hasConcept C160145156 @default.
• W2913371334 hasConcept C162324750 @default.
• W2913371334 hasConcept C199360897 @default.
• W2913371334 hasConcept C206729178 @default.
• W2913371334 hasConcept C21547014 @default.
• W2913371334 hasConcept C28472234 @default.
• W2913371334 hasConcept C41008148 @default.
• W2913371334 hasConcept C4822641 @default.
• W2913371334 hasConcept C55439883 @default.
• W2913371334 hasConcept C75606506 @default.
• W2913371334 hasConcept C79189994 @default.
• W2913371334 hasConceptScore W2913371334C110251889 @default.
• W2913371334 hasConceptScore W2913371334C111498074 @default.
• W2913371334 hasConceptScore W2913371334C111919701 @default.
• W2913371334 hasConceptScore W2913371334C116253237 @default.
• W2913371334 hasConceptScore W2913371334C149635348 @default.
• W2913371334 hasConceptScore W2913371334C160145156 @default.
• W2913371334 hasConceptScore W2913371334C162324750 @default.
• W2913371334 hasConceptScore W2913371334C199360897 @default.
• W2913371334 hasConceptScore W2913371334C206729178 @default.
• W2913371334 hasConceptScore W2913371334C21547014 @default.
• W2913371334 hasConceptScore W2913371334C28472234 @default.
• W2913371334 hasConceptScore W2913371334C41008148 @default.
• W2913371334 hasConceptScore W2913371334C4822641 @default.
• W2913371334 hasConceptScore W2913371334C55439883 @default.
• W2913371334 hasConceptScore W2913371334C75606506 @default.
• W2913371334 hasConceptScore W2913371334C79189994 @default.
• W2913371334 hasLocation W29133713341 @default.
• W2913371334 hasOpenAccess W2913371334 @default.
• W2913371334 hasPrimaryLocation W29133713341 @default.
• W2913371334 hasRelatedWork W1568633334 @default.
• W2913371334 hasRelatedWork W1572166988 @default.
• W2913371334 hasRelatedWork W1961837823 @default.
• W2913371334 hasRelatedWork W2060070465 @default.
• W2913371334 hasRelatedWork W2066403336 @default.
• W2913371334 hasRelatedWork W2113466639 @default.
• W2913371334 hasRelatedWork W2119645170 @default.
• W2913371334 hasRelatedWork W2121341646 @default.
• W2913371334 hasRelatedWork W2151449640 @default.
• W2913371334 hasRelatedWork W2163228844 @default.
• W2913371334 hasRelatedWork W2164781408 @default.
• W2913371334 hasRelatedWork W2166941925 @default.
• W2913371334 hasRelatedWork W2259371198 @default.
• W2913371334 hasRelatedWork W2465958461 @default.
• W2913371334 hasRelatedWork W2532151921 @default.
• W2913371334 hasRelatedWork W2534384179 @default.
• W2913371334 hasRelatedWork W2542950057 @default.
• W2913371334 hasRelatedWork W2557799554 @default.
• W2913371334 hasRelatedWork W2619227460 @default.

• next