0306-662 - Concurrent and Embedded Software Design

Institution:

Rochester Institute of Technology

Subject:

Description:

This course introduces methods for developing and designing concurrent software and embedded software. Formal logical formulas are used to characterize sets of states and sets of program behaviors. The software is then analyzed by manipulating these logical formulas. Several classical concurrent programming problems such as critical sections, producers and consumers, and resource allocation are examined. Practical examples and exercises are used to illustrate points and evaluate design tradeoffs. (0306-661 or permission of instructor) Class 4, Credit 4

Credits:

4.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.rit.edu/

Phone Number:

(585) 475-2411

Regional Accreditation:

Middle States Association of Colleges and Schools

Calendar System:

Quarter

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.