Matches in SemOpenAlex for { <https://semopenalex.org/work/W2494920481> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2494920481 abstract "The goal of this dissertation is to propose an industrial-strength formal model for object-oriented real-time systems that captures real-time constraints using industry standard notations and tools. A light-weight formalization process is proposed that is semi-formal, graphical and easier to read and understand. This process supports formal behavior analysis, verification and validation. It is very effective in early detection of incompleteness and ambiguities in the specifications. The proposed process uses industry standard tools and fits well within stringent industrial schedules. Formal requirements analysis is conducted using High Level Message Sequencing Chart (HMSC) and Message Sequencing Chart (MSC). In the formal analysis phase, the static structures are modeled using Unified Modeling Language (UML) and the constraints are formalized using Object Constraint Language (OCL). System behavior is formally modeled using Specification and Description Language (SDL) during the formal design phase. SDL is used for behavior modeling due to wide commercial availability of SDL-based tools for formal behavior analysis and validation. Transition rules mapping from UML Class Diagrams and Statecharts to SDL models are proposed. SDL models are formally simulated and validated during the formal validation phase. Using the proposed process real-time clock, timer, periodic process, aperiodic process, resource and precedence constraints were formalized. Different types of timers, such as periodic, aperiodic, one-shot, fixed-interval and variable-interval timers are derived using inheritance models. Semaphore wait and signal operations are formalized as part of the resource constraint. Pre-conditions, post-conditions and invariants for the real-time constraints were captured using OCL. Behavior of the proposed models were captured using Statecharts. The proposed mapping rules were used to translate the behavior models to SDL. The SDL models were formally simulated and validated using Telelogic Software Development Tool (SDT). The tools allowed extensive model analysis and helped uncover several design flaws. The real-time constraints were stereotyped and packaged into reusable formal components. These components can be easily imported by applications. Two case studies, Cruise Control System and Bottle Filling System, are included to illustrate the use of the proposed process and the real-time package. The “industrial-strength” of the process was validated by utilizing the proposed process in an industrial project where it was found to accelerate the development process." @default.
- W2494920481 created "2016-08-23" @default.
- W2494920481 creator A5016464400 @default.
- W2494920481 creator A5033192208 @default.
- W2494920481 date "2000-01-01" @default.
- W2494920481 modified "2023-09-23" @default.
- W2494920481 title "Industrial-strength formalization of object-oriented real-time systems" @default.
- W2494920481 hasPublicationYear "2000" @default.
- W2494920481 type Work @default.
- W2494920481 sameAs 2494920481 @default.
- W2494920481 citedByCount "1" @default.
- W2494920481 crossrefType "journal-article" @default.
- W2494920481 hasAuthorship W2494920481A5016464400 @default.
- W2494920481 hasAuthorship W2494920481A5033192208 @default.
- W2494920481 hasConcept C111498074 @default.
- W2494920481 hasConcept C116253237 @default.
- W2494920481 hasConcept C145644426 @default.
- W2494920481 hasConcept C199360897 @default.
- W2494920481 hasConcept C2777904410 @default.
- W2494920481 hasConcept C41008148 @default.
- W2494920481 hasConcept C75606506 @default.
- W2494920481 hasConcept C98045186 @default.
- W2494920481 hasConceptScore W2494920481C111498074 @default.
- W2494920481 hasConceptScore W2494920481C116253237 @default.
- W2494920481 hasConceptScore W2494920481C145644426 @default.
- W2494920481 hasConceptScore W2494920481C199360897 @default.
- W2494920481 hasConceptScore W2494920481C2777904410 @default.
- W2494920481 hasConceptScore W2494920481C41008148 @default.
- W2494920481 hasConceptScore W2494920481C75606506 @default.
- W2494920481 hasConceptScore W2494920481C98045186 @default.
- W2494920481 hasLocation W24949204811 @default.
- W2494920481 hasOpenAccess W2494920481 @default.
- W2494920481 hasPrimaryLocation W24949204811 @default.
- W2494920481 hasRelatedWork W1491821432 @default.
- W2494920481 hasRelatedWork W1515096780 @default.
- W2494920481 hasRelatedWork W1534752159 @default.
- W2494920481 hasRelatedWork W1575982869 @default.
- W2494920481 hasRelatedWork W1582007022 @default.
- W2494920481 hasRelatedWork W1742691233 @default.
- W2494920481 hasRelatedWork W1981474298 @default.
- W2494920481 hasRelatedWork W1992481900 @default.
- W2494920481 hasRelatedWork W2030868476 @default.
- W2494920481 hasRelatedWork W2081260576 @default.
- W2494920481 hasRelatedWork W2084463489 @default.
- W2494920481 hasRelatedWork W2135521520 @default.
- W2494920481 hasRelatedWork W2189516265 @default.
- W2494920481 hasRelatedWork W2361480409 @default.
- W2494920481 hasRelatedWork W2413050423 @default.
- W2494920481 hasRelatedWork W2469662827 @default.
- W2494920481 hasRelatedWork W275041221 @default.
- W2494920481 hasRelatedWork W629456373 @default.
- W2494920481 hasRelatedWork W91635382 @default.
- W2494920481 hasRelatedWork W115677552 @default.
- W2494920481 isParatext "false" @default.
- W2494920481 isRetracted "false" @default.
- W2494920481 magId "2494920481" @default.
- W2494920481 workType "article" @default.