Differences

This shows you the differences between two versions of the page.

--- course_outline [2014/12/08 19:17] – jonathan
+++ course_outline [2014/12/15 02:59] (current) – jonathan
@@ Line 15: / Line 15: @@
   * Thursday Nov 10 by **noon**: Assignment 1✓
   * Tuesday Nov 11 during class: Quiz 5✓
-  * Thursday Nov 20 by **noon**: Assignment 2
+  * Thursday Nov 20 by **noon**: Assignment 2✓
-  * Thursday Nov 27 by **noon**: Project Phase2
+  * Thursday Nov 27 by **noon**: Project Phase2✓ (can be handed in until Monday Dec 1 without penalty)
+  * Exam: Thu, 11 Dec 2014	9:00	180	ACE 003 (Accolade Building East)
 ===== TENTATIVE Schedule =====
@@ Line 42: / Line 43: @@
   *Eliciting customer needs and goals and identifying the stakeholders.
-  *The use of UML diagrams such as use case, sequence, class and statechart diagrams to
+  *The use of UML diagrams such as use case, sequence, class and statechart diagrams to help with the elicitation.
-help with the elicitation.
   *Developing the system overview, system boundary and context diagram.
   *Identifying the monitored variables and events and the controlled variables, their types ranges, precision and units.
   * Identifying the environmental assumptions and constraints.
   * Understanding the Parnas 4-variables model for writing requirements.
+  * Monitored Variables, Controlled Variables, Timing resolution and Response Allowance
   *Developing the functional specification using tabular expressions (mathematical function tables)
-  * The use of specification and theorem proving tools (PVS) to describe the
+  * The use of specification and theorem proving tools (PVS) to describe the function tables and using the PVS tool to verify the completeness, disjointness and well- definedness of the functional requirements.
-function tables and using tool to verify the completeness, disjointness and well- definedness of the functional requirements.
+  * PVS Specification of predicates using basic types, tuples, records, datatypes, functions, relations, sets, bags, etc. Reasoning about predicates in these types.
   * How to use function tables to specify safety-critical real-time systems and cyber-physical systems and understanding, Timing Resolution and Response Allowances.
   * Using function tables to specify business systems via monitored events and abstract states/controlled variables.
-• Validation of use cases against the functional specifications and validation of the safety requirements.
+  *Validation of use cases against the functional specifications and validation of the safety requirements.
-• Describing non-functional and performance requirements.
+  *Describing non-functional and performance requirements.
-• Deriving acceptance tests from the use cases and function tables.
+  *Deriving acceptance tests from the use cases and function tables.
+**Notes**: There are some slides available on the course web site but much of the work is done on the blackboard. Instruction in the use of PVS for specification and validation is done mainly via the Labs and the associated Quizzes.