Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520121275> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1520121275 abstract "Abstract : We develop a methodology for formalizing, verifying, and validating the requirements specification of real-time systems based on a graphical and formal hierarchical Finite State Machine (FSM) language Reacto. We define a means to quantify time and express real-time constraints in Reacto and a transformation from Reacto to the Very High Speed Integrated Circuit (VHSIC) hardware Description Language (VHDL). Reacto's high level abstractions, graphical nature, and theorem prover produce efficient, accurate, and easily understood specifications. We use VHDL's event driven simulation capability, concurrency, and temporal operators to thoroughly examine temporal dependencies between the state machine transitions, and to increase simulation power by simulating multiple communicating FSMs. We apply the methodology to two example problems, a cruise control, and a lift (elevator) controller. We verify that the state machine specification is consistent and validate the specification using executable simulations in both Reacto and VHDL. We evaluate the methodology against criteria for real-time specification languages and conclude that Reacto and VHDL complement each other well. Together, they abstract the real world well, are clearly understood, verify that the specification and implementation are consistent, axe easy to modify, allow requirements tracing, and finally, support specification of concurrency and timing constraints.... Requirements Analysis, Real Time, System Specification, Reacto, VHDL, Software" @default.
- W1520121275 created "2016-06-24" @default.
- W1520121275 creator A5058083741 @default.
- W1520121275 date "1992-12-15" @default.
- W1520121275 modified "2023-09-23" @default.
- W1520121275 title "Formalizing, Validating, and Verifying Real-Time System Requirements with Reacto and VHDL" @default.
- W1520121275 hasPublicationYear "1992" @default.
- W1520121275 type Work @default.
- W1520121275 sameAs 1520121275 @default.
- W1520121275 citedByCount "1" @default.
- W1520121275 crossrefType "journal-article" @default.
- W1520121275 hasAuthorship W1520121275A5058083741 @default.
- W1520121275 hasConcept C111498074 @default.
- W1520121275 hasConcept C115903868 @default.
- W1520121275 hasConcept C116253237 @default.
- W1520121275 hasConcept C149635348 @default.
- W1520121275 hasConcept C160145156 @default.
- W1520121275 hasConcept C167822520 @default.
- W1520121275 hasConcept C193702766 @default.
- W1520121275 hasConcept C199360897 @default.
- W1520121275 hasConcept C201677973 @default.
- W1520121275 hasConcept C36941000 @default.
- W1520121275 hasConcept C41008148 @default.
- W1520121275 hasConcept C42935608 @default.
- W1520121275 hasConcept C84651959 @default.
- W1520121275 hasConceptScore W1520121275C111498074 @default.
- W1520121275 hasConceptScore W1520121275C115903868 @default.
- W1520121275 hasConceptScore W1520121275C116253237 @default.
- W1520121275 hasConceptScore W1520121275C149635348 @default.
- W1520121275 hasConceptScore W1520121275C160145156 @default.
- W1520121275 hasConceptScore W1520121275C167822520 @default.
- W1520121275 hasConceptScore W1520121275C193702766 @default.
- W1520121275 hasConceptScore W1520121275C199360897 @default.
- W1520121275 hasConceptScore W1520121275C201677973 @default.
- W1520121275 hasConceptScore W1520121275C36941000 @default.
- W1520121275 hasConceptScore W1520121275C41008148 @default.
- W1520121275 hasConceptScore W1520121275C42935608 @default.
- W1520121275 hasConceptScore W1520121275C84651959 @default.
- W1520121275 hasLocation W15201212751 @default.
- W1520121275 hasOpenAccess W1520121275 @default.
- W1520121275 hasPrimaryLocation W15201212751 @default.
- W1520121275 hasRelatedWork W1513328100 @default.
- W1520121275 hasRelatedWork W1984634196 @default.
- W1520121275 hasRelatedWork W1986558577 @default.
- W1520121275 hasRelatedWork W2035127551 @default.
- W1520121275 hasRelatedWork W2083691537 @default.
- W1520121275 hasRelatedWork W2100014112 @default.
- W1520121275 hasRelatedWork W2105182891 @default.
- W1520121275 hasRelatedWork W2113466639 @default.
- W1520121275 hasRelatedWork W2121341646 @default.
- W1520121275 hasRelatedWork W2137182662 @default.
- W1520121275 hasRelatedWork W2148596898 @default.
- W1520121275 hasRelatedWork W2157120282 @default.
- W1520121275 hasRelatedWork W2166941925 @default.
- W1520121275 hasRelatedWork W2472715392 @default.
- W1520121275 hasRelatedWork W3021377875 @default.
- W1520121275 hasRelatedWork W3083826291 @default.
- W1520121275 hasRelatedWork W3164980376 @default.
- W1520121275 hasRelatedWork W611995106 @default.
- W1520121275 hasRelatedWork W2152160528 @default.
- W1520121275 hasRelatedWork W2564790713 @default.
- W1520121275 isParatext "false" @default.
- W1520121275 isRetracted "false" @default.
- W1520121275 magId "1520121275" @default.
- W1520121275 workType "article" @default.