Abstract:Time-related properties are a critical type of extra-functional requirements for designing real-time systems. Modeling and validating time-related properties at the requirements specification and analysis phases is important for the successful development of real-time systems in terms of cost, quality and productivity. In the literature and practice, timing analyses (e.g., Worst Case Execution Time) are often performed to ensure that the design of a real-time system fully conforms to its time-related constraints. However, such analyses are mostly performed at the design and implementation stages, but not at the requirements level. This paper presents a restricted, natural language based, use case modeling methodology (named as RUCM4RT) to specify functional requirements of real-time systems as use case models, along with associated time-related constraints. RUCM4RT was proposed based on the UML profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE). In addition, in this paper, we also propose a metamodel-based formalization mechanism named as UCMeta4RT to automatically formalize use case models. We have conducted two real-world case studies to evaluate our solution and 40 use cases were modeled, among which 27 real-time use cases, 118 time-related constraints and 47 other extra-functional (also commonly called non-functional) constraints were specified. Results show that RUCM4RT was able to handle all the real-time related elements (e.g., time-related constraints) of the use case models.

Study on the Real-time Software Development

Design of data management for real-time database in processing industry

Research on Applying UML to Analyze Agent-Oriented System

Object-Oriented Software Design Based on UML

Advances of Theoretical Research on Network-based Real-time Control Systems

Design of an Embedded Real-Time Operating System

Object-oriented analysis and design of O3CACSD using OMT

A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems

Analysis and Design of Integrated Real-time Platform for Advance Process Control

Design and Realization of Real-time Test System Software Based on Windows Platform

Survey of Real-Time Computer System Architecture

STUDY OF A REAL TIME OBJECT ORIENTED MODEL AND ITS PREDICTABLE SCHEDULING

Modeling and Analysis of Real-time Properties of Open Architecture Computerized Numerical Control Systems

Design of Control Software Development Platform for Electrically Controlled Engine Based on Real-time Operating System

The Study of Oil-Field Computer and Control System-Relation-based Object-Oriented Methodology

Development Automation of Real-Time Java

Development of Software Modeling Tools Based on UML

Research of Real-Time Communication Software

Application of UML in Picture and Archiving Communication System

REAL-TIME COMMUNICATION IN REAL-TIME CONTROL AND ANALYSIS SYSTEM FOR POWER SYSTEMS

MODEL-BASED DEVELOPMENT OF REAL-TIME SOFTWARE SYSTEM FOR ELECTRONIC UNIT PUMP SYSTEM