Matches in SemOpenAlex for { <https://semopenalex.org/work/W2026843984> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W2026843984 abstract "Summary form only given, as follows. The complete presentation was not made available for publication as part of the conference proceedings. The Hi-Five framework is a holistic framework for the validation and verification of embedded real-time systems. The framework reuses the state of the art in formal verification and test case generation to provide an end-to-end solution to mitigate the typically high cost of validation and verification activities. The framework is based on a literate formal specification language, the Timed Abstract State Machine (TASM) language. The TASM language captures the three key aspects of embedded real-time system behavior, namely functional behavior, timing, and resource consumption. These aspects can be captured and analyzed using the TASM language and its associated toolset. Using the TASM language, the Hi-Five framework models systems at multiple levels of abstraction and provides traceability between related models. The framework provides an overarching approach to system engineering by leveraging the formal semantics of the TASM language to automate verification and test case generation. During the early phases of system engineering, incorporating nonfunctional properties in system models is an approximate activity at best. For example, before an implementation exists, it is challenging to specify behavior related to time and resource consumption. Nevertheless, gaining insight into the system designs, before the system is implemented, yields considerable benefits in terms of cost and time savings. For example, evaluating design properties, such as end-to-end latency and Quality of Service can help optimize designs or select between competing designs. The Hi-Five approach to resolving this apparent paradox is to use bi-directional traceability through levels of abstraction. The end result of the approach is an integrated development environment where the effect of changes can be efficiently managed and enforced through levels of abstraction, from requirements to implementation." @default.
- W2026843984 created "2016-06-24" @default.
- W2026843984 creator A5045641364 @default.
- W2026843984 creator A5047827328 @default.
- W2026843984 date "2007-12-01" @default.
- W2026843984 modified "2023-09-24" @default.
- W2026843984 title "The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems" @default.
- W2026843984 doi "https://doi.org/10.1109/aspec.2007.117" @default.
- W2026843984 hasPublicationYear "2007" @default.
- W2026843984 type Work @default.
- W2026843984 sameAs 2026843984 @default.
- W2026843984 citedByCount "1" @default.
- W2026843984 crossrefType "proceedings-article" @default.
- W2026843984 hasAuthorship W2026843984A5045641364 @default.
- W2026843984 hasAuthorship W2026843984A5047827328 @default.
- W2026843984 hasConcept C111498074 @default.
- W2026843984 hasConcept C115903868 @default.
- W2026843984 hasConcept C116253237 @default.
- W2026843984 hasConcept C153876917 @default.
- W2026843984 hasConcept C184337299 @default.
- W2026843984 hasConcept C199360897 @default.
- W2026843984 hasConcept C201677973 @default.
- W2026843984 hasConcept C41008148 @default.
- W2026843984 hasConceptScore W2026843984C111498074 @default.
- W2026843984 hasConceptScore W2026843984C115903868 @default.
- W2026843984 hasConceptScore W2026843984C116253237 @default.
- W2026843984 hasConceptScore W2026843984C153876917 @default.
- W2026843984 hasConceptScore W2026843984C184337299 @default.
- W2026843984 hasConceptScore W2026843984C199360897 @default.
- W2026843984 hasConceptScore W2026843984C201677973 @default.
- W2026843984 hasConceptScore W2026843984C41008148 @default.
- W2026843984 hasLocation W20268439841 @default.
- W2026843984 hasOpenAccess W2026843984 @default.
- W2026843984 hasPrimaryLocation W20268439841 @default.
- W2026843984 hasRelatedWork W1513140821 @default.
- W2026843984 hasRelatedWork W1561764937 @default.
- W2026843984 hasRelatedWork W2035334563 @default.
- W2026843984 hasRelatedWork W2042255170 @default.
- W2026843984 hasRelatedWork W2156223462 @default.
- W2026843984 hasRelatedWork W2162263188 @default.
- W2026843984 hasRelatedWork W2350068048 @default.
- W2026843984 hasRelatedWork W2619106642 @default.
- W2026843984 hasRelatedWork W2807707818 @default.
- W2026843984 hasRelatedWork W2898425611 @default.
- W2026843984 isParatext "false" @default.
- W2026843984 isRetracted "false" @default.
- W2026843984 magId "2026843984" @default.
- W2026843984 workType "article" @default.