FRINK Linked Data Fragments server

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

• W2033593612 endingPage "1278" @default.
• W2033593612 startingPage "1270" @default.
• W2033593612 abstract "Today's system-on-chip and distributed systems are commonly equipped with multiple clocks. The key challenge in designing such systems is that two situations have to be captured and evaluated in a single framework. The first is the heterogeneous control-oriented and data-oriented behaviors within one clock domain, and the second is the asynchronous communications between two clock domains. In this paper, we propose to use timed automata and synchronous dataflow to model the dynamic behaviors of the multiclock train-control system, and a multiprocessor architecture for the implementation from our model to the real system. Data-oriented behaviors are captured by synchronous dataflow, control-oriented behaviors are captured by timed automata, and asynchronous communications of the interclock domain can be modeled as an interface timed automaton or a synchronous dataflow module. The behaviors of synchronous dataflow are interpreted by some equivalent timed automata to maintain the semantic consistency of the mixed model. Then, various functional properties that are important to guarantee the correctness of the system can be simulated and verified within the framework. We apply the framework to the design of a control system described in the standard IEC 61 375 and several bugs are detected. The bugs in the standard have been fixed, and the new version has been implemented and used in the real-world subway communication control system." @default.
• W2033593612 created "2016-06-24" @default.
• W2033593612 creator A5015545142 @default.
• W2033593612 creator A5033414491 @default.
• W2033593612 creator A5059155953 @default.
• W2033593612 creator A5068911982 @default.
• W2033593612 creator A5076126132 @default.
• W2033593612 creator A5082437433 @default.
• W2033593612 creator A5088526794 @default.
• W2033593612 date "2015-02-01" @default.
• W2033593612 modified "2023-10-14" @default.
• W2033593612 title "Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques" @default.
• W2033593612 cites W1489391022 @default.
• W2033593612 cites W2002135980 @default.
• W2033593612 cites W2028280229 @default.
• W2033593612 cites W2070496765 @default.
• W2033593612 cites W2071229589 @default.
• W2033593612 cites W2072961973 @default.
• W2033593612 cites W2091158003 @default.
• W2033593612 cites W2099529102 @default.
• W2033593612 cites W2101508170 @default.
• W2033593612 cites W2114754412 @default.
• W2033593612 cites W2115309705 @default.
• W2033593612 cites W2120431055 @default.
• W2033593612 cites W2125023624 @default.
• W2033593612 cites W2140935457 @default.
• W2033593612 cites W2147236388 @default.
• W2033593612 cites W2151250735 @default.
• W2033593612 cites W2152452298 @default.
• W2033593612 cites W2154382472 @default.
• W2033593612 cites W3153748168 @default.
• W2033593612 cites W4211008702 @default.
• W2033593612 doi "https://doi.org/10.1109/tie.2014.2316234" @default.
• W2033593612 hasPublicationYear "2015" @default.
• W2033593612 type Work @default.
• W2033593612 sameAs 2033593612 @default.
• W2033593612 citedByCount "46" @default.
• W2033593612 countsByYear W20335936122015 @default.
• W2033593612 countsByYear W20335936122016 @default.
• W2033593612 countsByYear W20335936122017 @default.
• W2033593612 countsByYear W20335936122018 @default.
• W2033593612 countsByYear W20335936122019 @default.
• W2033593612 countsByYear W20335936122020 @default.
• W2033593612 countsByYear W20335936122021 @default.
• W2033593612 countsByYear W20335936122022 @default.
• W2033593612 crossrefType "journal-article" @default.
• W2033593612 hasAuthorship W2033593612A5015545142 @default.
• W2033593612 hasAuthorship W2033593612A5033414491 @default.
• W2033593612 hasAuthorship W2033593612A5059155953 @default.
• W2033593612 hasAuthorship W2033593612A5068911982 @default.
• W2033593612 hasAuthorship W2033593612A5076126132 @default.
• W2033593612 hasAuthorship W2033593612A5082437433 @default.
• W2033593612 hasAuthorship W2033593612A5088526794 @default.
• W2033593612 hasConcept C110251889 @default.
• W2033593612 hasConcept C111498074 @default.
• W2033593612 hasConcept C112505250 @default.
• W2033593612 hasConcept C120314980 @default.
• W2033593612 hasConcept C149635348 @default.
• W2033593612 hasConcept C151319957 @default.
• W2033593612 hasConcept C160191386 @default.
• W2033593612 hasConcept C173608175 @default.
• W2033593612 hasConcept C199360897 @default.
• W2033593612 hasConcept C30788636 @default.
• W2033593612 hasConcept C31258907 @default.
• W2033593612 hasConcept C41008148 @default.
• W2033593612 hasConcept C489000 @default.
• W2033593612 hasConcept C55439883 @default.
• W2033593612 hasConcept C77088390 @default.
• W2033593612 hasConcept C80444323 @default.
• W2033593612 hasConcept C96324660 @default.
• W2033593612 hasConceptScore W2033593612C110251889 @default.
• W2033593612 hasConceptScore W2033593612C111498074 @default.
• W2033593612 hasConceptScore W2033593612C112505250 @default.
• W2033593612 hasConceptScore W2033593612C120314980 @default.
• W2033593612 hasConceptScore W2033593612C149635348 @default.
• W2033593612 hasConceptScore W2033593612C151319957 @default.
• W2033593612 hasConceptScore W2033593612C160191386 @default.
• W2033593612 hasConceptScore W2033593612C173608175 @default.
• W2033593612 hasConceptScore W2033593612C199360897 @default.
• W2033593612 hasConceptScore W2033593612C30788636 @default.
• W2033593612 hasConceptScore W2033593612C31258907 @default.
• W2033593612 hasConceptScore W2033593612C41008148 @default.
• W2033593612 hasConceptScore W2033593612C489000 @default.
• W2033593612 hasConceptScore W2033593612C55439883 @default.
• W2033593612 hasConceptScore W2033593612C77088390 @default.
• W2033593612 hasConceptScore W2033593612C80444323 @default.
• W2033593612 hasConceptScore W2033593612C96324660 @default.
• W2033593612 hasFunder F4320321001 @default.
• W2033593612 hasFunder F4320335777 @default.
• W2033593612 hasIssue "2" @default.
• W2033593612 hasLocation W20335936121 @default.
• W2033593612 hasOpenAccess W2033593612 @default.
• W2033593612 hasPrimaryLocation W20335936121 @default.
• W2033593612 hasRelatedWork W1970009301 @default.
• W2033593612 hasRelatedWork W2043609341 @default.
• W2033593612 hasRelatedWork W2043994158 @default.
• W2033593612 hasRelatedWork W2084325233 @default.
• W2033593612 hasRelatedWork W2086810569 @default.

• next