You are here

FAU Collections » FAU Research Repository » FAU Theses and Dissertations

A Modeling Methodology for an RTOS

Download pdf | Full Screen View

Date Issued:
2007
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 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.
Title: A Modeling Methodology for an RTOS.
74 views
24 downloads
Name(s): Islam, Sifat
Shankar, Ravi, Thesis advisor
Florida Atlantic University, Degree grantor
Type of Resource: text
Genre: Electronic Thesis Or Dissertation
Date Created: 2007
Date Issued: 2007
Publisher: Florida Atlantic University
Place of Publication: Boca Raton, Fla.
Physical Form: application/pdf
Extent: 79 p.
Language(s): English
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 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.
Identifier: FA00012528 (IID)
Degree granted: Thesis (M.S.)--Florida Atlantic University, 2007.
Collection: FAU Electronic Theses and Dissertations Collection
Note(s): College of Engineering and Computer Science
Subject(s): Computer architecture
Object-oriented programming (Computer science)
Real-time programming
Operating systems (Computers)
Held by: Florida Atlantic University Libraries
Sublocation: Digital Library
Persistent Link to This Record: http://purl.flvc.org/fau/fd/FA00012528
Use and Reproduction: Copyright © is held by the author with permission granted to Florida Atlantic University to digitize, archive and distribute this item for non-profit research and educational purposes. Any reuse of this item in excess of fair use or other copyright exemptions requires permission of the copyright holder.
Use and Reproduction: http://rightsstatements.org/vocab/InC/1.0/
Host Institution: FAU
Is Part of Series: Florida Atlantic University Digital Library Collections.