Current Search: Islam, Sifat (x)
-
-
Title
-
A Modeling Methodology for an RTOS.
-
Creator
-
Islam, Sifat, Shankar, Ravi, Florida Atlantic University
-
Abstract/Description
-
Enhanced system design productivity is key to satisfying time-to-market demands. One will have to exploit design reuse methodology to meet project schedule requirements. Integration of components often fails due to various concurrency violations. Concurrency issues arise when components executing in parallel share resources and interact with each other. Such a system may have intermittent, yet catastrophic failures, if these concurrency issues are not addressed properly. In this thesis, we...
Show moreEnhanced system design productivity is key to satisfying time-to-market demands. One will have to exploit design reuse methodology to meet project schedule requirements. Integration of components often fails due to various concurrency violations. Concurrency issues arise when components executing in parallel share resources and interact with each other. Such a system may have intermittent, yet catastrophic failures, if these concurrency issues are not addressed properly. In this thesis, we propose a methodology for developing concurrency compliant components from a requirement document. We have applied this methodology for developing process management and memory management aspects of a Real Time Operating System (RTOS). In this methodology, we start from a "customer' s" requirement document that is then mapped to activity diagram, swimlane diagram, class diagrams, and use case diagrams. To evolve a concurrency compliant design, we use the Message Sequence Chart plug-in for the Labeled Transition State Analyzer (LTSA). This plug-in lets us use Message Sequence Charts rather than coding in Finite State Processes (FSP). Later, we use MLDesigner to simulate our R TOS sub-system and demonstrate proper behavior of this sub-system.
Show less
-
Date Issued
-
2007
-
PURL
-
http://purl.flvc.org/fau/fd/FA00012528
-
Subject Headings
-
Computer architecture, Object-oriented programming (Computer science), Real-time programming, Operating systems (Computers)
-
Format
-
Document (PDF)
