Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099661188> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2099661188 endingPage "483" @default.
- W2099661188 startingPage "451" @default.
- W2099661188 abstract "Abstract Simulink has been widely used in industry to model and simulate embedded systems. With the increasing usage of embedded systems in real-time safety-critical situations, Simulink becomes deficient to analyze (timing) requirements with high-level assurance. In this article, we apply Timed Interval Calculus (TIC), a real-time specification language, to complement Simulink with TIC formal verification capability. We elaborately construct TIC library functions to model Simulink library blocks which are used to compose Simulink diagrams. Next, Simulink diagrams are automatically transformed into TIC models which preserve functional and timing aspects. Important requirements such as timing bounded liveness can be precisely specified in TIC for whole diagrams or some components. Lastly, validation of TIC models can be rigorously conducted with a high degree of automation using a generic theorem prover. Our framework can enlarge the design space by representing environment properties to open systems, and handle complex diagrams as the analysis of continuous and discrete behavior is supported." @default.
- W2099661188 created "2016-06-24" @default.
- W2099661188 creator A5037762714 @default.
- W2099661188 creator A5068911982 @default.
- W2099661188 creator A5085067496 @default.
- W2099661188 date "2009-10-01" @default.
- W2099661188 modified "2023-10-16" @default.
- W2099661188 title "A formal framework for modeling and validating Simulink diagrams" @default.
- W2099661188 cites W1481428213 @default.
- W2099661188 cites W1506726177 @default.
- W2099661188 cites W1512712729 @default.
- W2099661188 cites W1513889636 @default.
- W2099661188 cites W1531638379 @default.
- W2099661188 cites W1532739430 @default.
- W2099661188 cites W1534850143 @default.
- W2099661188 cites W1571155023 @default.
- W2099661188 cites W1580606604 @default.
- W2099661188 cites W1583235334 @default.
- W2099661188 cites W2010847060 @default.
- W2099661188 cites W2077325003 @default.
- W2099661188 cites W2110268155 @default.
- W2099661188 cites W2115051633 @default.
- W2099661188 cites W2115803389 @default.
- W2099661188 cites W2116939169 @default.
- W2099661188 cites W2120277271 @default.
- W2099661188 cites W2141826787 @default.
- W2099661188 cites W2155505260 @default.
- W2099661188 cites W2167467151 @default.
- W2099661188 cites W2168609733 @default.
- W2099661188 cites W2170100470 @default.
- W2099661188 cites W2171520043 @default.
- W2099661188 doi "https://doi.org/10.1007/s00165-009-0108-9" @default.
- W2099661188 hasPublicationYear "2009" @default.
- W2099661188 type Work @default.
- W2099661188 sameAs 2099661188 @default.
- W2099661188 citedByCount "41" @default.
- W2099661188 countsByYear W20996611882012 @default.
- W2099661188 countsByYear W20996611882013 @default.
- W2099661188 countsByYear W20996611882014 @default.
- W2099661188 countsByYear W20996611882015 @default.
- W2099661188 countsByYear W20996611882016 @default.
- W2099661188 countsByYear W20996611882017 @default.
- W2099661188 countsByYear W20996611882019 @default.
- W2099661188 countsByYear W20996611882020 @default.
- W2099661188 countsByYear W20996611882021 @default.
- W2099661188 countsByYear W20996611882022 @default.
- W2099661188 countsByYear W20996611882023 @default.
- W2099661188 crossrefType "journal-article" @default.
- W2099661188 hasAuthorship W2099661188A5037762714 @default.
- W2099661188 hasAuthorship W2099661188A5068911982 @default.
- W2099661188 hasAuthorship W2099661188A5085067496 @default.
- W2099661188 hasBestOaLocation W20996611881 @default.
- W2099661188 hasConcept C110251889 @default.
- W2099661188 hasConcept C111498074 @default.
- W2099661188 hasConcept C136643341 @default.
- W2099661188 hasConcept C15569618 @default.
- W2099661188 hasConcept C199360897 @default.
- W2099661188 hasConcept C41008148 @default.
- W2099661188 hasConcept C80444323 @default.
- W2099661188 hasConceptScore W2099661188C110251889 @default.
- W2099661188 hasConceptScore W2099661188C111498074 @default.
- W2099661188 hasConceptScore W2099661188C136643341 @default.
- W2099661188 hasConceptScore W2099661188C15569618 @default.
- W2099661188 hasConceptScore W2099661188C199360897 @default.
- W2099661188 hasConceptScore W2099661188C41008148 @default.
- W2099661188 hasConceptScore W2099661188C80444323 @default.
- W2099661188 hasIssue "5" @default.
- W2099661188 hasLocation W20996611881 @default.
- W2099661188 hasLocation W20996611882 @default.
- W2099661188 hasOpenAccess W2099661188 @default.
- W2099661188 hasPrimaryLocation W20996611881 @default.
- W2099661188 hasRelatedWork W1583061463 @default.
- W2099661188 hasRelatedWork W1651168384 @default.
- W2099661188 hasRelatedWork W1989082972 @default.
- W2099661188 hasRelatedWork W2015160737 @default.
- W2099661188 hasRelatedWork W2082472813 @default.
- W2099661188 hasRelatedWork W2103504376 @default.
- W2099661188 hasRelatedWork W2153337086 @default.
- W2099661188 hasRelatedWork W2161605176 @default.
- W2099661188 hasRelatedWork W2790897865 @default.
- W2099661188 hasRelatedWork W4312626387 @default.
- W2099661188 hasVolume "21" @default.
- W2099661188 isParatext "false" @default.
- W2099661188 isRetracted "false" @default.
- W2099661188 magId "2099661188" @default.
- W2099661188 workType "article" @default.