FRINK Linked Data Fragments server

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

• W2026038409 abstract "SPACE is a model-driven engineering technique for reactive distributed systems. It enables to develop system models from reusable building blocks, formal analysis by model checking as well as automated transformation to executable code. In this paper, we describe an extension of the SPACE formalism which allows to model and verify also real-time behavior. In particular, one specifies real-time constraints in the interface descriptions of the building blocks, so-called Real-Time External State-Machines (RTESMs). The RTESMs are translated to guards, clocks and invariants of Timed Automata which can be analyzed by means of the model checker UPPAAL. The approach is explained by a component protecting an electrical motor controller system against overspeed. In particular, we prove that by keeping certain maximum response times, this system guarantees that the speed of the motor stays within certain limits." @default.
• W2026038409 created "2016-06-24" @default.
• W2026038409 creator A5010255389 @default.
• W2026038409 creator A5036208048 @default.
• W2026038409 creator A5041126859 @default.
• W2026038409 date "2013-07-01" @default.
• W2026038409 modified "2023-09-25" @default.
• W2026038409 title "Modeling and Verifying Real-Time Properties of Reactive Systems" @default.
• W2026038409 cites W1481429430 @default.
• W2026038409 cites W1497461613 @default.
• W2026038409 cites W1513291134 @default.
• W2026038409 cites W1538672397 @default.
• W2026038409 cites W1589034549 @default.
• W2026038409 cites W1589071908 @default.
• W2026038409 cites W1597414920 @default.
• W2026038409 cites W1848324794 @default.
• W2026038409 cites W1968898611 @default.
• W2026038409 cites W1971949385 @default.
• W2026038409 cites W2014477620 @default.
• W2026038409 cites W2043496916 @default.
• W2026038409 cites W2076513239 @default.
• W2026038409 cites W2103882301 @default.
• W2026038409 cites W2125047630 @default.
• W2026038409 cites W2137784941 @default.
• W2026038409 cites W2145736279 @default.
• W2026038409 cites W2147340401 @default.
• W2026038409 cites W2153269726 @default.
• W2026038409 cites W2153439859 @default.
• W2026038409 cites W2155450436 @default.
• W2026038409 cites W2156027773 @default.
• W2026038409 cites W2166323410 @default.
• W2026038409 cites W2181423831 @default.
• W2026038409 cites W2788342898 @default.
• W2026038409 cites W563821047 @default.
• W2026038409 cites W59365162 @default.
• W2026038409 doi "https://doi.org/10.1109/iceccs.2013.13" @default.
• W2026038409 hasPublicationYear "2013" @default.
• W2026038409 type Work @default.
• W2026038409 sameAs 2026038409 @default.
• W2026038409 citedByCount "10" @default.
• W2026038409 countsByYear W20260384092013 @default.
• W2026038409 countsByYear W20260384092014 @default.
• W2026038409 countsByYear W20260384092015 @default.
• W2026038409 countsByYear W20260384092016 @default.
• W2026038409 countsByYear W20260384092019 @default.
• W2026038409 countsByYear W20260384092020 @default.
• W2026038409 countsByYear W20260384092023 @default.
• W2026038409 crossrefType "proceedings-article" @default.
• W2026038409 hasAuthorship W2026038409A5010255389 @default.
• W2026038409 hasAuthorship W2026038409A5036208048 @default.
• W2026038409 hasAuthorship W2026038409A5041126859 @default.
• W2026038409 hasConcept C110251889 @default.
• W2026038409 hasConcept C111498074 @default.
• W2026038409 hasConcept C112505250 @default.
• W2026038409 hasConcept C121332964 @default.
• W2026038409 hasConcept C142362112 @default.
• W2026038409 hasConcept C149635348 @default.
• W2026038409 hasConcept C153349607 @default.
• W2026038409 hasConcept C154945302 @default.
• W2026038409 hasConcept C160145156 @default.
• W2026038409 hasConcept C167822520 @default.
• W2026038409 hasConcept C168167062 @default.
• W2026038409 hasConcept C199360897 @default.
• W2026038409 hasConcept C2776436953 @default.
• W2026038409 hasConcept C2779791154 @default.
• W2026038409 hasConcept C41008148 @default.
• W2026038409 hasConcept C558565934 @default.
• W2026038409 hasConcept C73301696 @default.
• W2026038409 hasConcept C80444323 @default.
• W2026038409 hasConcept C97355855 @default.
• W2026038409 hasConceptScore W2026038409C110251889 @default.
• W2026038409 hasConceptScore W2026038409C111498074 @default.
• W2026038409 hasConceptScore W2026038409C112505250 @default.
• W2026038409 hasConceptScore W2026038409C121332964 @default.
• W2026038409 hasConceptScore W2026038409C142362112 @default.
• W2026038409 hasConceptScore W2026038409C149635348 @default.
• W2026038409 hasConceptScore W2026038409C153349607 @default.
• W2026038409 hasConceptScore W2026038409C154945302 @default.
• W2026038409 hasConceptScore W2026038409C160145156 @default.
• W2026038409 hasConceptScore W2026038409C167822520 @default.
• W2026038409 hasConceptScore W2026038409C168167062 @default.
• W2026038409 hasConceptScore W2026038409C199360897 @default.
• W2026038409 hasConceptScore W2026038409C2776436953 @default.
• W2026038409 hasConceptScore W2026038409C2779791154 @default.
• W2026038409 hasConceptScore W2026038409C41008148 @default.
• W2026038409 hasConceptScore W2026038409C558565934 @default.
• W2026038409 hasConceptScore W2026038409C73301696 @default.
• W2026038409 hasConceptScore W2026038409C80444323 @default.
• W2026038409 hasConceptScore W2026038409C97355855 @default.
• W2026038409 hasLocation W20260384091 @default.
• W2026038409 hasOpenAccess W2026038409 @default.
• W2026038409 hasPrimaryLocation W20260384091 @default.
• W2026038409 hasRelatedWork W1512457201 @default.
• W2026038409 hasRelatedWork W1513291134 @default.
• W2026038409 hasRelatedWork W1535116423 @default.
• W2026038409 hasRelatedWork W1546631539 @default.
• W2026038409 hasRelatedWork W1549588850 @default.
• W2026038409 hasRelatedWork W1589071908 @default.
• W2026038409 hasRelatedWork W1605121006 @default.
• W2026038409 hasRelatedWork W1863652788 @default.

• next