FRINK Linked Data Fragments server

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

• W2118677227 abstract "Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools and techniques play a key role in verifying and validating system properties. However, many DRE systems are built using middleware frameworks that have grown increasingly complex to address the diverse requirements of a wide range of applications. How to apply formal tools and techniques effectively to these systems, given the range of middleware configuration options available, is therefore an important research problem.This paper makes three contributions to research on formal verification and validation of middleware-based DRE systems. First, it presents a reusable library of formal models we have developed to capture essential timing and concurrency semantics of foundational middleware building blocks provided by the ACE framework. Second, it describes domain-specific techniques to reduce the cost of checking those models while ensuring they remain valid with respect to the semantics of the middleware itself. Third, it presents a verification and validation case study involving a gateway service, using our models." @default.
• W2118677227 created "2016-06-24" @default.
• W2118677227 creator A5015623381 @default.
• W2118677227 creator A5023862152 @default.
• W2118677227 creator A5058348937 @default.
• W2118677227 creator A5076029698 @default.
• W2118677227 date "2006-01-01" @default.
• W2118677227 modified "2023-10-17" @default.
• W2118677227 title "Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems" @default.
• W2118677227 cites W128817107 @default.
• W2118677227 cites W144543028 @default.
• W2118677227 cites W1492898721 @default.
• W2118677227 cites W1498456863 @default.
• W2118677227 cites W1548373692 @default.
• W2118677227 cites W1557493688 @default.
• W2118677227 cites W1582964729 @default.
• W2118677227 cites W1592740644 @default.
• W2118677227 cites W1649645444 @default.
• W2118677227 cites W1820148127 @default.
• W2118677227 cites W1996763308 @default.
• W2118677227 cites W2004701 @default.
• W2118677227 cites W2014019774 @default.
• W2118677227 cites W2068025314 @default.
• W2118677227 cites W2087252615 @default.
• W2118677227 cites W2101508170 @default.
• W2118677227 cites W2103543337 @default.
• W2118677227 cites W2104532741 @default.
• W2118677227 cites W2114163657 @default.
• W2118677227 cites W2115490288 @default.
• W2118677227 cites W2137552849 @default.
• W2118677227 cites W2142371476 @default.
• W2118677227 cites W2144743680 @default.
• W2118677227 cites W2150468547 @default.
• W2118677227 cites W2151377210 @default.
• W2118677227 cites W2153315825 @default.
• W2118677227 cites W2180677596 @default.
• W2118677227 cites W2262960161 @default.
• W2118677227 cites W2487441373 @default.
• W2118677227 cites W1550476540 @default.
• W2118677227 doi "https://doi.org/10.1145/1176887.1176924" @default.
• W2118677227 hasPublicationYear "2006" @default.
• W2118677227 type Work @default.
• W2118677227 sameAs 2118677227 @default.
• W2118677227 citedByCount "20" @default.
• W2118677227 countsByYear W21186772272012 @default.
• W2118677227 crossrefType "proceedings-article" @default.
• W2118677227 hasAuthorship W2118677227A5015623381 @default.
• W2118677227 hasAuthorship W2118677227A5023862152 @default.
• W2118677227 hasAuthorship W2118677227A5058348937 @default.
• W2118677227 hasAuthorship W2118677227A5076029698 @default.
• W2118677227 hasBestOaLocation W21186772272 @default.
• W2118677227 hasConcept C110251889 @default.
• W2118677227 hasConcept C111498074 @default.
• W2118677227 hasConcept C115903868 @default.
• W2118677227 hasConcept C116253237 @default.
• W2118677227 hasConcept C120314980 @default.
• W2118677227 hasConcept C123640240 @default.
• W2118677227 hasConcept C134306372 @default.
• W2118677227 hasConcept C149635348 @default.
• W2118677227 hasConcept C15569618 @default.
• W2118677227 hasConcept C169468491 @default.
• W2118677227 hasConcept C184337299 @default.
• W2118677227 hasConcept C193702766 @default.
• W2118677227 hasConcept C199360897 @default.
• W2118677227 hasConcept C2777904410 @default.
• W2118677227 hasConcept C33923547 @default.
• W2118677227 hasConcept C35869016 @default.
• W2118677227 hasConcept C36503486 @default.
• W2118677227 hasConcept C41008148 @default.
• W2118677227 hasConcept C75606506 @default.
• W2118677227 hasConceptScore W2118677227C110251889 @default.
• W2118677227 hasConceptScore W2118677227C111498074 @default.
• W2118677227 hasConceptScore W2118677227C115903868 @default.
• W2118677227 hasConceptScore W2118677227C116253237 @default.
• W2118677227 hasConceptScore W2118677227C120314980 @default.
• W2118677227 hasConceptScore W2118677227C123640240 @default.
• W2118677227 hasConceptScore W2118677227C134306372 @default.
• W2118677227 hasConceptScore W2118677227C149635348 @default.
• W2118677227 hasConceptScore W2118677227C15569618 @default.
• W2118677227 hasConceptScore W2118677227C169468491 @default.
• W2118677227 hasConceptScore W2118677227C184337299 @default.
• W2118677227 hasConceptScore W2118677227C193702766 @default.
• W2118677227 hasConceptScore W2118677227C199360897 @default.
• W2118677227 hasConceptScore W2118677227C2777904410 @default.
• W2118677227 hasConceptScore W2118677227C33923547 @default.
• W2118677227 hasConceptScore W2118677227C35869016 @default.
• W2118677227 hasConceptScore W2118677227C36503486 @default.
• W2118677227 hasConceptScore W2118677227C41008148 @default.
• W2118677227 hasConceptScore W2118677227C75606506 @default.
• W2118677227 hasLocation W21186772271 @default.
• W2118677227 hasLocation W21186772272 @default.
• W2118677227 hasOpenAccess W2118677227 @default.
• W2118677227 hasPrimaryLocation W21186772271 @default.
• W2118677227 hasRelatedWork W1517246617 @default.
• W2118677227 hasRelatedWork W2124517056 @default.
• W2118677227 hasRelatedWork W2146663038 @default.
• W2118677227 hasRelatedWork W2156223462 @default.
• W2118677227 hasRelatedWork W2406828129 @default.
• W2118677227 hasRelatedWork W2605218250 @default.
• W2118677227 hasRelatedWork W297617173 @default.

• next