rtlang

COMPUTER SCIENCE AND INFORMATION SYSTEMS DEPARTMENT Real-Time Systems and Software Engineering Collaborative Faculty/Senior Project Proposal Development of a Simulation Language for Real-Time and Embedded Systems (PsimL-RT)

General Background

The Software Engineering and Real-Time Systems project studies the modeling and analysis of real-time systems from a software engineering point of view. The main goal of this project is to improve the Modeling and Simulation of Real-Time Systems with Object-Oriented Techniques. There are several subgoals in this project:

To study newer methods and techniques for modeling real-time systems, and the evaluation of the corresponding available tools.
Selecting interesting case studies of real-world real-time systems for analysis and modeling.
To study the specification techniques to improve analysis and modeling of real-time systems.

Simulation Language for Real-Time Systems Project Description (brief)

The main goal of this project is to design and implement a simulation language specifically for real-time and embedded systems. This language would be used to aid in the specification and design of real-time and embedde systems, including the relevant aspects of the environment for such systems. The main requirements are that the language be very high level so that most people (including students) can easily understand most of the details of a real-time system specification and design. The other general requirement is that the language be portable to most widely use platforms (Linux, Unix, Windows, MacOS, etc.).

The simulation language should be sufficiently high level to be able to educate or train students in real-time and embedded systems, and the associated application areas. The language should promote and use modern software engineering practice.

As part of this project, the senior project component involves helping in the language design, implementation and selecting a relevant group of practical real-time systems to specify and simulate. This is a team effort; some of the important parts of this project include:

Assessment of Real-Time ULM/OCL as current modeling proposal
Research for other specification and modeling techniques available for real-time and new proposals
Applying basic project management for the overall system development
Applying version control (VCS) for the software management and implementation
Documentation of the language grammar and other development decisions as the project progresses
Regular meetings and presentations
Design and implementation of the language processor
Testing and documentation of the corresponding software
Presentation.