Matches in SemOpenAlex for { <https://semopenalex.org/work/W525018> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W525018 abstract "Real-time reactive systems are characterized by their continuous interaction with their environment through stimulus-response behavior. The safety-critical nature of their domain and their inherent complexity advocate the use of formal methods in the software development process. TROMLAB development environment supports a process model adequate for dealing with the complexity of reactive systems. The foundation of the TROMLAB environment is the Timed Reactive Object Model (TROM), which combines object-oriented and real-time technologies. Simulation is essential in the behavioral analysis of real-time reactive systems; animation allows a visualization of the simulation process. A rigorous trace analysis of simulation scenarios provides insight into the behavior of the collaborating entities in the configuration. This supports validation of systems designed incrementally and iteratively in the software development life-cycle. Moreover, safety-critical systems need to be verified for adherence to stringent safety and liveness properties. The scope of this thesis is two-fold. We first present an animation tool supporting simulation of reactive systems described in the TROM formalism. We include formal specifications of the functionalities of the simulator in VDM specification language. We then introduce a methodology for formal verification of TROM subsystems. The novelty of the methodology lies in the formal verification approach embedded within an object-oriented framework. The simulator and the verification methodology conform respectively to the operational and logical semantics of TROMs." @default.
- W525018 created "2016-06-24" @default.
- W525018 creator A5025771255 @default.
- W525018 date "1996-01-01" @default.
- W525018 modified "2023-09-27" @default.
- W525018 title "Animation and formal verification of real-time reactive systems in an object-oriented environment" @default.
- W525018 hasPublicationYear "1996" @default.
- W525018 type Work @default.
- W525018 sameAs 525018 @default.
- W525018 citedByCount "2" @default.
- W525018 crossrefType "dissertation" @default.
- W525018 hasAuthorship W525018A5025771255 @default.
- W525018 hasConcept C107457646 @default.
- W525018 hasConcept C111498074 @default.
- W525018 hasConcept C115903868 @default.
- W525018 hasConcept C116253237 @default.
- W525018 hasConcept C121684516 @default.
- W525018 hasConcept C127413603 @default.
- W525018 hasConcept C15569618 @default.
- W525018 hasConcept C199360897 @default.
- W525018 hasConcept C201995342 @default.
- W525018 hasConcept C41008148 @default.
- W525018 hasConcept C502989409 @default.
- W525018 hasConcept C69369342 @default.
- W525018 hasConcept C75606506 @default.
- W525018 hasConceptScore W525018C107457646 @default.
- W525018 hasConceptScore W525018C111498074 @default.
- W525018 hasConceptScore W525018C115903868 @default.
- W525018 hasConceptScore W525018C116253237 @default.
- W525018 hasConceptScore W525018C121684516 @default.
- W525018 hasConceptScore W525018C127413603 @default.
- W525018 hasConceptScore W525018C15569618 @default.
- W525018 hasConceptScore W525018C199360897 @default.
- W525018 hasConceptScore W525018C201995342 @default.
- W525018 hasConceptScore W525018C41008148 @default.
- W525018 hasConceptScore W525018C502989409 @default.
- W525018 hasConceptScore W525018C69369342 @default.
- W525018 hasConceptScore W525018C75606506 @default.
- W525018 hasLocation W5250181 @default.
- W525018 hasOpenAccess W525018 @default.
- W525018 hasPrimaryLocation W5250181 @default.
- W525018 hasRelatedWork W143597826 @default.
- W525018 hasRelatedWork W1543012390 @default.
- W525018 hasRelatedWork W1557783999 @default.
- W525018 hasRelatedWork W1574508535 @default.
- W525018 hasRelatedWork W1598835457 @default.
- W525018 hasRelatedWork W1971309296 @default.
- W525018 hasRelatedWork W1999444468 @default.
- W525018 hasRelatedWork W2022375158 @default.
- W525018 hasRelatedWork W2040378206 @default.
- W525018 hasRelatedWork W2043577905 @default.
- W525018 hasRelatedWork W2055146545 @default.
- W525018 hasRelatedWork W2073975791 @default.
- W525018 hasRelatedWork W2089878822 @default.
- W525018 hasRelatedWork W2150890713 @default.
- W525018 hasRelatedWork W2258731633 @default.
- W525018 hasRelatedWork W2440883457 @default.
- W525018 hasRelatedWork W2535489201 @default.
- W525018 hasRelatedWork W2606720514 @default.
- W525018 hasRelatedWork W2618299054 @default.
- W525018 hasRelatedWork W2921033052 @default.
- W525018 isParatext "false" @default.
- W525018 isRetracted "false" @default.
- W525018 magId "525018" @default.
- W525018 workType "dissertation" @default.