Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113782004> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2113782004 endingPage "277" @default.
- W2113782004 startingPage "262" @default.
- W2113782004 abstract "Specifying and analyzing timing properties is a critical but error-prone aspect of developing many modern software systems. In this paper, we propose a new specification language and analysis framework for expressing and analyzing timing behaviors of complex software systems. Our framework has the following significant benefits: a) it is expressive, b) it supports trace analysis and simulation of timing behaviors, c) allows for verification of properties of specification, and d) checks for common usage errors of timing constructs. The language constructs for timing were chosen to be very flexible, suitable for expressing different kinds of timing behaviors, and are inspired from timing constructs used in previous languages like SDL. We define the formal semantics of our language using a real-time rewrite theory. Since real-time rewrite theories are executable in Real-Time Maude, our framework supports trace analysis and simulation of timing behavior for specifications. Furthermore, the timed model checker for Real-Time Maude can be readily used for analyzing and verifying various real-time properties of the specifications. Finally, to prevent misuses of timing constructs that can be made possible due to their flexibility, we develop abstract interpretation based static analysis tools that check for common usage errors. We believe that our framework, with the above benefits, provides a significant step forward in facilitating the use of formal tools for specification and analysis of timing behaviors in software development." @default.
- W2113782004 created "2016-06-24" @default.
- W2113782004 creator A5001995964 @default.
- W2113782004 creator A5077191937 @default.
- W2113782004 creator A5077623125 @default.
- W2113782004 creator A5079887660 @default.
- W2113782004 creator A5090054099 @default.
- W2113782004 date "2009-01-01" @default.
- W2113782004 modified "2023-09-26" @default.
- W2113782004 title "Formal Specification and Analysis of Timing Properties in Software Systems" @default.
- W2113782004 cites W1599545538 @default.
- W2113782004 cites W1678943029 @default.
- W2113782004 cites W1976195354 @default.
- W2113782004 cites W1979754763 @default.
- W2113782004 cites W2006340882 @default.
- W2113782004 cites W2011886298 @default.
- W2113782004 cites W2029227380 @default.
- W2113782004 cites W2042801853 @default.
- W2113782004 cites W2098979034 @default.
- W2113782004 cites W2101508170 @default.
- W2113782004 cites W2110385965 @default.
- W2113782004 cites W2115597529 @default.
- W2113782004 cites W2140871903 @default.
- W2113782004 cites W2141826787 @default.
- W2113782004 cites W2152010088 @default.
- W2113782004 cites W4256363426 @default.
- W2113782004 doi "https://doi.org/10.1007/978-3-642-00593-0_18" @default.
- W2113782004 hasPublicationYear "2009" @default.
- W2113782004 type Work @default.
- W2113782004 sameAs 2113782004 @default.
- W2113782004 citedByCount "11" @default.
- W2113782004 countsByYear W21137820042012 @default.
- W2113782004 countsByYear W21137820042013 @default.
- W2113782004 countsByYear W21137820042014 @default.
- W2113782004 countsByYear W21137820042022 @default.
- W2113782004 countsByYear W21137820042023 @default.
- W2113782004 crossrefType "book-chapter" @default.
- W2113782004 hasAuthorship W2113782004A5001995964 @default.
- W2113782004 hasAuthorship W2113782004A5077191937 @default.
- W2113782004 hasAuthorship W2113782004A5077623125 @default.
- W2113782004 hasAuthorship W2113782004A5079887660 @default.
- W2113782004 hasAuthorship W2113782004A5090054099 @default.
- W2113782004 hasBestOaLocation W21137820041 @default.
- W2113782004 hasConcept C105795698 @default.
- W2113782004 hasConcept C110251889 @default.
- W2113782004 hasConcept C116253237 @default.
- W2113782004 hasConcept C138885662 @default.
- W2113782004 hasConcept C149635348 @default.
- W2113782004 hasConcept C160145156 @default.
- W2113782004 hasConcept C184337299 @default.
- W2113782004 hasConcept C199360897 @default.
- W2113782004 hasConcept C201677973 @default.
- W2113782004 hasConcept C2777904410 @default.
- W2113782004 hasConcept C2780598303 @default.
- W2113782004 hasConcept C33923547 @default.
- W2113782004 hasConcept C41008148 @default.
- W2113782004 hasConcept C41895202 @default.
- W2113782004 hasConcept C75291252 @default.
- W2113782004 hasConcept C75606506 @default.
- W2113782004 hasConcept C93682380 @default.
- W2113782004 hasConcept C97686452 @default.
- W2113782004 hasConceptScore W2113782004C105795698 @default.
- W2113782004 hasConceptScore W2113782004C110251889 @default.
- W2113782004 hasConceptScore W2113782004C116253237 @default.
- W2113782004 hasConceptScore W2113782004C138885662 @default.
- W2113782004 hasConceptScore W2113782004C149635348 @default.
- W2113782004 hasConceptScore W2113782004C160145156 @default.
- W2113782004 hasConceptScore W2113782004C184337299 @default.
- W2113782004 hasConceptScore W2113782004C199360897 @default.
- W2113782004 hasConceptScore W2113782004C201677973 @default.
- W2113782004 hasConceptScore W2113782004C2777904410 @default.
- W2113782004 hasConceptScore W2113782004C2780598303 @default.
- W2113782004 hasConceptScore W2113782004C33923547 @default.
- W2113782004 hasConceptScore W2113782004C41008148 @default.
- W2113782004 hasConceptScore W2113782004C41895202 @default.
- W2113782004 hasConceptScore W2113782004C75291252 @default.
- W2113782004 hasConceptScore W2113782004C75606506 @default.
- W2113782004 hasConceptScore W2113782004C93682380 @default.
- W2113782004 hasConceptScore W2113782004C97686452 @default.
- W2113782004 hasLocation W21137820041 @default.
- W2113782004 hasOpenAccess W2113782004 @default.
- W2113782004 hasPrimaryLocation W21137820041 @default.
- W2113782004 hasRelatedWork W1551207508 @default.
- W2113782004 hasRelatedWork W1559579193 @default.
- W2113782004 hasRelatedWork W1561764937 @default.
- W2113782004 hasRelatedWork W1964436108 @default.
- W2113782004 hasRelatedWork W2051386633 @default.
- W2113782004 hasRelatedWork W2109457818 @default.
- W2113782004 hasRelatedWork W2113782004 @default.
- W2113782004 hasRelatedWork W2807707818 @default.
- W2113782004 hasRelatedWork W2898425611 @default.
- W2113782004 hasRelatedWork W4361193698 @default.
- W2113782004 isParatext "false" @default.
- W2113782004 isRetracted "false" @default.
- W2113782004 magId "2113782004" @default.
- W2113782004 workType "book-chapter" @default.