skip to main content
tutorial

Designing real-time, concurrent, and embedded software systems using UML and Ada

Published:24 October 2010Publication History
Skip Abstract Section

Abstract

The domain of real-time, concurrent, and embedded software is becoming increasing complex. To effectively develop these systems, greater care must be taken to construct adequate models of the software and to effectively analyze these designs prior to code development. In this tutorial, we will discuss modeling and analysis issues specific to real-time, concurrent, and embedded software systems. Specifically, this tutorial will present guidelines for modeling these systems using the Unified Modeling Language (UML) version 2. A case study will be introduced to solidify the concepts and participant interaction will be encouraged in the construction of the models. Analytical methods will also be discussed to verify that the UML-based designs will produce the desired behavior. Finally, we will discuss how to proceed from the UML models into an Ada (2005) implementation.

Index Terms

  1. Designing real-time, concurrent, and embedded software systems using UML and Ada

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM SIGAda Ada Letters
            ACM SIGAda Ada Letters  Volume 30, Issue 3
            SIGAda 2010
            December 2010
            63 pages
            ISSN:1094-3641
            DOI:10.1145/1879097
            Issue’s Table of Contents
            • cover image ACM Conferences
              SIGAda '10: Proceedings of the ACM SIGAda annual international conference on SIGAda
              October 2010
              90 pages
              ISBN:9781450300278
              DOI:10.1145/1879063

            Copyright © 2010 Copyright is held by the author/owner(s)

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 24 October 2010

            Check for updates

            Qualifiers

            • tutorial
          • Article Metrics

            • Downloads (Last 12 months)2
            • Downloads (Last 6 weeks)1

            Other Metrics

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!