Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155444003> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2155444003 abstract "An incremental approach for architectural modeling and analysis of real-time concurrent systems is presented. The approach integrates existing formal methods, more specifically time Petri nets and real-time computational tree logic, and leverages their complementary strengths in a way that allows us to systematically enforce that architectural design meets the system's timing requirements, and to incrementally verify the conformance. Consequently, our approach is able to provide better assurance to system design and yet reduce the complexity of analysis. The approach is based on a Real-time Architectural Specification (RAS) model, which provides a formal basis to systematically maintain a correlation between the (timing) requirements of a system and its architectural design. Based on RAS, we further present a method to verify timing properties of a system design. This method helps conquer the complexity of analysis in two dimensions. Horizontally at each design level, incremental verification is achieved by introducing TPN reduction rules that allow us to compose analysis results on individual system components. Vertically across design levels, incremental verification is achieved by propagating higher-level constraints to lower-level designs so that we can safely plug a component design into a high-level architecture without having to re-verify the entire model. A naval command and control (C2) system is used throughout the paper to demonstrate the concept and usability of our approach." @default.
- W2155444003 created "2016-06-24" @default.
- W2155444003 creator A5011099047 @default.
- W2155444003 creator A5069580705 @default.
- W2155444003 creator A5075360551 @default.
- W2155444003 date "2002-11-27" @default.
- W2155444003 modified "2023-09-25" @default.
- W2155444003 title "Incremental architectural modeling and verification of real-time concurrent systems" @default.
- W2155444003 cites W1485288488 @default.
- W2155444003 cites W1590445759 @default.
- W2155444003 cites W1877923734 @default.
- W2155444003 cites W1990357312 @default.
- W2155444003 cites W1996109622 @default.
- W2155444003 cites W2051068608 @default.
- W2155444003 cites W2093916942 @default.
- W2155444003 cites W2144625195 @default.
- W2155444003 cites W2151612633 @default.
- W2155444003 cites W2170486381 @default.
- W2155444003 cites W2613621354 @default.
- W2155444003 cites W2752885492 @default.
- W2155444003 doi "https://doi.org/10.1109/icfem.1998.730567" @default.
- W2155444003 hasPublicationYear "2002" @default.
- W2155444003 type Work @default.
- W2155444003 sameAs 2155444003 @default.
- W2155444003 citedByCount "3" @default.
- W2155444003 countsByYear W21554440032023 @default.
- W2155444003 crossrefType "proceedings-article" @default.
- W2155444003 hasAuthorship W2155444003A5011099047 @default.
- W2155444003 hasAuthorship W2155444003A5069580705 @default.
- W2155444003 hasAuthorship W2155444003A5075360551 @default.
- W2155444003 hasConcept C110251889 @default.
- W2155444003 hasConcept C111498074 @default.
- W2155444003 hasConcept C115903868 @default.
- W2155444003 hasConcept C118524514 @default.
- W2155444003 hasConcept C120314980 @default.
- W2155444003 hasConcept C121332964 @default.
- W2155444003 hasConcept C149635348 @default.
- W2155444003 hasConcept C168167062 @default.
- W2155444003 hasConcept C199360897 @default.
- W2155444003 hasConcept C38677869 @default.
- W2155444003 hasConcept C41008148 @default.
- W2155444003 hasConcept C77495112 @default.
- W2155444003 hasConcept C93682380 @default.
- W2155444003 hasConcept C97355855 @default.
- W2155444003 hasConceptScore W2155444003C110251889 @default.
- W2155444003 hasConceptScore W2155444003C111498074 @default.
- W2155444003 hasConceptScore W2155444003C115903868 @default.
- W2155444003 hasConceptScore W2155444003C118524514 @default.
- W2155444003 hasConceptScore W2155444003C120314980 @default.
- W2155444003 hasConceptScore W2155444003C121332964 @default.
- W2155444003 hasConceptScore W2155444003C149635348 @default.
- W2155444003 hasConceptScore W2155444003C168167062 @default.
- W2155444003 hasConceptScore W2155444003C199360897 @default.
- W2155444003 hasConceptScore W2155444003C38677869 @default.
- W2155444003 hasConceptScore W2155444003C41008148 @default.
- W2155444003 hasConceptScore W2155444003C77495112 @default.
- W2155444003 hasConceptScore W2155444003C93682380 @default.
- W2155444003 hasConceptScore W2155444003C97355855 @default.
- W2155444003 hasLocation W21554440031 @default.
- W2155444003 hasOpenAccess W2155444003 @default.
- W2155444003 hasPrimaryLocation W21554440031 @default.
- W2155444003 hasRelatedWork W1594259690 @default.
- W2155444003 hasRelatedWork W2281413768 @default.
- W2155444003 hasRelatedWork W2407375067 @default.
- W2155444003 hasRelatedWork W2469677601 @default.
- W2155444003 hasRelatedWork W2511151644 @default.
- W2155444003 hasRelatedWork W2594389189 @default.
- W2155444003 hasRelatedWork W2686042345 @default.
- W2155444003 hasRelatedWork W2737074874 @default.
- W2155444003 hasRelatedWork W2766369841 @default.
- W2155444003 hasRelatedWork W2800584025 @default.
- W2155444003 hasRelatedWork W2883404601 @default.
- W2155444003 hasRelatedWork W2889158170 @default.
- W2155444003 hasRelatedWork W2892818578 @default.
- W2155444003 hasRelatedWork W2952414321 @default.
- W2155444003 hasRelatedWork W2966848734 @default.
- W2155444003 hasRelatedWork W3045122454 @default.
- W2155444003 hasRelatedWork W3045559840 @default.
- W2155444003 hasRelatedWork W3106637877 @default.
- W2155444003 hasRelatedWork W975510789 @default.
- W2155444003 hasRelatedWork W2294434451 @default.
- W2155444003 isParatext "false" @default.
- W2155444003 isRetracted "false" @default.
- W2155444003 magId "2155444003" @default.
- W2155444003 workType "article" @default.