|
COURSE SYLLABUS
COP 5385 Reactive Systems and Hierarchical State Machines
COP 4380 Reactive Systems Programming
Spring Semester 2008
|
SPECIAL SCHEDULING NOTE:
This class has students attending in two distinct modes:
- Mixed Mode (COP5385 Sec 4 and COP4380 Sec 5)
- Distance Learning On-Line (COP4380 sections 1,2,3,4)
The content, objectives, assignments, assessments, and grading are the same for
all students. Obviously, however, on-campus, mixed-mode, and distance students
sometimes participate in different ways.
For all students: Regular participation via the
Blackboard
course interface is required. Official course announcements, lecture
materials, assignments, and help archives will all be on-line at this site. Note
that all registered students should have the course web site listed on their
My FSU
portal page. Be sure to test this and resolve any difficulties no later
than the first week of classes.
For mixed-mode students: Class (recitation) will be met as
scheduled. It is the students responsibility to remain current with the class using
on-line resources whenever recitation is missed. Some class days have
required attendance: exams, student presentations, and the last
regular class meeting.
(See schedule details below.) All exams will be given in class during
scheduled class time.
For on-line/distance students: All exams must be proctored and taken
during the exam window. It is the student's responsibility to arrange for
proctored exams in compliance with the FSU standards.
(See COURSE POLICIES for details.)
Note that students may be required to identify themselves with official FSU
ID to sit an exam.
CLASS SCHEDULE FOR MIXED-MODE STUDENTS:
Event | Location | Dates | Day | Time |
Lecture | TEC 170 | Jan 8 - Apr 22 (excluding Mar 11) | Tue | 5:00pm - 7:00pm (Central Time) |
INSTRUCTOR:
|
Office: | 101 Faculty Annex B / Panama City Campus |
Office Phone (during office hours): | 850-770-2256 or 850-644-2090 ext 2256 |
Mobile Phone/Voice Mail (24/7): | 850-510-5575 |
Email: |
lacher@cs.fsu.edu |
Fax: | 850-872-7720 |
Mail & Delivery: |
Florida State University
4750 Collegiate Drive
Panama City, FL 32405-1099
|
|
|
COURSE RATIONALE:
Hierarchical state machines (finite state machines with a behavioral inheritance
hierarchy) provide a theoretically sound methodology for modelling
event-driven/reactive systems. Quantum programming provides a framework for
lightweight implemention of these HSM models using statecharts in C/C++. The
results are sufficiently reliable and lightweight to be suitable for embedded
and real-time systems.
COURSE OBJECTIVES:
Upon successful completion of the course the student should be able to:
- Be able to recognize situations where reactive systems provide appropriate
technological solutions
- Be able to model a reactive system using finite state machines (FSM) and
hierarchical state machines (HSM)
- Be able to construct HSM models of reactive systems from requirements using
statecharts
- Be able to implement statechart-based HSM models in a time- and
space-efficient manner
- Be able to apply the quantum programming framework to implement
embedded/real-time systems applications
- Be able to model and implement multiple-thread reactive systems with multiple
HSM components
- Be able to describe and discuss current practice as established in
professional literature
COURSE RESOURCES (subject to expansion and/or revision):
- Primary References
-
[Sam] Practical Statecharts in C/C++
Miro Samek
CMP Books, San Francisco, 2002 [ISBN: 1-57820-110-1]
-
[G4] Design Patterns: elements of reusable object-oriented software
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides
Addison-Wesley, 1995
-
[UML] Unified Modeling Language Reference Manual
James Rumbaugh, Ivar Jacobson, Grady Booch
Addision-Wesley, 1998
- Contacting Instructor:
Schedule and Contact Info
COURSE OUTLINE:
|
Topic |
Reference |
1. | Introduction | Ch 1 of [Sam]
|
2. | Patterns | [G4] - all references to "state"
|
3. | FSM, Statecharts, Models | Ch 2 of [Sam]
|
4. | UML Statecharts | Ch 6 and pp 438-448 of [UML]
|
5. | State Machine Implementations | Ch 3 of [Sam]
|
6. | Behavioral Inheritance | Ch 4 of [Sam]
|
7. | State Patterns | Ch 5 of [Sam]
|
8. | State Model Inheritance | Ch 6 of [Sam]
|
9. | Introduction to Quantam Framework | Ch 7 of [Sam]
|
10. | Design of Quantum Framework | Ch 8 of [Sam]
|
11. | Implementation of Quantum Framework | Ch 9 of [Sam]
|
12. | Building Applications using the Quantum Framework | Ch 10 of [Sam]
|
13. | Project | TBA |
14. | Project | TBA |
EXAM SCHEDULE
There will be two exams, a midterm exam and a final exam.
The dates for the two exams are shown in table 1 below.
COURSE GRADING:
Grades will be assigned based on the following:
- Assignments (20%
- Paper, Presentation, or Project (30%)
- Midterm Exam (20%)
- Final Exam (30%)
Course grade components are detailed in Table 2. The assignment of letter
grades is given in Table 3.
Table 1: Exam Schedule |
Exam |
On-Campus |
Distance Window (Inclusive) |
Midterm Exam |
Tue Mar 4 |
Fri Mar 7 - Tue Mar 11 |
Final Exam |
Tue Apr 22 |
Fri Apr 18 - Tue Apr 22 |
Table 2: Course Points |
Item | Points |
Assignments | 200 |
Major Deliverable | 300 |
Midterm Exam | 200 |
Final Exam | 300 |
|
Table 3: Letter Grades |
Points | Grade |
925 - 1000 | A |
900 - 924 | A- |
875 - 899 | B+ |
825 - 874 | B |
800 - 824 | B- |
775 - 799 | C+ |
725 - 774 | C |
700 - 724 | C- |
675 - 699 | D+ |
625 - 674 | D |
600 - 624 | D- |
0 - 599 | F |
|
COURSE POLICIES:
First Day Attendance Policy: Official university policy is
that any student not attending the first class meeting will be automatically
dropped from the class. For distance students, this policy is interpreted as
posting to the discussion forum "First Day Attendance" no later than the first
day of the semester.
Regular Attendance Policy: The university requires
attendance in all classes. Attendance in distance classes shall mean regular
access to the course web site via campus.fsu.edu and regular
participation in the class discussion forums. Here, "regular" shall mean a
substantial amount of time on a weekly basis. Note that individual access
statistics are maintained by Blackboard.
Proctored Exam Policy: All exams must be proctored and taken at
an approved testing site during the exam window or in class on the designated
date. It is the student's responsibility to arrange for proctored exams in
compliance with the FSU standards. Go to
http://learningforlife.fsu.edu/cat/test/distancelearning/students.cfm
for complete information on setting up a proctored exam site.
Exam Makeup Policy:
An exam missed without an acceptable excuse will be recorded as a grade of zero
(0). The following are the only acceptable excuses:
- If submitted prior to the day of the scheduled exam:
- A written and signed explanation as to why the exam will missed. Illness or required
professional travel are acceptable, while discretionary or personal travel
are not. In any case the explanation should be accompanied by corroborating
documentation, including names and contact information, and the explanation must
be accepted by the instructor prior to missing the exam.
- Evidence from a university official that you will miss the exam due to
university sanctioned travel or extracurricular activity.
- If submitted on or after the day of the scheduled exam:
- A note from a physician, university dean, spouse, parent, or yourself indicating an illness
or other extraordinary circumstance that prevented you from taking the exam and
could not be planned for in advance. Again, corroborating information should be
supplied.
All excuses must be submitted in writing, must be signed by the excusing
authority, and must include complete contact information for the authority,
including telephone numbers and address.
Missed exams with acceptable excuse will be made up or assigned the average
grade of all other exams, at the option of the course instructor.
Missed, and acceptably excused, final exams will result in the course grade of
'I' and must be made up in the first two weeks of the following semester.
Grade of 'I' Policy:
The grade of 'I' will be assigned only under the following exceptional circumstances:
- The final exam is missed with an accepted excuse for the absence. In this
case, the final exam must be made up during the first two weeks of the following
semester.
- Due to an extended illness or other extraordinary
circumstance, with appropriate documentation, the student is unable to
participate in class for an extended period. In this case, arrangements must be
made to make up the missed portion of the course prior to the end of the next semester.
Completion of Work Policy:
To be eligible for the grade of A or A-, working versions of all programming
assignments must be submitted.
ACADEMIC HONOR POLICY:
The Florida State University Academic Honor Policy outlines the
University’s expectations for the integrity of students’
academic work, the procedures for resolving alleged violations of those
expectations, and the rights and responsibilities of students and faculty
members throughout the process. Students are responsible for reading
the Academic Honor Policy and for living up to their pledge to
“. . . be honest and truthful and . . . [to] strive for personal and
institutional integrity at Florida State University.” (Florida
State University Academic Honor Policy, found at http://dof.fsu.edu/honorpolicy.htm.)
AMERICANS WITH DISABILITIES ACT:
Students with disabilities needing academic accommodation should:
(1) register with and provide documentation to the Student Disability
Resource Center; and
(2) bring a letter to the instructor indicating the need for accommodation
and what type. This should be done during the first week of
class.
This syllabus and other class materials are available in
alternative format upon request.
For more information about services available to FSU
students with disabilities, contact the:
Student Disability Resource Center
97 Woodward Avenue, South
108 Student Services Building
Florida State University
Tallahassee, FL 32306-4167
(850) 644-9566 (voice)
(850) 644-8504 (TDD)
sdrc@admin.fsu.edu
http://www.disabilitycenter.fsu.edu/
EMERGENCY MANAGEMENT INFORMATION:
Information regarding the status of FSU in an emergency situation may be
obtained from the following sources:
- For information specific to the Panama City Campus go to the FSUPC web page at http://www.pc.fsu.edu/ or call the Campus
Hotline number 850-522-5555
- For information related to FSU in general and the Tallahassee Campus go to
the FSU alerts web page at http://www.fsu.edu/~alerts/
- For state-wide and national information, go to the Florida Division of
Emergency Management information pages at http://www.floridadisaster.org/
Any specific information related to this class will be posted on the course web site
or sent via email to your fsu email address.
SYLLABUS CHANGE POLICY:
This syllabus is a guide for the course and is subject to change
with advanced notice. Such notice will be in the form of an
announcement to the course web site on
My FSU.
|
|