NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
A Comparison and Evaluation of Real-Time Software Systems Modeling LanguagesA model-driven approach to real-time software systems development enables the conceptualization of software, fostering a more thorough understanding of its often complex architecture and behavior while promoting the documentation and analysis of concerns common to real-time embedded systems such as scheduling, resource allocation, and performance. Several modeling languages have been developed to assist in the model-driven software engineering effort for real-time systems, and these languages are beginning to gain traction with practitioners throughout the aerospace industry. This paper presents a survey of several real-time software system modeling languages, namely the Architectural Analysis and Design Language (AADL), the Unified Modeling Language (UML), Systems Modeling Language (SysML), the Modeling and Analysis of Real-Time Embedded Systems (MARTE) UML profile, and the AADL for UML profile. Each language has its advantages and disadvantages, and in order to adequately describe a real-time software system's architecture, a complementary use of multiple languages is almost certainly necessary. This paper aims to explore these languages in the context of understanding the value each brings to the model-driven software engineering effort and to determine if it is feasible and practical to combine aspects of the various modeling languages to achieve more complete coverage in architectural descriptions. To this end, each language is evaluated with respect to a set of criteria such as scope, formalisms, and architectural coverage. An example is used to help illustrate the capabilities of the various languages.
Document ID
20150008864
Document Type
Conference Paper
External Source(s)
Authors
Evensen, Kenneth D. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Weiss, Kathryn Anne (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
May 26, 2015
Publication Date
April 20, 2010
Subject Category
Computer Programming and Software
Meeting Information
AIAA Infotech@Aerospace 2010(Atlanta, GA)
Distribution Limits
Public
Copyright
Other